| 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 |
| 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 |
| 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 |
| The full basis theorem does not imply analytic wellordering | 2021-03-25 | 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 |
| 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 Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs | 2020-04-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 |
| 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 |
| A linear algorithm for restructuring a graph | 2019-03-28 | Paper |
| Linear algorithm for a cyclic graph transformation | 2019-03-15 | 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 |
| 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 |
| Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes | 2018-06-22 | Paper |
| Definable \(\mathsf{E}_0\) classes at arbitrary projective levels | 2018-06-05 | Paper |
| Linear algorithm for minimal rearrangement of structures | 2018-05-24 | 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 |
| The minimum-cost transformation of graphs | 2018-01-22 | Paper |
| The full basis theorem does not imply analytic wellordering | 2017-02-12 | 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 |
| Grossone approach to Hutton and Euler transforms | 2016-06-22 | 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 |
| 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 |
| 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 |
| Effective compactness and sigma-compactness | 2014-02-20 | Paper |
| Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube | 2013-11-01 | Paper |
| On effective σ‐boundedness and σ‐compactness | 2013-06-19 | Paper |
| An infinity which depends on the axiom of choice | 2012-08-19 | Paper |
| The tree nearest on average to a given set of trees | 2012-03-13 | Paper |
| An effective minimal encoding of uncountable sets | 2012-03-07 | Paper |
| Borel reducibility as an additive property of domains | 2010-01-15 | Paper |
| On symmetric matrices with indeterminate leading diagonals | 2010-01-12 | Paper |
| Gibbs field approach for evolutionary analysis of regulatory signal of gene expression | 2009-10-20 | Paper |
| Problems of set-theoretic non-standard analysis | 2009-04-21 | Paper |
| Reasonable non-Radon-Nikodým ideals | 2009-04-03 | Paper |
| Nonstandard representations of locally compact groups | 2008-09-03 | Paper |
| On the reducibility of monadic equivalence relations | 2008-03-04 | Paper |
| Attenuation Regulation as a Term Rewriting System | 2007-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409147 | 2006-11-08 | Paper |
| Perfect subsets of invariant CA-sets | 2005-09-05 | Paper |
| Stochastic dynamic games with various types of information | 2005-08-17 | Paper |
| On some classical problems of descriptive set theory | 2004-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4467731 | 2004-06-10 | Paper |
| Letter to the editor: Computer logic in information processes | 2003-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789050 | 2003-06-17 | Paper |
| Transference theorems and intuitionistic set theory | 2001-02-13 | Paper |
| On some applications of the semantic evaluation method. | 1998-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4369484 | 1998-01-05 | Paper |
| On one approach to modeling intelligent systems | 1995-08-22 | Paper |
| Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026929 | 1993-02-21 | Paper |
| Intuitionistic theory of algebraic systems and the Heyting-valued analysis | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3973196 | 1992-06-26 | Paper |
| Model-completeness of a theory and evaluation of formulas | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750851 | 1990-01-01 | Paper |
| Valuations and sheaves. On some questions of non-standard analysis | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207897 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724634 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3337467 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944606 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190627 | 1976-01-01 | Paper |
| The independence of certain propositions in descriptive set theory of Zermelo-Frankel set theory | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622193 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656770 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672629 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611767 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569104 | 1968-01-01 | Paper |
