# Vladimir Kanovei

According to our database

Collaborative distances:

^{1}, Vladimir Kanovei authored at least 34 papers between 1995 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Definable Minimal collapse Functions at Arbitrary Projective Levels.

J. Symb. Log., 2019

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

J. Mathematical Logic, 2019

2018

Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.

J. Symb. Log., 2018

Definable E0 classes at arbitrary projective levels.

Ann. Pure Appl. Logic, 2018

Countable OD sets of reals belong to the ground model.

Arch. Math. Log., 2018

2017

A Groszek-Laver pair of undistinguishable E0-classes.

Math. Log. Q., 2017

2016

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

Logica Universalis, 2016

Counterexamples to countable-section uniformization and separation.

Ann. Pure Appl. Logic, 2016

2015

A definable E 0 class containing no definable elements.

Arch. Math. Log., 2015

Grossone approach to Hutton and Euler transforms.

Applied Mathematics and Computation, 2015

2013

On effective σ-boundedness and σ-compactness.

Math. Log. Q., 2013

2012

An infinity which depends on the axiom of choice.

Applied Mathematics and Computation, 2012

2010

On coding uncountable sets by reals.

Math. Log. Q., 2010

2004

A definable nonstandard model of the reals.

J. Symb. Log., 2004

2003

Do stronger definitions of randomness exist?

Theor. Comput. Sci., 2003

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

Math. Log. Q., 2003

2001

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

Arch. Math. Log., 2001

2000

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

Studia Logica, 2000

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

Math. Log. Q., 2000

Linearization of Definable Order Relations.

Ann. Pure Appl. Logic, 2000

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

Arch. Math. Log., 2000

1999

Special Model Axiom in Nonstandard Set Theory.

Math. Log. Q., 1999

On Non-Wellfounded Iterations of The Perfect Set Forcing.

J. Symb. Log., 1999

1998

Elementary Extensions of External Classes in a Nonstandard Universe.

Studia Logica, 1998

Ulm Classification of Analytic Equivalence Relations in Generic Universes.

Math. Log. Q., 1998

1997

On a Spector Ultrapower for the Solovay Model.

Math. Log. Q., 1997

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

J. Symb. Log., 1997

Isomorphism Property in Nonstandard Extensions of the ZFC Universe.

Ann. Pure Appl. Logic, 1997

1996

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

Studia Logica, 1996

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

Math. Log. Q., 1996

On External Scott Algebras in Nonstandard Models of Peano Arithmetic.

J. Symb. Log., 1996

1995

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

Studia Logica, 1995

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

Studia Logica, 1995

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

J. Symb. Log., 1995