Vladimir Kanovei

Stud Logica, February, 2025

2024

Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic.

[BibT_eX]

[DOI]

Axioms, February, 2024

A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2024

2022

A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level.

[BibT_eX]

[DOI]

Axioms, 2022

A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class.

[BibT_eX]

[DOI]

Axioms, 2022

2021

An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited.

[BibT_eX]

[DOI]

Ali Enayat

J. Math. Log., 2021

The full basis theorem does not imply analytic wellordering.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2021

2020

Canonization of Smooth Equivalence Relations on Infinite-Dimensional E<sub>0</sub>-Large Products.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2020

2019

Definable Minimal collapse Functions at Arbitrary Projective Levels.

[BibT_eX]

[DOI]

J. Symb. Log., 2019

A model of second-order arithmetic satisfying AC but not DC.

[BibT_eX]

[DOI]

Sy-David Friedman

Victoria Gitman

J. Math. Log., 2019

2018

Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.

[BibT_eX]

[DOI]

J. Symb. Log., 2018

Definable E0 classes at arbitrary projective levels.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2018

Countable OD sets of reals belong to the ground model.

[BibT_eX]

[DOI]

Arch. Math. Log., 2018

2017

A Groszek-Laver pair of undistinguishable E0-classes.

[BibT_eX]

[DOI]

Mohammad Golshani

Math. Log. Q., 2017

2016

A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.

[BibT_eX]

[DOI]

Logica Universalis, 2016

Counterexamples to countable-section uniformization and separation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2016

2015

A definable E 0 class containing no definable elements.

[BibT_eX]

[DOI]

Arch. Math. Log., 2015

Grossone approach to Hutton and Euler transforms.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2015

2013

On effective σ-boundedness and σ-compactness.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

2012

An infinity which depends on the axiom of choice.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

2010

On coding uncountable sets by reals.

[BibT_eX]

[DOI]

Joan Bagaria

Math. Log. Q., 2010

2004

A definable nonstandard model of the reals.

[BibT_eX]

[DOI]

Saharon Shelah

J. Symb. Log., 2004

2003

Do stronger definitions of randomness exist?

[BibT_eX]

[DOI]

Bruno Durand

Vladimir A. Uspensky

Nikolai K. Vereshchagin

Theor. Comput. Sci., 2003

A theorem on ROD-hypersmooth equivalence relations in the Solovay model.

[BibT_eX]

[DOI]

Math. Log. Q., 2003

2001

A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3.

[BibT_eX]

[DOI]

Arch. Math. Log., 2001

2000

Extending Standard Models of ZFC to Models of Nonstandard Set Theories.

[BibT_eX]

[DOI]

Stud Logica, 2000

On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals.

[BibT_eX]

[DOI]

Math. Log. Q., 2000

Linearization of Definable Order Relations.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2000

A nonstandard set theory in the Î\displaystyle\in-language.

[BibT_eX]

[DOI]

Arch. Math. Log., 2000

1999

Special Model Axiom in Nonstandard Set Theory.

[BibT_eX]

[DOI]

Math. Log. Q., 1999

On Non-Wellfounded Iterations of The Perfect Set Forcing.

[BibT_eX]

[DOI]

J. Symb. Log., 1999

1998

Elementary Extensions of External Classes in a Nonstandard Universe.

[BibT_eX]

[DOI]

Stud Logica, 1998

Ulm Classification of Analytic Equivalence Relations in Generic Universes.

[BibT_eX]

[DOI]

Math. Log. Q., 1998

1997

On a Spector Ultrapower for the Solovay Model.

[BibT_eX]

[DOI]

Michiel van Lambalgen

Math. Log. Q., 1997

An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

Isomorphism Property in Nonstandard Extensions of the ZFC Universe.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1997

1996

Internal approach to external sets and universes (Part III).

[BibT_eX]

[DOI]

Stud Logica, 1996

Loeb Measure from the Point of View of a Coin Flipping Game.

[BibT_eX]

[DOI]

Math. Log. Q., 1996

On External Scott Algebras in Nonstandard Models of Peano Arithmetic.

[BibT_eX]

[DOI]

J. Symb. Log., 1996

1995

Internal approach to external sets and universes (Part II).

[BibT_eX]

[DOI]

Stud Logica, 1995

Internal approach to external sets and universes (Part I).

[BibT_eX]

[DOI]

Stud Logica, 1995

Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic.

[BibT_eX]

[DOI]