Vladimir Kanovei

44 papers Journal 44

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Notes on the Equiconsistency of ZFC Without the Power Set Axiom and Second-Order Arithmetic. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2025	J	`jnl`	Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic. Stud Logica Vladimir Kanovei, Vassily A. Lyubetsky
2024	J	`jnl`	A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2024	J	`jnl`	Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2024	J	`jnl`	On the Uniform Projection Problem in Descriptive Set Theory. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2022	J	`jnl`	A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2022	J	`jnl`	A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class. Axioms Vladimir Kanovei, Vassily A. Lyubetsky
2021	J	`jnl`	An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. J. Math. Log. Ali Enayat, Vladimir Kanovei
2021	J	`jnl`	The full basis theorem does not imply analytic wellordering. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2020	J	`jnl`	Canonization of Smooth Equivalence Relations on Infinite-Dimensional E Notre Dame J. Formal Log. Vladimir Kanovei, Vassily A. Lyubetsky
2019	J	`jnl`	A model of second-order arithmetic satisfying AC but not DC. J. Math. Log. Sy-David Friedman, Victoria Gitman, Vladimir Kanovei
2019	J	`jnl`	Definable Minimal collapse Functions at Arbitrary Projective Levels. J. Symb. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2018	J	`jnl`	Countable OD sets of reals belong to the ground model. Arch. Math. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2018	J	`jnl`	Definable E0 classes at arbitrary projective levels. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2018	J	`jnl`	Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. J. Symb. Log. Frederik S. Herzberg, Vladimir Kanovei, Mikhail G. Katz, Vassily A. Lyubetsky
2017	J	`jnl`	A Groszek-Laver pair of undistinguishable E0-classes. Math. Log. Q. Mohammad Golshani, Vladimir Kanovei, Vassily A. Lyubetsky
2016	J	`jnl`	A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Logica Universalis Piotr Blaszczyk, Alexandre V. Borovik, Vladimir Kanovei, Mikhail G. Katz, Taras S. Kudryk, Semen S. Kutateladze, David Sherry
2016	J	`jnl`	Counterexamples to countable-section uniformization and separation. Ann. Pure Appl. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2015	J	`jnl`	A definable E 0 class containing no definable elements. Arch. Math. Log. Vladimir Kanovei, Vassily A. Lyubetsky
2015	J	`jnl`	Grossone approach to Hutton and Euler transforms. Appl. Math. Comput. Vladimir Kanovei, Vassily A. Lyubetsky
2013	J	`jnl`	On effective σ-boundedness and σ-compactness. Math. Log. Q. Vladimir Kanovei, Vassily A. Lyubetsky
2012	J	`jnl`	An infinity which depends on the axiom of choice. Appl. Math. Comput. Vladimir Kanovei, Vassily A. Lyubetsky
2010	J	`jnl`	On coding uncountable sets by reals. Math. Log. Q. Joan Bagaria, Vladimir Kanovei
2004	J	`jnl`	A definable nonstandard model of the reals. J. Symb. Log. Vladimir Kanovei, Saharon Shelah
2003	J	`jnl`	A theorem on ROD-hypersmooth equivalence relations in the Solovay model. Math. Log. Q. Vladimir Kanovei, Michael Reeken
2003	J	`jnl`	Do stronger definitions of randomness exist? Theor. Comput. Sci. Bruno Durand, Vladimir Kanovei, Vladimir A. Uspensky, Nikolai K. Vereshchagin
2001	J	`jnl`	A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. Arch. Math. Log. Vladimir Kanovei
2000	J	`jnl`	A nonstandard set theory in the Î\displaystyle\in-language. Arch. Math. Log. Vladimir Kanovei, Michael Reeken
2000	J	`jnl`	Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Stud Logica Vladimir Kanovei, Michael Reeken
2000	J	`jnl`	Linearization of Definable Order Relations. Ann. Pure Appl. Log. Vladimir Kanovei
2000	J	`jnl`	On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals. Math. Log. Q. Vladimir Kanovei, Michael Reeken
1999	J	`jnl`	On Non-Wellfounded Iterations of The Perfect Set Forcing. J. Symb. Log. Vladimir Kanovei
1999	J	`jnl`	Special Model Axiom in Nonstandard Set Theory. Math. Log. Q. Vladimir Kanovei, Michael Reeken
1998	J	`jnl`	Elementary Extensions of External Classes in a Nonstandard Universe. Stud Logica Vladimir Kanovei, Michael Reeken
1998	J	`jnl`	Ulm Classification of Analytic Equivalence Relations in Generic Universes. Math. Log. Q. Vladimir Kanovei
1997	J	`jnl`	An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. J. Symb. Log. Vladimir Kanovei
1997	J	`jnl`	Isomorphism Property in Nonstandard Extensions of the ZFC Universe. Ann. Pure Appl. Log. Vladimir Kanovei, Michael Reeken
1997	J	`jnl`	On a Spector Ultrapower for the Solovay Model. Math. Log. Q. Vladimir Kanovei, Michiel van Lambalgen
1996	J	`jnl`	Internal approach to external sets and universes (Part III). Stud Logica Vladimir Kanovei, Michael Reeken
1996	J	`jnl`	Loeb Measure from the Point of View of a Coin Flipping Game. Math. Log. Q. Vladimir Kanovei, Michael Reeken
1996	J	`jnl`	On External Scott Algebras in Nonstandard Models of Peano Arithmetic. J. Symb. Log. Vladimir Kanovei
1995	J	`jnl`	Internal approach to external sets and universes (Part I). Stud Logica Vladimir Kanovei, Michael Reeken
1995	J	`jnl`	Internal approach to external sets and universes (Part II). Stud Logica Vladimir Kanovei, Michael Reeken
1995	J	`jnl`	Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic. J. Symb. Log. Vladimir Kanovei