Full List of Publications (in reverse chronological order) 

• Asymptotic typicality degrees of  properties over finite structures,   Zeitschrift  für Mathematische Logik und Grundlangen der  Mathematik  (ZML), pp. 55-75, Early view.    pdf
• An observer-based approach to the sorites paradox and the logic derived from that,   Logic Journal of the IGPL  33 (2025), no. 3.    pdf
• Sets with dependent elements: A formalization of Castoriadis’ notion of magma,   Studia Logica  112 (2024), no 4, 735-760.        pdf
• A note on associative choice functions, orderings and typicality,  Logique et Analyse 262 (2023), 147-158.    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.

Κείμενα  στα Eλληνικά          

• Η ακατανόητη αναποτελεσματικότητα των μαθηματικών,  δημοσιεύτηκε στον  συλλογικό τόμο  “Στιγμές και Διάρκειες. 13 κείμενα φιλοσοφίας και ιστορίας των μαθηματικών και της λογικής“, επιμέλεια Δ. Αναπολιτάνος,   εκδόσεις Νεφέλη 2009, σ. 283–304.  Μια παραλλαγή του άρθρου στα Αγγλικά, με τίτλο “How effective indeed is present-day mathematics”,  δημοσιεύθηκε στο περιοδικό Logic and Logical Philosophy, τόμος 15 (2006), 131-153 (δες “Δημοσιεύσεις”). (File NefeliBook.pdf)  pdf
• Θεωρία αναδρομικών συναρτήσεων και υπολογισιμότητας,  σημειώσεις για μεταπτυχιακό μάθημα, 2007.   (File TRF.pdf)      pdf 
• Σκέψεις για τον ορθολογισμό, τη λογική, τα μαθηματικά και την πραγματικότητα.    (File Ortho.pdf)    pdf