|
+
|
Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров
|
2025
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On the Uniform Projection Problem in Descriptive Set Theory
|
2024
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On the significance of parameters and the projective level in the Choice
and Comprehension axioms
|
2024
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic
|
2024
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
A good lightface <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msubsup><mml:mrow><mml:mi>Δ</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup></mml:math> well-ordering of the reals does not imply the existence of boldface <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1158.svg"><mml:msubsup><mml:mrow><mml:mi mathvariant="bold">Δ</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo …
|
2024
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Jensen 
 Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic
|
2024
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA
|
2023
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part II
|
2023
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Historical Infinitesimalists and modern historiography of infinitesimals
|
2023
|
Mikhail G. Katz
Jacques Bair
Alexandre Borovik
Vladimir Kanovei
S. S. Kutateladze
Sam Sanders
David D. Sherry
Monica Ugaglia
|
|
+
PDF
Chat
|
On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic
|
2023
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Is Pluralism in the History of Mathematics Possible?
|
2023
|
Jacques Bair
Alexandre Borovik
Vladimir Kanovei
Mikhail G. Katz
S. S. Kutateladze
Sam Sanders
David D. Sherry
Monica Ugaglia
Mark van Atten
|
|
+
|
Jensen $\varDelta^1_3$ reals by means of ZFC$^-$ or second order Peano arithmetic
|
2023
|
Vladimir Kanovei
|
|
+
|
On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On the ‘definability of definable’ problem of Alfred Tarski, Part II
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On Russell typicality in set theory
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A Generic Model in Which the Russell-Nontypical Sets Satisfy ZFC Strictly between HOD and the Universe
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic
|
2022
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Historical infinitesimalists and modern historiography of infinitesimals
|
2022
|
Jacques Bair
Alexandre Borovik
Vladimir Kanovei
Mikhail G. Katz
S. S. Kutateladze
Sam Sanders
David D. Sherry
Monica Ugaglia
|
|
+
|
A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe
|
2021
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On Russell typicality in Set Theory
|
2021
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom
|
2021
|
Ali Enayat
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe
|
2021
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On Russell typicality in Set Theory
|
2021
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$
|
2020
|
Vladimir Kanovei
Ralf Schindler
|
|
+
PDF
Chat
|
On the ‘Definability of Definable’ Problem of Alfred Tarski
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
The full basis theorem does not imply analytic wellordering
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Factoring Solovay-random extensions, with application to the reduction property
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Models of set theory in which the separation theorem fails
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
|
2020
|
Ali Enayat
Vladimir Kanovei
|
|
+
|
On the Equality Relation Modulo a Countable Set
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On the Δ n 1 Problem of Harvey Friedman
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Continuity between Cauchy and Bolzano: issues of antecedents and priority
|
2020
|
Jacques Bair
Piotr Błaszczyk
Elías Fuentes Guillén
Peter Heinig
Vladimir Kanovei
Mikhail G. Katz
|
|
+
PDF
Chat
|
Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level
|
2020
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
19th-century real analysis, forward and backward
|
2020
|
Mikhail G. Katz
Jacques Bair
Piotr Błaszczyk
Peter Heinig
Vladimir Kanovei
|
|
+
|
An unpublished theorem of Solovay, revisited
|
2020
|
Ali Enayat
Vladimir Kanovei
|
|
+
PDF
Chat
|
Cauchy's Work on Integral Geometry, Centers of Curvature, and Other Applications of Infinitesimals
|
2020
|
Bair
Błaszczyk
Heinig
Vladimir Kanovei
Katz
McGaffey
|
|
+
|
Об отношении равенства с точностью до счетного множества
|
2020
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
|
|
+
PDF
Chat
|
Metric completions, the Heine-Borel property, and approachability
|
2020
|
Vladimir Kanovei
Mikhail G. Katz
Tahl Nowik
|
|
+
|
An unpublished theorem of Solovay, revisited
|
2020
|
Ali Enayat
Vladimir Kanovei
|
|
+
PDF
Chat
|
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Gregory’s Sixth Operation
|
2019
|
Tiziana Bascelli
Piotr Błaszczyk
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Tahl Nowik
David Schaps
David D. Sherry
|
|
+
|
Absoluteness of the Solovay Set Σ
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Gregory’s Sixth Operation
|
2019
|
Tiziana Bascelli
Piotr Błaszczyk
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Tahl Nowik
David Schaps
David D. Sherry
|
|
+
|
Definable selector for $\bf\Delta^0_2$ sets modulo countable
|
2019
|
Vladimir Kanovei
|
|
+
|
On mathematical realism and applicability of hyperreals
|
2019
|
Emanuele Bottazzi
Vladimir Kanovei
Mikhail G. Katz
Thomas Mormann
David Sherry
|
|
+
|
Models of set theory in which separation theorem fails
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Definable Elements of Definable Borel Sets
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Definable Hamel bases and $AC_\omega(R)$
|
2019
|
Vladimir Kanovei
Ralf Schindler
|
|
+
PDF
Chat
|
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Indiscernible pairs of countable sets of reals at a given projective level
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Models of set theory in which separation theorem fails
|
2019
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Definable selector for $\bfΔ^0_2$ sets modulo countable
|
2019
|
Vladimir Kanovei
|
|
+
|
Definable Hamel bases and $AC_ω(R)$
|
2019
|
Vladimir Kanovei
Ralf Schindler
|
|
+
PDF
Chat
|
Borel OD sets of reals are OD-Borel in some simple models
|
2018
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A model of second-order arithmetic satisfying AC but not DC
|
2018
|
Sy‐David Friedman
Victoria Gitman
Vladimir Kanovei
|
|
+
|
A model of second-order arithmetic satisfying AC but not DC
|
2018
|
Sy‐David Friedman
Victoria Gitman
Vladimir Kanovei
|
|
+
|
Definable <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mrow><mml:mi mathvariant="sans-serif">E</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:math> classes at arbitrary projective levels
|
2018
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
|
2018
|
Frederik Herzberg
Vladimir Kanovei
MIKHAIL KATZ
Vassily Lyubetsky
|
|
+
|
On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami
|
2018
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On intermediate extensions of generic extensions by a random real
|
2018
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Monotone subsequence via ultrapower
|
2018
|
Piotr Błaszczyk
Vladimir Kanovei
Mikhail G. Katz
Tahl Nowik
|
|
+
|
What Makes a Theory of Infinitesimals Useful? A View by Klein and Fraenkel
|
2018
|
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Thomas Mormann
|
|
+
|
A model of second-order arithmetic satisfying AC but not DC
|
2018
|
Sy‐David Friedman
Victoria Gitman
Vladimir Kanovei
|
|
+
PDF
Chat
|
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A Generic Property of the Solovay Set Σ
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A countable definable set containing no definable elements
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Countable OD sets of reals belong to the ground model
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Cauchy’s Infinitesimals, His Sum Theorem, and Foundational Paradigms
|
2017
|
Tiziana Bascelli
Piotr Błaszczyk
Alexandre Borovik
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Thomas McGaffey
David Schaps
David Sherry
|
|
+
|
A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
|
2017
|
Vladimir Kanovei
Mikhail G. Katz
|
|
+
|
Cauchy, infinitesimals and ghosts of departed quantifiers
|
2017
|
Jacques Bair
Piotr Błaszczyk
R. Ely
Valérie Henry
Vladimir Kanovei
Kalman Katz
Mikhail G. Katz
Taras Kudryk
S. S. Kutateladze
Thomas McGaffey
|
|
+
PDF
Chat
|
A Groszek‐Laver pair of undistinguishable ‐classes
|
2017
|
Mohammad Golshani
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Borel irreducibility between two large families of Borel equivalence relations
|
2017
|
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
On “star” schemata of Kossak and Paris
|
2017
|
Vladimir Kanovei
|
|
+
|
The full basis theorem does not imply analytic wellordering
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
|
2017
|
Peter Fletcher
Karel Hrbáček
Vladimir Kanovei
Mikhail G. Katz
Claude Lobry
Sam Sanders
|
|
+
|
Определимое счетное множество, не содержащее определимых элементов
|
2017
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
|
|
+
|
The full basis theorem does not imply analytic wellordering
|
2017
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
|
2017
|
Vladimir Kanovei
Mikhail G. Katz
|
|
+
PDF
Chat
|
Gregory’s Sixth Operation
|
2016
|
Tiziana Bascelli
Piotr Błaszczyk
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Tahl Nowik
David Schaps
David Sherry
|
|
+
PDF
Chat
|
Toward a History of Mathematics Focused on Procedures
|
2016
|
Piotr Błaszczyk
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
David Sherry
|
|
+
PDF
Chat
|
Interpreting the Infinitesimal Mathematics of Leibniz and Euler
|
2016
|
Jacques Bair
Piotr Błaszczyk
R. Ely
Valérie Henry
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Thomas McGaffey
Patrick Reeder
|
|
+
PDF
Chat
|
In Cohen generic extension, every countable OD set of reals belongs to the ground model
|
2016
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos
|
2016
|
Piotr Błaszczyk
Alexandre Borovik
Vladimir Kanovei
Mikhail G. Katz
Taras Kudryk
S. S. Kutateladze
David Sherry
|
|
+
PDF
Chat
|
Is Leibnizian Calculus Embeddable in First Order Logic?
|
2016
|
Piotr Błaszczyk
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Taras Kudryk
Thomas Mormann
David Sherry
|
|
+
PDF
Chat
|
Small oscillations of the pendulum, Euler’s method, and adequality
|
2016
|
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Tahl Nowik
|
|
+
PDF
Chat
|
OD elements of countable OD sets in the Solovay model
|
2016
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
Leibniz versus Ishiguro: Closing a Quarter Century of Syncategoremania
|
2016
|
Tiziana Bascelli
Piotr Błaszczyk
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
David Schaps
David Sherry
|
|
+
|
A Groszek-Laver pair of undistinguishable $E_0$ classes
|
2016
|
Mohammad Golshani
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On countable cofinality and decomposition of definable thin orderings
|
2016
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
A Groszek-Laver pair of undistinguishable $E_0$ classes
|
2016
|
Mohammad Golshani
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Counterexamples to countable-section <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi>Π</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup></mml:math> uniformization and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si2.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi>Π</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow><mml:mrow><…
|
2015
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Controversies in the Foundations of Analysis: Comments on Schubring’s Conflicts
|
2015
|
Piotr Błaszczyk
Vladimir Kanovei
Mikhail G. Katz
David Sherry
|
|
+
PDF
Chat
|
Euler’s Lute and Edwards’s Oud
|
2015
|
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
David Sherry
|
|
+
PDF
Chat
|
Generalization of one construction by Solovay
|
2015
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On effective σ-boundedness and σ-compactness in Solovay’s model
|
2015
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A definable E 0 class containing no definable elements
|
2015
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
A generalization of Solovay's -construction ∗
|
2015
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
Об эффективной $\sigma$-ограниченности и $\sigma$-компактности в модели Соловея
|
2015
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
|
|
+
|
Proofs and Retributions, Or: Why Sarah Can’t Take Limits
|
2014
|
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Mary Schaps
|
|
+
|
Fermat, Leibniz, Euler, and the Gang: The True History of the Concepts of Limit and Shadow
|
2014
|
Tiziana Bascelli
Emanuele Bottazzi
Frederik Herzberg
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Tahl Nowik
David Sherry
Steven Shnider
|
|
+
PDF
Chat
|
Linearization of partial quasi-orderings in the Solovay model revisited. ∗
|
2014
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Grossone approach to Hutton and Euler transforms
|
2014
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Bounding and decomposing thin analytic partial orderings
|
2014
|
Vladimir Kanovei
|
|
+
|
Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow
|
2014
|
Tiziana Bascelli
Emanuele Bottazzi
Frederik Herzberg
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Tahl Nowik
David Sherry
Steven Shnider
|
|
+
PDF
Chat
|
A generalization of Solovay's -construction with application to intermediate models ∗
|
2014
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
A generalization of Solovay's $\Sigma$-construction
|
2014
|
Vladimir Kanovei
|
|
+
|
Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow
|
2014
|
Tiziana Bascelli
Emanuele Bottazzi
Frederik Herzberg
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
Tahl Nowik
David D. Sherry
Steven Shnider
|
|
+
PDF
Chat
|
Canonical Ramsey Theory on Polish Spaces
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
Ramsey-type ideals
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
Games and the Silver property
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
Analytic equivalence relations and models of set theory
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
The countable support iteration ideals
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
Product-type ideals
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
Preface
|
2013
|
Vladimir Kanovei
Marcin Sabok
Jindřich Zapletal
|
|
+
|
Is mathematical history written by the victors
|
2013
|
Jacques Bair
Valérie Henry
Piotr Błaszczyk
R. Ely
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Thomas McGaffey
David Schaps
|
|
+
|
Is mathematical history written by the victors
|
2013
|
Jacques Bair
Piotr Błaszczyk
R. Ely
Valérie Henry
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Thomas McGaffey
David Schaps
|
|
+
PDF
Chat
|
On effective σ‐boundedness and σ‐compactness
|
2013
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
On effective -boundedness and -compactness
|
2013
|
Vladimir Kanovei
|
|
+
|
Foundations of infinitesimal calculus: surreal numbers and nonstandard analysis
|
2013
|
Vladimir Kanovei
|
|
+
|
Is mathematical history written by the victors?
|
2013
|
Jacques Bair
Piotr Błaszczyk
R. Ely
Valérie Henry
Vladimir Kanovei
Karin U. Katz
Mikhail G. Katz
S. S. Kutateladze
Thomas McGaffey
David Schaps
|
|
+
PDF
Chat
|
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics
|
2012
|
Vladimir Kanovei
Mikhail G. Katz
Thomas Mormann
|
|
+
PDF
Chat
|
Effective compactness and sigma-compactness
|
2012
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Об эффективной компактности и сигма-компактности
|
2012
|
Vladimir Kanovei
Vladimir Kanovei
В.А. Любецкий
Vasilii Aleksandrovich Lyubetskii
|
|
+
|
An effective minimal encoding of uncountable sets
|
2011
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
An infinity which depends on the axiom of choice
|
2011
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
On coding uncountable sets by reals
|
2010
|
Joan Bagaria
Vladimir Kanovei
|
|
+
|
On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals
|
2010
|
Vladimir Kanovei
|
|
+
|
On Hausdorff ordered structures
|
2009
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
A weak dichotomy below <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi mathvariant="sans-serif">E</mml:mi><mml:mi mathvariant="sans-serif">1</mml:mi></mml:msub><mml:mo>×</mml:mo><mml:msub><mml:mi mathvariant="sans-serif">E</mml:mi><mml:mi mathvariant="sans-serif">3</mml:mi></mml:msub></mml:math>
|
2009
|
Vladimir Kanovei
|
|
+
|
Borel reducibility as an additive property of domains
|
2009
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
PDF
Chat
|
Об упорядоченных структурах Хаусдорфа
|
2009
|
Vladimir Kanovei
Vladimir Kanovei
|
|
+
|
Lebesgue measure and gambling
|
2008
|
Vladimir Kanovei
Том Линтон
Vladimir Uspensky
|
|
+
PDF
Chat
|
Reasonable non-Radon–Nikodym ideals
|
2008
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Actions of the infinite symmetric group
|
2008
|
Vladimir Kanovei
|
|
+
|
Reduction of Borel equivalence relations to Borel ideals
|
2008
|
Vladimir Kanovei
|
|
+
|
Hyperfinite equivalence relations
|
2008
|
Vladimir Kanovei
|
|
+
|
On Cohen and Gandy–Harrington forcing over countable models
|
2008
|
Vladimir Kanovei
|
|
+
|
Borel reducibility of equivalence relations
|
2008
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
More on countable equivalence relations
|
2008
|
Vladimir Kanovei
|
|
+
|
Introduction to countable equivalence relations
|
2008
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
Borel ideals
|
2008
|
Vladimir Kanovei
|
|
+
|
Borel Equivalence Relations
|
2008
|
Vladimir Kanovei
|
|
+
|
Mengenlehre — Historische Einführung
|
2008
|
Vladimir Kanovei
Walter Purkert
|
|
+
|
Some natural equivalence relations in the Solovay model
|
2008
|
Sy‐David Friedman
Vladimir Kanovei
|
|
+
|
Reducibility of monadic equivalence relations
|
2007
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
Michael Reeken
|
|
+
|
Problems of set-theoretic non-standard analysis
|
2007
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
|
|
+
PDF
Chat
|
О сводимости монадических отношений эквивалентности
|
2007
|
Vladimir Kanovei
Vladimir Kanovei
В.А. Любецкий
Vasilii Aleksandrovich Lyubetskii
Michael Reeken
Michael Reeken
|
|
+
PDF
Chat
|
Проблемы теоретико-множественного нестандартного анализа
|
2007
|
Vladimir Kanovei
Vladimir Kanovei
В.А. Любецкий
Vasilii Aleksandrovich Lyubetskii
|
|
+
PDF
Chat
|
Mathematical Logic in Asia
|
2006
|
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
EFFECTIVE CARDINALS IN THE NONSTANDARD UNIVERSE
|
2006
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Varia: Ideals and Equivalence Relations, beta-version
|
2006
|
Vladimir Kanovei
|
|
+
|
Varia. Ideals and Equivalence Relations
|
2006
|
Vladimir Kanovei
|
|
+
|
A confinal family of equivalence relations and Borel ideals generating them
|
2006
|
Vladimir Kanovei
Vassily Lyubetsky
|
|
+
|
Конфинальное семейство отношений эквивалентности и порождающих их борелевских идеалов
|
2006
|
Vladimir Kanovei
В.А. Любецкий
|
|
+
|
Perfect subsets of invariant CA-sets
|
2005
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
|
|
+
PDF
Chat
|
О совершенных подмножествах инвариантных CA-множеств
|
2005
|
Vladimir Kanovei
Vladimir Kanovei
В.А. Любецкий
Vasilii Aleksandrovich Lyubetskii
|
|
+
PDF
Chat
|
A definable nonstandard model of the reals
|
2004
|
Vladimir Kanovei
Saharon Shelah
|
|
+
|
Partially saturated universes and the Power Set problem
|
2004
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
“Hyperfinite” descriptive set theory
|
2004
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Forcing extensions of the nonstandard universe
|
2004
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Other nonstandard theories
|
2004
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
О множестве конструктивных вещественных чисел
|
2004
|
Vladimir Kanovei
В.А. Любецкий
|
|
+
|
Nonstandard Analysis, Axiomatically
|
2004
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Elementary real analysis in the nonstandard universe
|
2004
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
A definable nonstandard model of the reals
|
2003
|
Vladimir Kanovei
Saharon Shelah
|
|
+
PDF
Chat
|
Borel and Countably Determined Reducibility in Nonstandard Domain
|
2003
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
On some classical problems of descriptive set theory
|
2003
|
Vladimir Kanovei
Vasilii Aleksandrovich Lyubetskii
|
|
+
PDF
Chat
|
Some new results on Borel irreducibility of equivalence relations
|
2003
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
A theorem on ROD‐hypersmooth equivalence relations in the Solovay model
|
2003
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Do stronger definitions of randomness exist?
|
2003
|
Bruno Durand
Vladimir Kanovei
Vladimir Uspensky
Nikolay Vereshchagin
|
|
+
PDF
Chat
|
Некоторые новые результаты о борелевской несводимости отношений эквивалентности
|
2003
|
Vladimir Kanovei
Vladimir Kanovei
Michael Reeken
Michael Reeken
|
|
+
PDF
Chat
|
О некоторых классических проблемах дескриптивной теории множеств
|
2003
|
Vladimir Kanovei
Vladimir Kanovei
В.А. Любецкий
Vasilii Aleksandrovich Lyubetskii
|
|
+
|
A definable nonstandard model of the reals
|
2003
|
Vladimir Kanovei
Saharon Shelah
|
|
+
|
Deskriptive Mengenlehre in Hausdorffs Grundzügen der Mengenlehre
|
2002
|
Vladimir Kanovei
Peter Koepke
|
|
+
PDF
Chat
|
A version of the Jensen-Johnsbråten coding at arbitrary level n ≥ 3
|
2001
|
Vladimir Kanovei
|
|
+
|
On Borel orderable groups
|
2001
|
Jens-Peter Christensen
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
Нестандартная теория множеств в $\in$-языке
|
2001
|
Vladimir Kanovei
Vladimir Kanovei
|
|
+
|
None
|
2001
|
Vladimir Kanovei
|
|
+
|
New Radon–Nikodym ideals
|
2000
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
A nonstandard set theory in the $\displaystyle\in$ -language
|
2000
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals
|
2000
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Linearization of definable order relations
|
2000
|
Vladimir Kanovei
|
|
+
|
None
|
2000
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
A nonstandard set theory in the [mathematical formula]-language
|
2000
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
A nonstandard set theory in the ∈-language
|
2000
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Extension of standard models of ZFC to models of Nelson’s nonstandard set theory IST
|
1999
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
On non-wellfounded iterations of the perfect set forcing
|
1999
|
Vladimir Kanovei
|
|
+
|
Special Model Axiom in Nonstandard Set Theory
|
1999
|
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
Расширение стандартных моделей $\mathbf{ZFC}$ до моделей нестандартной теории множеств Нельсона $\mathbf{IST}$
|
1999
|
Vladimir Kanovei
Vladimir Kanovei
Michael Reeken
Michael Reeken
|
|
+
PDF
Chat
|
Do most strong definitions of randomness exist?
|
1998
|
Bruno Durand
Vladimir Kanovei
Vladimir Uspensky
Nikolai Vereshagin
|
|
+
|
None
|
1998
|
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
On “star” schemata of Kossak and Paris
|
1998
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
When a partial Borel order is linearizable
|
1998
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
Ulm Classification of Analytic Equivalence Relations in Generic Universes
|
1998
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
An Ulm-type classification theorem for equivalence relations in Solovay model
|
1997
|
Vladimir Kanovei
|
|
+
|
Isomorphism property in nonstandard extensions of theZFC universe
|
1997
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Linearization of analytic order relations
|
1997
|
Vladimir Kanovei
|
|
+
|
When a partial Borel order is linearizable
|
1997
|
Vladimir Kanovei
|
|
+
|
MATHEMATICS IN A NONSTANDARD WORLD I
|
1997
|
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
Non-Glimm–Effros equivalence relations at second projective level
|
1997
|
Vladimir Kanovei
|
|
+
|
What internal set theory knows about standard sets
|
1997
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
On the complexity of finitely additive measures
|
1997
|
J.P.R. Christensen
Vladimir Kanovei
Sebastiaan A. Terwijn
Domenico Zambella
|
|
+
PDF
Chat
|
On a Spector Ultrapower for the Solovay Model
|
1997
|
Vladimir Kanovei
Michiel van Lambalgen
|
|
+
PDF
Chat
|
Two dichotomy theorems on colourability of non-analytic graphs
|
1997
|
Vladimir Kanovei
|
|
+
|
When a partial Borel order is linearizable
|
1997
|
Vladimir Kanovei
|
|
+
|
A nonstandard proof of the Jordan curve theorem
|
1996
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Topologies generated by effectively Suslin sets, and their applications in descriptive set theory
|
1996
|
Vladimir Kanovei
|
|
+
|
On external Scott algebras in nonstandard models of Peano arithmetic
|
1996
|
Vladimir Kanovei
|
|
+
|
Internal approach to external sets and universes
|
1996
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
On a dichotomy related to colourings of definable graphs in generic models
|
1996
|
Vladimir Kanovei
|
|
+
|
Loeb Measure from the Point of View of a Coin Flipping Game
|
1996
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
to External Sets and Universes Part 3 Partially saturated universes
|
1996
|
Vladimir Kanovei
Michael Reeken
|
|
+
PDF
Chat
|
Топологии, порожденные эффективно суслинскими множествами, и их приложения в дескриптивной теории множеств
|
1996
|
Vladimir Kanovei
Vladimir Kanovei
|
|
+
|
On the complexity of finitely additive measures
|
1996
|
P. R. Christensen
Vladimir Kanovei
Sebastiaan A. Terwijn
Domenico Zambella
|
|
+
|
A nonstandard proof of the Jordan curve theorem
|
1996
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property
|
1995
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
On a Glimm -- Effros dichotomy and an Ulm--type classification in Solovay model
|
1995
|
Vladimir Kanovei
|
|
+
|
Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
|
1995
|
Vladimir Kanovei
|
|
+
|
SUMMATION OF DIVERGENT SERIES FROM THE NONSTANDARD POINT OF VIEW
|
1995
|
Vladimir Kanovei
Reeken
|
|
+
|
Internal approach to external sets and universes
|
1995
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
Part 2 External universes over the universe of bounded set theory
|
1995
|
Vladimir Kanovei
Michael Eeken
|
|
+
|
On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property
|
1995
|
Vladimir Kanovei
|
|
+
|
Internal approach to external sets and universes
|
1995
|
Vladimir Kanovei
Michael Reeken
|
|
+
|
IST is more than an algorithm to prove ZFC theorems
|
1993
|
Vladimir Kanovei
|
|
+
|
On the extension principle in internal set theory
|
1992
|
Vladimir Kanovei
|
|
+
|
Undecidable hypotheses in Edward Nelson's internal set theory
|
1991
|
Vladimir Kanovei
|
|
+
|
Cardinality of the set of Vitali equivalence classes
|
1991
|
Vladimir Kanovei
|
|
+
|
Kolmogorov's ideas in the theory of operations on sets
|
1988
|
Vladimir Kanovei
|
|
+
|
The correctness of Euler's method for the factorization of the sine function into an infinite product
|
1988
|
Vladimir Kanovei
|
|
+
PDF
Chat
|
The axiom of determinacy and the modern development of descriptive set theory
|
1988
|
Vladimir Kanovei
|
|
+
|
N. N. Luzin's problems on the existence of CA-sets without perfect subsets
|
1987
|
Vladimir Kanovei
|
|
+
|
The development of the descriptive theory of sets under the influence of the work of Luzin
|
1985
|
Vladimir Kanovei
|
|
+
|
UNDECIDABLE AND DECIDABLE PROPERTIES OF CONSTITUENTS
|
1985
|
Vladimir Kanovei
|
|
+
|
An answer to Luzin's question about the separability of Ca-curves
|
1983
|
Vladimir Kanovei
|
|
+
|
Generalization of P.S. Novikov's theorem on cross sections of Borel sets
|
1983
|
Vladimir Kanovei
|
|
+
|
Structure of constituents of ? 1 1 -sets
|
1983
|
Vladimir Kanovei
|
|
+
|
N. N. Luzin's problems on imbeddability and decomposability of projective sets
|
1982
|
Vladimir Kanovei
|
|
+
|
THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY
|
1980
|
Vladimir Kanovei
|
|
+
|
A consequence of the Martin axiom
|
1979
|
Vladimir Kanovei
|
|
+
|
ON THE NONEMPTINESS OF CLASSES IN AXIOMATIC SET THEORY
|
1978
|
Vladimir Kanovei
|
|
+
|
On initial segments of degrees of constructibility
|
1975
|
Vladimir Kanovei
|
|
+
|
Singular cardinals
|
1973
|
Vladimir Kanovei
|