List of Publications (in reverse chronological order)

• Asymptotic typicality degrees of properties over finite structures, preprint 32 pages. arXiv pdf
• Sets with dependent elements: A formalization of Castoriadis’ notion of magma, Studia Logica, Online first articles, DOI:10.1007/s11225-023-10073-2. https://link.springer.com/journal/11225/online-first pdf
• Typicality à la Russell in set theory, Notre Dame Journal of Formal Logic 63 (2022), no. 2, 185-196. arXiv pdf
• Some structural similarities between uncountable sets, power sets and the universe, Mathematical Logic Quarterly 68 (2022), no. 2, 136-148. arXiv pdf
• Algebraic semantics for propositional superposition logic, Journal of Applied Non-Classical Logics 30 (2020), no. 4, 335-366. pdf
• Russell’s typicality as another randomness notion, Mathematical Logic Quarterly 66 (2020), no. 3, 355-365. arXiv pdf
• Semantics for first-order superposition logic, Logic Journal of the IGPL, special issue on Non-classical Modal and Predicate Logics, vol. 27 (2019), no. 4, 570-595. arXiv pdf
• Propositional superposition logic, Logic Journal of the IGPL 26 (2018), no. 1, 149-190. arXiv pdf
• Consequences of Vopěnka’s Principle over weak set theories, Fundamenta Mathematicae 235 (2016), no. 2, 127-152. arXiv pdf
• Totally non-immune sets, Mathematical Logic Quarterly 61 (2015), no. 1-2, 103-116. [Section 4.1 of the published version contains some annoying typos which have been corrected here.] pdf
• Large transitive models in local ZFC, Archive for Mathematical Logic 53 (2014), no. 3-4, 233-260. arXiv pdf
• A combinatorial result related to the consistency of New Foundations, Annals of Pure and Applied Logic 162 (2011), no. 5, 373-383.    pdf 
• Localizing the Axioms, Archive for Mathematical Logic 49 (2010),  no. 5, 571-601.   arXiv pdf Erratum to “Localizing the Axioms”,   Archive for Mathematical Logic 50 (2011),  no. 3,   513.  pdf
• Combinatorics related to NF consistency,  in: Marcel Crabbé and Thomas Forster (eds), Proceedings of the 70^th anniversary NF meeting in Cambridge,  Cahiers du Centre de Logique, volume 16, Academia-Bruylant, Louvain-la-Neuve (Belgique) 2009,  pp. 109-136. pdf
• A reduction of the NF consistency problem, Journal of Symbolic Logic 72 (2007), no. 1, 285-304. pdf
• How effective indeed is present-day mathematics?, Logic and Logical Philosophy 15  (2006), no. 2, 131-153.   pdf
• Cardinality  without enumeration, Studia Logica 80 (2005),  no. 1, 121-141.   pdf
• Forcing and antifoundation, Archive for Mathematical Logic 44 (2005), no. 5, 645-661. pdf Erratum to “Forcing and antifoundation”, Archive for Mathematical Logic 44 (2005), no. 5, 663.    pdf
• Uncountable cardinals have the same  monadic "_1^1 positive theory over large sets, Fundamenta Mathematicae 181 (2004),  no. 2, 125-142.   pdf
• What is so special with the power set operation?, Archive for Mathematical Logic  43 (2004),  no. 6, 723-737.   pdf
• The logic of multisets continued: The case of disjunction, Studia Logica 75 (2003), no. 3,   287-304. pdf
• Positive set-operators of low complexity, Mathematical Logic Quarterly 49 (2003), no. 3,  284-292.  pdf
• An axiomatization of "very" in systems of set theory, Studia Logica 73 (2003),  no. 3, 413-430.   pdf
• (with Takashi Nitta and Tomoko Okada) Classification of non-well-founded sets and an application, Mathematical Logic Quarterly 49 (2003),  no. 2, 187-200.   pdf
• Periodicity of negation, Notre Dame Journal of Formal Logic 42 (2001),  no. 2, 87-99. pdf
• Nearness relations in discretely ordered rings, Communications in Algebra 29 (2001), no. 4,  1395-1407.  pdf
• Discrete orderings and commutative monoids, Communications in Algebra 29 (2001), no. 4,  1407-1425. pdf
• Objects and their lambda calculus, Theoretical Computer Science 258 (2001),  no. 1-2, 209-232. pdf
• Freiling's axioms of symmetry in a general setting and some applications, Archive for  Mathematical Logic 40 (2001),  no. 2, 131-145. pdf
• Notions of symmetry in set theory with classes, Annals of Pure and Applied  Logic, 106 (2000),  no. 1-3, 275-296.   pdf
• The linear logic of multisets, Logic Journal of the IGPL 6 (1998),  no. 6, 901-916. pdf
• Modeling vagueness by nonstandardness, International  Journal of Fuzzy Sets and Systems 94 (1998),  no. 3, 385-396.  pdf
• Logic of knowledge and utterance and the liar, Journal of Philosophical Logic  27 (1998), no. 1, 85-108.
• The order structure of continua, Synthese 113 (1997/1998),  no. 3, 381-421. pdf
• Aspects of analytic deduction, Journal of  Philosophical Logic 25 (1996),  no. 6, 581-596.
• Worlds of homogeneous artifacts,  Notre Dame Journal of  Formal Logic 36 (1995), no. 3,  454-474.
• Omega and beta models of the Alternative Set Theory, Mathematical  Logic Quarterly 40 (1994),  no. 4, 547-569.
• Significant parts and identity of artifacts, Notre Dame Journal of  Formal Logic 34 (1993),  no. 3, 445-452.
• Non-circular, non-well-founded set universes, Mathematical  Logic Quarterly 39 (1993),  no. 4, 454-460. pdf
• On expandability of models of Peano Arithmetic to models of AST, Journal of  Symbolic Logic  57 (1992),  no. 2, 452-460.
• A note on real subsets of a recursively saturated model, Zeitschrift  fur Mathematische Logik und Grundlangen der Mathematik 37 (1991),  no. 3, 207-216. pdf
• Simple motions, Commentationes Mathematicae Universitatis Carolinae 30 (1989), no. 1,  163-173. pdf
• Definability degrees for classes in AST, Commentationes Mathematicae Universitatis Carolinae 29 (1988),  no. 1, 41-48.
• A notion of measure for classes in AST, Commentationes Mathematicae Universitatis Carolinae 28 (1987),  no. 3, 449-455.
• (with C. Čuda) Endomorphic cuts and tails, Commentationes Mathematicae Universitatis Carolinae 28 (1987),  no. 2, 241-249.
• Some remarks on revealness,  Commentationes Mathematicae Universitatis Carolinae 28 (1987),  no. 1, 63-69.
• Ultrafilters and endomorphic universes, Commentationes Mathematicae Universitatis Carolinae 27 (1986),  no. 1, 35-51.
• Countable inductive definitions, Commentationes Mathematicae Universitatis Carolinae 27 (1986),  no. 1, 17-33.
• The Rudin-Keisler relation on objects other than ultrafilters, Revue Roumaine de Mathematique Pure et Applique 31 (1986), no. 1, 73-76. pdf
• Minimal ultrafilters and maximal endomorphic universes, Commentationes Mathematicae Universitatis Carolinae 26 (1985),  no. 4,  719-726.
• A nonstandard characterization of the norm of free ultrafilters, Bulletin of the  Greek Mathematical  Society 21 (1980), 81-86.