| Publication | Date of Publication | Type |
|---|
| Sets with dependent elements: a formalization of Castoriadis' notion of magma | 2024-09-03 | Paper |
| Some structural similarities between uncountable sets, powersets and the universe | 2023-09-12 | Paper |
| Russell's typicality as another randomness notion | 2023-09-11 | Paper |
| Consequences of Vop\v{e}nka's Principle over weak set theories | 2023-03-27 | Paper |
| Localizing the axioms | 2023-03-27 | Paper |
| Large transitive models in local {\rm ZFC} | 2023-03-27 | Paper |
| Typicality \`{a} la Russell in set theory | 2023-03-21 | Paper |
| Asymptotic typicality degrees of properties over finite structures | 2023-03-19 | Paper |
| Sets with dependent elements: A formalization of Castoriadis' notion of magma | 2023-03-16 | Paper |
| Typicality à la Russell in set theory | 2022-07-13 | Paper |
| Semantics for first-order superposition logic | 2021-12-03 | Paper |
| Algebraic semantics for propositional superposition logic | 2021-06-11 | Paper |
| Propositional superposition logic | 2019-06-24 | Paper |
| Consequences of Vopěnka’s Principle over weak set theories | 2016-09-02 | Paper |
| Totally non‐immune sets | 2015-03-19 | Paper |
| Large transitive models in local ZFC | 2014-05-12 | Paper |
| A combinatorial result related to the consistency of New Foundations | 2011-09-12 | Paper |
| Erratum to: ``Localizing the axioms | 2011-05-11 | Paper |
| Combinatorics related to NF consistency | 2010-09-02 | Paper |
| Localizing the axioms | 2010-07-06 | Paper |
| How effective indeed is present-day mathematics? | 2008-01-28 | Paper |
| A Reduction of the NF consistency Problem | 2007-03-12 | Paper |
| Cardinality without enumeration | 2006-01-30 | Paper |
| Forcing and antifoundation | 2005-08-17 | Paper |
| What is so special with the powerset operation? | 2004-10-01 | Paper |
| Uncountable cardinals have the same monadic ∀11positive theory over large sets | 2004-08-19 | Paper |
| The logic of multisets continued: The case of disjunction | 2004-01-14 | Paper |
| Periodicity of negation | 2003-10-13 | Paper |
| An axiomatization of `very' within systems of set theory | 2003-06-09 | Paper |
| Positive set‐operators of low complexity | 2003-05-22 | Paper |
| Classification of non‐well‐founded sets and an application | 2003-04-10 | Paper |
| DISCRETE ORDERINGS AND COMMUTATIVE MONOIDS | 2002-09-05 | Paper |
| NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS | 2002-07-25 | Paper |
| Freiling's axioms of symmetry in a general setting and some applications | 2002-02-27 | Paper |
| Notions of symmetry in set theory with classes | 2002-01-31 | Paper |
| Objects and their lambda calculus | 2001-08-20 | Paper |
| The linear logic of multisets | 2000-05-15 | Paper |
| Modeling vagueness by nonstandardness | 2000-02-08 | Paper |
| The order structure of continua | 1999-10-10 | Paper |
| Logic of knowledge and utterance and the liar | 1998-05-26 | Paper |
| Aspects of analytic deduction | 1997-02-20 | Paper |
| Worlds of homogeneous artifacts | 1996-03-31 | Paper |
| Omega‐ and Beta‐Models of Alternative Set Theory | 1994-12-08 | Paper |
| Non‐circular, non‐well‐founded set universes | 1994-08-31 | Paper |
| Significant parts and identity of artifacts | 1994-03-22 | Paper |
| On expandability of models of Peano arithmetic to models of the alternative set theory | 1993-04-01 | Paper |
| A Note on Real Subsets of A Recursively Saturated Model | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824406 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789554 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789555 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765767 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772210 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726245 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3027016 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722068 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722069 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714074 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340860 | 1980-01-01 | Paper |
| Semantics for first-order superposition logic | N/A | Paper |
