Vladimir Kanovei

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 17

Top Topics

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

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