| 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 | 2024-04-04 | Paper |
| What Makes a Theory of Infinitesimals Useful? A View by Klein and Fraenkel | 2023-10-25 | Paper |
| 19th-century real analysis, forward and backward | 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 | 2023-03-07 | Paper |
| On the ‘definability of definable’ problem of Alfred Tarski, Part II | 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 | 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 | 2021-11-15 | Paper |
| Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$ | 2021-11-03 | Paper |
| An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited | 2021-11-03 | Paper |
| The full basis theorem does not imply analytic wellordering | 2021-03-25 | Paper |
| Continuity between Cauchy and Bolzano: issues of antecedents and priority | 2021-02-05 | Paper |
| Factoring Solovay-random extensions, with application to the reduction property | 2021-01-22 | Paper |
| On the equality relation modulo a countable set | 2020-11-06 | Paper |
| Metric completions, the Heine-Borel property, and approachability | 2020-06-15 | Paper |
| Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals | 2020-06-11 | Paper |
| Absoluteness of the Solovay set \(\Sigma \) | 2020-06-09 | Paper |
| Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products | 2020-05-04 | Paper |
| A Groszek‐Laver pair of undistinguishable ‐classes | 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 | 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 | 2019-08-30 | Paper |
| A model of second-order arithmetic satisfying AC but not DC | 2019-07-08 | Paper |
| Models of set theory in which separation theorem fails | 2019-05-24 | Paper |
| Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy | 2019-05-13 | Paper |
| Cauchy, infinitesimals and ghosts of departed quantifiers | 2019-05-13 | Paper |
| DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS | 2019-03-15 | Paper |
| Borel OD sets of reals are OD-Borel in some simple models | 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? | 2018-10-31 | Paper |
| Toward a history of mathematics focused on procedures | 2018-10-31 | Paper |
| Gregory's sixth operation | 2018-10-31 | Paper |
| Cauchy's infinitesimals, his sum theorem, and foundational paradigms | 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 | 2018-08-07 | Paper |
| Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes | 2018-06-22 | Paper |
| Monotone subsequence via ultrapower | 2018-06-19 | Paper |
| Definable \(\mathsf{E}_0\) classes at arbitrary projective levels | 2018-06-05 | Paper |
| Approaches to analysis with infinitesimals following Robinson, Nelson, and others | 2018-05-18 | Paper |
| A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory | 2018-05-18 | Paper |
| MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER | 2018-05-02 | Paper |
| A generic property of the Solovay set \(\Sigma\) | 2018-04-20 | Paper |
| Countable OD sets of reals belong to the ground model | 2018-04-17 | Paper |
| A countable definable set containing no definable elements | 2018-01-22 | Paper |
| Proofs and retributions, or: why Sarah can't take limits | 2017-08-17 | Paper |
| Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts} | 2017-08-17 | Paper |
| A non-standard analysis of a cultural icon: the case of Paul Halmos | 2017-05-12 | Paper |
| The full basis theorem does not imply analytic wellordering | 2017-02-12 | Paper |
| Small oscillations of the pendulum, Euler's method, and adequality | 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 | 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 | 2016-06-27 | Paper |
| Grossone approach to Hutton and Euler transforms | 2016-06-22 | Paper |
| Fermat, Leibniz, Euler, and the Gang: The True History of the Concepts of Limit and Shadow | 2016-06-15 | Paper |
| Interpreting the infinitesimal mathematics of Leibniz and Euler | 2016-05-02 | Paper |
| Generalization of one construction by Solovay | 2016-03-18 | Paper |
| OD elements of countable OD sets in the Solovay model | 2016-03-14 | Paper |
| Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation | 2016-01-12 | Paper |
| On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model | 2015-10-26 | Paper |
| Is mathematical history written by the victors? | 2015-10-14 | Paper |
| A definable \(E_0\) class containing no definable elements | 2015-09-01 | Paper |
| A cofinal family of equivalence relations and Borel ideals generating them | 2015-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982455 | 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 | 2014-02-20 | Paper |
| A generalization of Solovay's $\Sigma$-construction | 2014-02-05 | Paper |
| Canonical Ramsey Theory on Polish Spaces | 2013-09-19 | Paper |
| On effective σ‐boundedness and σ‐compactness | 2013-06-19 | Paper |
| An infinity which depends on the axiom of choice | 2012-08-19 | Paper |
| An effective minimal encoding of uncountable sets | 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 | 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\) | 2010-05-19 | Paper |
| Borel reducibility as an additive property of domains | 2010-01-15 | Paper |
| On Hausdorff ordered structures | 2009-11-24 | Paper |
| Some natural equivalence relations in the Solovay model | 2009-10-26 | Paper |
| Problems of set-theoretic non-standard analysis | 2009-04-21 | Paper |
| Reasonable non-Radon-Nikodým ideals | 2009-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3529420 | 2008-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3499663 | 2008-06-02 | Paper |
| On the reducibility of monadic equivalence relations | 2008-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3434488 | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3412367 | 2006-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409147 | 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 | 2005-09-05 | Paper |
| A definable nonstandard model of the reals | 2005-08-29 | Paper |
| Some new results on Borel irreducibility of equivalence relations | 2005-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664254 | 2005-04-05 | Paper |
| On some classical problems of descriptive set theory | 2004-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4821145 | 2004-10-08 | Paper |
| Borel and countably determined reducibility in nonstandard domain | 2004-07-07 | Paper |
| A version of the Jensen-Johnsbråten coding at arbitrary level \(n\geq 3\) | 2003-09-16 | Paper |
| Do stronger definitions of randomness exist? | 2003-08-17 | Paper |
| Nonstandard set theory in \(\in\)-language | 2003-06-15 | Paper |
| A theorem on ROD‐hypersmooth equivalence relations in the Solovay model | 2003-05-22 | Paper |
| New Radon–Nikodym ideals | 2002-12-15 | Paper |
| A nonstandard set theory in the \(\in\)-language | 2002-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2783055 | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2772751 | 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 | 2001-03-07 | Paper |
| On Borel orderable groups | 2001-02-20 | Paper |
| Linearization of definable order relations | 2000-08-15 | Paper |
| Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST | 2000-08-02 | Paper |
| A nonstandard proof of the Jordan curve theorem | 2000-05-21 | Paper |
| Extending standard models of ZFC to models of nonstandard set theories | 2000-03-21 | Paper |
| Special Model Axiom in Nonstandard Set Theory | 2000-02-21 | Paper |
| Ulm Classification of Analytic Equivalence Relations in Generic Universes | 1999-09-21 | Paper |
| On non-wellfounded iterations of the perfect set forcing | 1999-09-12 | Paper |
| Pyramidal structure of constructibility degrees | 1999-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218525 | 1999-07-07 | Paper |
| When a partial Borel order is linearizable | 1999-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385854 | 1998-09-07 | Paper |
| An Ulm-type classification theorem for equivalence relations in Solovay model | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4338503 | 1998-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365477 | 1998-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365512 | 1998-03-01 | Paper |
| Summation of divergent series from the nonstandard point of view | 1997-12-10 | Paper |
| On a Spector Ultrapower for the Solovay Model | 1997-12-08 | Paper |
| Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe | 1997-11-06 | Paper |
| Topologies generated by effectively Suslin sets, and their applications in descriptive set theory | 1997-07-06 | Paper |
| On external Scott algebras in nonstandard models of Peano arithmetic | 1997-04-07 | Paper |
| Internal approach to external sets and universes. III. Partially saturated universes | 1996-10-01 | Paper |
| Internal approach to external sets and universes. I: Bounded set theory | 1996-05-13 | Paper |
| Internal approach to external sets and universes. II: External universes over the universe of bounded set theory | 1996-05-08 | Paper |
| Loeb Measure from the Point of View of a Coin Flipping Game | 1996-05-02 | Paper |
| Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic | 1995-07-03 | Paper |
| On the extension principle in internal set theory | 1993-06-29 | Paper |
| Undecidable hypotheses in Edward Nelson's internal set theory | 1992-09-27 | Paper |
| Cardinality of the set of Vitali equivalence classes | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3362990 | 1992-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3353011 | 1991-01-01 | Paper |
| On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809748 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809801 | 1988-01-01 | Paper |
| Kolmogorov's ideas in the theory of operations on sets | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735582 | 1988-01-01 | Paper |
| The axiom of determinacy and the modern development of descriptive set theory | 1988-01-01 | Paper |
| M. Ya. Souslin's contribution to set-theoretic mathematics | 1988-01-01 | Paper |
| The correctness of Euler's method for the factorization of the sine function into an infinite product | 1988-01-01 | Paper |
| N. N. Luzin's problems on the existence of CA-sets without perfect subsets | 1987-01-01 | Paper |
| Problem of the existence of nonborel \(AF_{\|}\)-sets | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026994 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699650 | 1985-01-01 | Paper |
| The development of the descriptive theory of sets under the influence of the work of Luzin | 1985-01-01 | Paper |
| UNDECIDABLE AND DECIDABLE PROPERTIES OF CONSTITUENTS | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734396 | 1984-01-01 | Paper |
| Structure of constituents of \(\Pi^ 1_ 1\)-sets | 1983-01-01 | Paper |
| Generalization of P. S. Novikov's theorem on cross sections of Borel sets | 1983-01-01 | Paper |
| An answer to Luzin's question about the separability of CA-curves | 1983-01-01 | Paper |
| N. N. Luzin's problems on imbeddability and decomposability of projective sets | 1983-01-01 | Paper |
| Luzin's problem on constituents and their fate | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666837 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922666 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964560 | 1981-01-01 | Paper |
| Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent | 1981-01-01 | Paper |
| THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960835 | 1980-01-01 | Paper |
| A consequence of the Martin axiom | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852175 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863880 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880834 | 1979-01-01 | Paper |
| On the definability of forcing in analysis | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3206943 | 1979-01-01 | Paper |
| ON THE NONEMPTINESS OF CLASSES IN AXIOMATIC SET THEORY | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196417 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4200055 | 1978-01-01 | Paper |
| Proof of a theorem of Lusin | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048837 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050419 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137168 | 1975-01-01 | Paper |
| On initial segments of degrees of constructibility | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091927 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5676217 | 1973-01-01 | Paper |
| Singular cardinals | 1973-01-01 | Paper |
| What internal set theory knows about standard sets | N/A | Paper |
| IST is more than an algorithm to prove ZFC theorems | N/A | Paper |
| On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property | N/A | Paper |
| On a dichotomy related to colourings of definable graphs in generic models | N/A | Paper |
