| Publication | Date of Publication | Type |
|---|
A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
Annals of Pure and Applied Logic | 2024-04-04 | Paper |
What Makes a Theory of Infinitesimals Useful? A View by Klein and Fraenkel
Journal of Humanistic Mathematics | 2023-10-25 | Paper |
19th-century real analysis, forward and backward
Antiquitates Mathematicae | 2023-07-04 | Paper |
| Jensen $\varDelta^1_3$ reals by means of ZFC$^-$ or second order Peano arithmetic | 2023-05-21 | Paper |
On Russell typicality in set theory
Proceedings of the American Mathematical Society | 2023-03-07 | Paper |
On the ‘definability of definable’ problem of Alfred Tarski, Part II
Transactions of the American Mathematical Society | 2022-11-07 | Paper |
| Historical infinitesimalists and modern historiography of infinitesimals | 2022-10-26 | Paper |
| The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic | 2022-09-15 | Paper |
| A model in which the Separation principle holds for a given effective projective Sigma-class | 2022-04-08 | Paper |
Models of set theory in which the separation theorem fails
Izvestiya: Mathematics | 2022-02-24 | Paper |
| A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe | 2021-11-26 | Paper |
On Russell typicality in Set Theory
(available as arXiv preprint) | 2021-11-15 | Paper |
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
Journal of Mathematical Logic | 2021-11-03 | Paper |
Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$
Fundamenta Mathematicae | 2021-11-03 | Paper |
The full basis theorem does not imply analytic wellordering
Annals of Pure and Applied Logic | 2021-03-25 | Paper |
Continuity between Cauchy and Bolzano: issues of antecedents and priority
British Journal for the History of Mathematics | 2021-02-05 | Paper |
Factoring Solovay-random extensions, with application to the reduction property
Monatshefte für Mathematik | 2021-01-22 | Paper |
On the equality relation modulo a countable set
Mathematical Notes | 2020-11-06 | Paper |
Metric completions, the Heine-Borel property, and approachability
Open Mathematics | 2020-06-15 | Paper |
Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals
Real Analysis Exchange | 2020-06-11 | Paper |
Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals
Real Analysis Exchange | 2020-06-11 | Paper |
Absoluteness of the Solovay set \(\Sigma \)
Siberian Mathematical Journal | 2020-06-09 | Paper |
Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes
Mathematical Logic Quarterly | 2020-04-29 | Paper |
| An unpublished theorem of Solovay, revisited | 2020-01-29 | Paper |
| Indiscernible pairs of countable sets of reals at a given projective level | 2019-12-30 | Paper |
Definable elements of definable Borel sets
Mathematical Notes | 2019-11-08 | Paper |
| Definable selector for $\bf\Delta^0_2$ sets modulo countable | 2019-09-29 | Paper |
On mathematical realism and applicability of hyperreals
Matematychni Studiï | 2019-08-30 | Paper |
A model of second-order arithmetic satisfying AC but not DC
Journal of Mathematical Logic | 2019-07-08 | Paper |
Models of set theory in which separation theorem fails
(available as arXiv preprint) | 2019-05-24 | Paper |
Cauchy, infinitesimals and ghosts of departed quantifiers
Matematychni Studiï | 2019-05-13 | Paper |
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
Fundamenta Mathematicae | 2019-05-13 | Paper |
DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
Journal of Symbolic Logic | 2019-03-15 | Paper |
Borel OD sets of reals are OD-Borel in some simple models
Proceedings of the American Mathematical Society | 2019-01-08 | Paper |
| On intermediate extensions of generic extensions by a random real | 2018-11-26 | Paper |
Is Leibnizian calculus embeddable in first order logic?
Foundations of Science | 2018-10-31 | Paper |
Toward a history of mathematics focused on procedures
Foundations of Science | 2018-10-31 | Paper |
Gregory's sixth operation
Foundations of Science | 2018-10-31 | Paper |
Cauchy's infinitesimals, his sum theorem, and foundational paradigms
Foundations of Science | 2018-10-31 | Paper |
| On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami | 2018-10-30 | Paper |
Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
Foundations of Science | 2018-08-07 | Paper |
Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
Izvestiya: Mathematics | 2018-06-22 | Paper |
Monotone subsequence via ultrapower
Open Mathematics | 2018-06-19 | Paper |
Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
Annals of Pure and Applied Logic | 2018-06-05 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 2018-05-18 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 2018-05-18 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 2018-05-18 | Paper |
A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
Real Analysis Exchange | 2018-05-18 | Paper |
A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory
Real Analysis Exchange | 2018-05-18 | Paper |
MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
Journal of Symbolic Logic | 2018-05-02 | Paper |
A generic property of the Solovay set \(\Sigma\)
Siberian Mathematical Journal | 2018-04-20 | Paper |
Countable OD sets of reals belong to the ground model
Archive for Mathematical Logic | 2018-04-17 | Paper |
A countable definable set containing no definable elements
Mathematical Notes | 2018-01-22 | Paper |
Proofs and retributions, or: why Sarah can't take limits
Foundations of Science | 2017-08-17 | Paper |
Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts}
Foundations of Science | 2017-08-17 | Paper |
A non-standard analysis of a cultural icon: the case of Paul Halmos
Logica Universalis | 2017-05-12 | Paper |
The full basis theorem does not imply analytic wellordering
(available as arXiv preprint) | 2017-02-12 | Paper |
Small oscillations of the pendulum, Euler's method, and adequality
Quantum Studies: Mathematics and Foundations | 2016-11-16 | Paper |
| Countable OD sets of reals belong to the ground model | 2016-09-05 | Paper |
On countable cofinality and decomposition of definable thin orderings
Fundamenta Mathematicae | 2016-09-02 | Paper |
| In Cohen generic extension, every countable OD set of reals belongs to the ground model | 2016-07-11 | Paper |
Euler's lute and Edwards's oud
The Mathematical Intelligencer | 2016-06-27 | Paper |
Grossone approach to Hutton and Euler transforms
Applied Mathematics and Computation | 2016-06-22 | Paper |
Fermat, Leibniz, Euler, and the gang: the true history of the concepts of limit and shadow
Notices of the American Mathematical Society | 2016-06-15 | Paper |
| Interpreting the infinitesimal mathematics of Leibniz and Euler | 2016-05-02 | Paper |
Generalization of one construction by Solovay
Siberian Mathematical Journal | 2016-03-18 | Paper |
OD elements of countable OD sets in the Solovay model
(available as arXiv preprint) | 2016-03-14 | Paper |
Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
Annals of Pure and Applied Logic | 2016-01-12 | Paper |
On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model
Mathematical Notes | 2015-10-26 | Paper |
Is mathematical history written by the victors?
(available as arXiv preprint) | 2015-10-14 | Paper |
A definable \(E_0\) class containing no definable elements
Archive for Mathematical Logic | 2015-09-01 | Paper |
A cofinal family of equivalence relations and Borel ideals generating them
Proceedings of the Steklov Institute of Mathematics | 2015-05-11 | Paper |
| scientific article; zbMATH DE number 6423838 (Why is no real title available?) | 2015-04-09 | Paper |
| On countable cofinality and decomposition of definable thin orderings | 2014-11-30 | Paper |
| Linearization of partial quasi-orderings in the Solovay model revisited | 2014-08-06 | Paper |
| Bounding and decomposing thin analytic partial orderings | 2014-07-03 | Paper |
| A generalization of Solovay's $\Sigma$-construction with application to intermediate models | 2014-03-23 | Paper |
Effective compactness and sigma-compactness
Mathematical Notes | 2014-02-20 | Paper |
| A generalization of Solovay's $\Sigma$-construction | 2014-02-05 | Paper |
Canonical Ramsey theory on Polish spaces
Cambridge Tracts in Mathematics | 2013-09-19 | Paper |
On effective \(\sigma \)-boundedness and \(\sigma \)-compactness
Mathematical Logic Quarterly | 2013-06-19 | Paper |
An infinity which depends on the axiom of choice
Applied Mathematics and Computation | 2012-08-19 | Paper |
An effective minimal encoding of uncountable sets
Siberian Mathematical Journal | 2012-03-07 | Paper |
| On effective compactness and sigma-compactness | 2011-03-05 | Paper |
| On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals | 2010-08-20 | Paper |
On coding uncountable sets by reals
Mathematical Logic Quarterly | 2010-08-18 | Paper |
| Linear ROD subsets of Borel partial orders are countably cofinal in Solovay's model | 2010-05-30 | Paper |
A weak dichotomy below \(\mathrm{E}_1\times\mathrm{E}_3\)
Topology and its Applications | 2010-05-19 | Paper |
Borel reducibility as an additive property of domains
Journal of Mathematical Sciences (New York) | 2010-01-15 | Paper |
On Hausdorff ordered structures
Izvestiya: Mathematics | 2009-11-24 | Paper |
Some natural equivalence relations in the Solovay model
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | 2009-10-26 | Paper |
Problems of set-theoretic non-standard analysis
Russian Mathematical Surveys | 2009-04-21 | Paper |
Reasonable non-Radon-Nikodým ideals
Topology and its Applications | 2009-04-03 | Paper |
| Borel equivalence relations. Structure and classification | 2008-10-10 | Paper |
| scientific article; zbMATH DE number 5281873 (Why is no real title available?) | 2008-06-02 | Paper |
On the reducibility of monadic equivalence relations
Mathematical Notes | 2008-03-04 | Paper |
scientific article; zbMATH DE number 5148405 (Why is no real title available?)
(available as arXiv preprint) | 2007-05-02 | Paper |
| Equivalence of two forms of the continuum hypothesis | 2006-12-05 | Paper |
| scientific article; zbMATH DE number 5071262 (Why is no real title available?) | 2006-11-08 | Paper |
| Varia: Ideals and Equivalence Relations, beta-version | 2006-10-31 | Paper |
| Varia. Ideals and Equivalence Relations | 2006-03-21 | Paper |
Perfect subsets of invariant CA-sets
Mathematical Notes | 2005-09-05 | Paper |
A definable nonstandard model of the reals
Journal of Symbolic Logic | 2005-08-29 | Paper |
Some new results on Borel irreducibility of equivalence relations
Izvestiya: Mathematics | 2005-05-17 | Paper |
| scientific article; zbMATH DE number 2152686 (Why is no real title available?) | 2005-04-05 | Paper |
On some classical problems of descriptive set theory
Russian Mathematical Surveys | 2004-11-29 | Paper |
| scientific article; zbMATH DE number 2106998 (Why is no real title available?) | 2004-10-08 | Paper |
Borel and countably determined reducibility in nonstandard domain
Monatshefte für Mathematik | 2004-07-07 | Paper |
A version of the Jensen-Johnsbråten coding at arbitrary level \(n\geq 3\)
Archive for Mathematical Logic | 2003-09-16 | Paper |
Do stronger definitions of randomness exist?
Theoretical Computer Science | 2003-08-17 | Paper |
Nonstandard set theory in \(\in\)-language
Mathematical Notes | 2003-06-15 | Paper |
A theorem on ROD‐hypersmooth equivalence relations in the Solovay model
Mathematical Logic Quarterly | 2003-05-22 | Paper |
New Radon–Nikodym ideals
Mathematika | 2002-12-15 | Paper |
A nonstandard set theory in the \(\in\)-language
Archive for Mathematical Logic | 2002-12-10 | Paper |
| On Ulam's problem of stability of non-exact homomorphisms | 2002-10-15 | Paper |
| On Ulam stability of the real line | 2002-10-02 | Paper |
| On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals | 2001-11-09 | Paper |
Elementary extensions of external classes in a nonstandard universe
Studia Logica | 2001-03-07 | Paper |
On Borel orderable groups
Topology and its Applications | 2001-02-20 | Paper |
Linearization of definable order relations
Annals of Pure and Applied Logic | 2000-08-15 | Paper |
Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST
Mathematical Notes | 2000-08-02 | Paper |
A nonstandard proof of the Jordan curve theorem
Real Analysis Exchange | 2000-05-21 | Paper |
Extending standard models of ZFC to models of nonstandard set theories
Studia Logica | 2000-03-21 | Paper |
Special Model Axiom in Nonstandard Set Theory
Mathematical Logic Quarterly | 2000-02-21 | Paper |
Ulm Classification of Analytic Equivalence Relations in Generic Universes
Mathematical Logic Quarterly | 1999-09-21 | Paper |
On non-wellfounded iterations of the perfect set forcing
Journal of Symbolic Logic | 1999-09-12 | Paper |
Pyramidal structure of constructibility degrees
Mathematical Notes | 1999-08-23 | Paper |
| scientific article; zbMATH DE number 1222924 (Why is no real title available?) | 1999-07-07 | Paper |
When a partial Borel order is linearizable
Fundamenta Mathematicae | 1999-03-25 | Paper |
When a partial Borel order is linearizable
Fundamenta Mathematicae | 1999-03-25 | Paper |
| scientific article; zbMATH DE number 1143642 (Why is no real title available?) | 1998-09-07 | Paper |
An Ulm-type classification theorem for equivalence relations in Solovay model
Journal of Symbolic Logic | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1014805 (Why is no real title available?) | 1998-05-17 | Paper |
| scientific article; zbMATH DE number 1083160 (Why is no real title available?) | 1998-03-01 | Paper |
| scientific article; zbMATH DE number 1083227 (Why is no real title available?) | 1998-03-01 | Paper |
Summation of divergent series from the nonstandard point of view
Real Analysis Exchange | 1997-12-10 | Paper |
On a Spector Ultrapower for the Solovay Model
Mathematical Logic Quarterly | 1997-12-08 | Paper |
Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe
Annals of Pure and Applied Logic | 1997-11-06 | Paper |
Topologies generated by effectively Suslin sets, and their applications in descriptive set theory
Russian Mathematical Surveys | 1997-07-06 | Paper |
On external Scott algebras in nonstandard models of Peano arithmetic
Journal of Symbolic Logic | 1997-04-07 | Paper |
Internal approach to external sets and universes. III. Partially saturated universes
Studia Logica | 1996-10-01 | Paper |
Internal approach to external sets and universes. I: Bounded set theory
Studia Logica | 1996-05-13 | Paper |
Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
Studia Logica | 1996-05-08 | Paper |
Loeb Measure from the Point of View of a Coin Flipping Game
Mathematical Logic Quarterly | 1996-05-02 | Paper |
Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
Journal of Symbolic Logic | 1995-07-03 | Paper |
On the extension principle in internal set theory
Siberian Mathematical Journal | 1993-06-29 | Paper |
Undecidable hypotheses in Edward Nelson's internal set theory
Russian Mathematical Surveys | 1992-09-27 | Paper |
Cardinality of the set of Vitali equivalence classes
Mathematical Notes | 1992-06-25 | Paper |
| On the extension principle in the theory of internal sets | 1992-01-01 | Paper |
| scientific article; zbMATH DE number 4204331 (Why is no real title available?) | 1991-01-01 | Paper |
On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences
Proceedings of the Steklov Institute of Mathematics | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4079421 (Why is no real title available?) | 1988-01-01 | Paper |
The axiom of determinacy and the modern development of descriptive set theory
Journal of Soviet Mathematics | 1988-01-01 | Paper |
M. Ya. Souslin's contribution to set-theoretic mathematics
Moscow University Mathematics Bulletin | 1988-01-01 | Paper |
Kolmogorov's ideas in the theory of operations on sets
Russian Mathematical Surveys | 1988-01-01 | Paper |
The correctness of Euler's method for the factorization of the sine function into an infinite product
Russian Mathematical Surveys | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4122556 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4079355 (Why is no real title available?) | 1988-01-01 | Paper |
N. N. Luzin's problems on the existence of CA-sets without perfect subsets
Mathematical Notes | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3924731 (Why is no real title available?) | 1985-01-01 | Paper |
The development of the descriptive theory of sets under the influence of the work of Luzin
Russian Mathematical Surveys | 1985-01-01 | Paper |
Problem of the existence of nonborel \(AF_{\|}\)-sets
Mathematical Notes | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4014700 (Why is no real title available?) | 1985-01-01 | Paper |
UNDECIDABLE AND DECIDABLE PROPERTIES OF CONSTITUENTS
Mathematics of the USSR-Sbornik | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3966063 (Why is no real title available?) | 1984-01-01 | Paper |
Structure of constituents of \(\Pi^ 1_ 1\)-sets
Siberian Mathematical Journal | 1983-01-01 | Paper |
Generalization of P. S. Novikov's theorem on cross sections of Borel sets
Mathematical Notes | 1983-01-01 | Paper |
An answer to Luzin's question about the separability of CA-curves
Mathematical Notes | 1983-01-01 | Paper |
N. N. Luzin's problems on imbeddability and decomposability of projective sets
Mathematical Notes | 1983-01-01 | Paper |
Luzin's problem on constituents and their fate
Moscow University Mathematics Bulletin | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819703 (Why is no real title available?) | 1983-01-01 | Paper |
Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent
Mathematical Notes | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3735796 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3786771 (Why is no real title available?) | 1981-01-01 | Paper |
A consequence of the Martin axiom
Mathematical Notes | 1980-01-01 | Paper |
THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY
Mathematics of the USSR-Izvestiya | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3781154 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685477 (Why is no real title available?) | 1979-01-01 | Paper |
On the definability of forcing in analysis
Moscow University Mathematics Bulletin | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3648699 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3652329 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3664939 (Why is no real title available?) | 1979-01-01 | Paper |
Proof of a theorem of Lusin
Mathematical Notes | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3636016 (Why is no real title available?) | 1978-01-01 | Paper |
ON THE NONEMPTINESS OF CLASSES IN AXIOMATIC SET THEORY
Mathematics of the USSR-Izvestiya | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3643265 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3641433 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3645079 (Why is no real title available?) | 1976-01-01 | Paper |
On initial segments of degrees of constructibility
Mathematical Notes | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3564975 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3512093 (Why is no real title available?) | 1974-01-01 | Paper |
Singular cardinals
Mathematical Notes | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3411034 (Why is no real title available?) | 1973-01-01 | Paper |
What internal set theory knows about standard sets
(available as arXiv preprint) | N/A | Paper |
IST is more than an algorithm to prove ZFC theorems
(available as arXiv preprint) | N/A | Paper |
On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property
(available as arXiv preprint) | N/A | Paper |
On a dichotomy related to colourings of definable graphs in generic models
(available as arXiv preprint) | N/A | Paper |
