Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic. - Vladimir Kanovei (J. Symb. Log., 1995)

Internal approach to external sets and universes (Part I). - Vladimir Kanovei; Michael Reeken (Stud Logica, 1995)

Internal approach to external sets and universes (Part II). - Vladimir Kanovei; Michael Reeken (Stud Logica, 1995)

On External Scott Algebras in Nonstandard Models of Peano Arithmetic. - Vladimir Kanovei (J. Symb. Log., 1996)

Loeb Measure from the Point of View of a Coin Flipping Game. - Vladimir Kanovei; Michael Reeken (Math. Log. Q., 1996)

Internal approach to external sets and universes (Part III). - Vladimir Kanovei; Michael Reeken (Stud Logica, 1996)

Isomorphism Property in Nonstandard Extensions of the ZFC Universe. - Vladimir Kanovei; Michael Reeken (Ann. Pure Appl. Log., 1997)

An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. - Vladimir Kanovei (J. Symb. Log., 1997)

On a Spector Ultrapower for the Solovay Model. - Vladimir Kanovei; Michiel van Lambalgen (Math. Log. Q., 1997)

Ulm Classification of Analytic Equivalence Relations in Generic Universes. - Vladimir Kanovei (Math. Log. Q., 1998)

Elementary Extensions of External Classes in a Nonstandard Universe. - Vladimir Kanovei; Michael Reeken (Stud Logica, 1998)

On Non-Wellfounded Iterations of The Perfect Set Forcing. - Vladimir Kanovei (J. Symb. Log., 1999)

Special Model Axiom in Nonstandard Set Theory. - Vladimir Kanovei; Michael Reeken (Math. Log. Q., 1999)

A nonstandard set theory in the Î displaystyle in-language. - Vladimir Kanovei; Michael Reeken (Arch. Math. Log., 2000)

Linearization of Definable Order Relations. - Vladimir Kanovei (Ann. Pure Appl. Log., 2000)

On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals. - Vladimir Kanovei; Michael Reeken (Math. Log. Q., 2000)

Extending Standard Models of ZFC to Models of Nonstandard Set Theories. - Vladimir Kanovei; Michael Reeken (Stud Logica, 2000)

A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. - Vladimir Kanovei (Arch. Math. Log., 2001)

A theorem on ROD-hypersmooth equivalence relations in the Solovay model. - Vladimir Kanovei; Michael Reeken (Math. Log. Q., 2003)

Do stronger definitions of randomness exist? - Bruno Durand 001; Vladimir Kanovei; Vladimir A. Uspensky; Nikolai K. Vereshchagin (Theor. Comput. Sci., 2003)

A definable nonstandard model of the reals. - Vladimir Kanovei; Saharon Shelah (J. Symb. Log., 2004)

On coding uncountable sets by reals. - Joan Bagaria; Vladimir Kanovei (Math. Log. Q., 2010)

An infinity which depends on the axiom of choice. - Vladimir Kanovei; Vassily A. Lyubetsky (Appl. Math. Comput., 2012)

On effective σ-boundedness and σ-compactness. - Vladimir Kanovei; Vassily A. Lyubetsky (Math. Log. Q., 2013)

Grossone approach to Hutton and Euler transforms. - Vladimir Kanovei; Vassily A. Lyubetsky (Appl. Math. Comput., 2015)

A definable E 0 class containing no definable elements. - Vladimir Kanovei; Vassily A. Lyubetsky (Arch. Math. Log., 2015)

Counterexamples to countable-section uniformization and separation. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2016)

A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. - Piotr Blaszczyk; Alexandre V. Borovik; Vladimir Kanovei; Mikhail G. Katz; Taras S. Kudryk; Semen S. Kutateladze; David Sherry (Logica Universalis, 2016)

A Groszek-Laver pair of undistinguishable E0-classes. - Mohammad Golshani; Vladimir Kanovei; Vassily A. Lyubetsky (Math. Log. Q., 2017)

Countable OD sets of reals belong to the ground model. - Vladimir Kanovei; Vassily A. Lyubetsky (Arch. Math. Log., 2018)

Definable E0 classes at arbitrary projective levels. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2018)

Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. - Frederik S. Herzberg; Vladimir Kanovei; Mikhail G. Katz; Vassily A. Lyubetsky (J. Symb. Log., 2018)

A model of second-order arithmetic satisfying AC but not DC. - Sy-David Friedman; Victoria Gitman; Vladimir Kanovei (J. Math. Log., 2019)

Definable Minimal collapse Functions at Arbitrary Projective Levels. - Vladimir Kanovei; Vassily A. Lyubetsky (J. Symb. Log., 2019)

Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products. - Vladimir Kanovei; Vassily A. Lyubetsky (Notre Dame J. Formal Log., 2020)

The full basis theorem does not imply analytic wellordering. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2021)

An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. - Ali Enayat; Vladimir Kanovei (J. Math. Log., 2021)

A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class. - Vladimir Kanovei; Vassily A. Lyubetsky (Axioms, 2022)

A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level. - Vladimir Kanovei; Vassily A. Lyubetsky (Axioms, 2022)

A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings. - Vladimir Kanovei; Vassily A. Lyubetsky (Ann. Pure Appl. Log., 2024)

Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic. - Vladimir Kanovei; Vassily A. Lyubetsky (Axioms, 2024)

Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic. - Vladimir Kanovei; Vassily A. Lyubetsky (Stud Logica, 2025)