 FraenkelCarnap properties.G. Au George Weaver  2005  Mathematical Logic Quarterly 51 (3):285.details


Fraenkel–Carnap Questions for Equivalence Relations.George Weaver & Irena Penev  2011  Australasian Journal of Logic 10:5266.details


A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver  2011  History and Philosophy of Logic 32 (4):375398.details


Second order logic or set theory?Jouko Väänänen  2012  Bulletin of Symbolic Logic 18 (1):91121.details


Tracing Internal Categoricity.Jouko Väänänen  2021  Theoria 87 (4):9861000.details


Concept Formation and Scientific Objectivity: Weyl’s Turn against Husserl.Iulian D. Toader  2013  Hopos: The Journal of the International Society for the History of Philosophy of Science 3 (2):281305.details


Book reviews. [REVIEW]John Symons  2008  Studia Logica 89 (2):285289.details


Completeness and Categoricity, Part II: TwentiethCentury Metalogic to TwentyfirstCentury Semantics.Steve Awodey & Erich H. Reck  2002  History and Philosophy of Logic 23 (2):7794.details


Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck  2013  Bulletin of Symbolic Logic 19 (4):433472.details


Carnap’s Early Semantics.Georg Schiemer  2013  Erkenntnis 78 (3):487522.details


Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck  2017  Synthese 194 (1):3365.details


Carnap on extremal axioms, "completeness of the models," and categoricity.Georg Schiemer  2012  Review of Symbolic Logic 5 (4):613641.details


Axioms in Mathematical Practice.Dirk Schlimm  2013  Philosophia Mathematica 21 (1):3792.details


On the Axiom of Canonicity.Jerzy Pogonowski  forthcoming  Logic and Logical Philosophy:129.details


A Note on Intended and Standard Models.Jerzy Pogonowski  2020  Studia Humana 9 (34):131139.details


Russell's completeness proof.Peter Milne  2008  History and Philosophy of Logic 29 (1):3162.details


American Postulate Theorists and Alfred Tarski.Michael Scanlan  2003  History and Philosophy of Logic 24 (4):307325.details


The development of mathematical logic from Russell to Tarski, 19001935.Paolo Mancosu, Richard Zach & Calixto Badesa  2009  In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.details


Submodels in Carnap’s Early Axiomatics Revisited.Iris Loeb  2014  Erkenntnis 79 (2):405429.details


What is Tarski's common concept of consequence?Ignacio Jané  2006  Bulletin of Symbolic Logic 12 (1):142.details


Maximality Principles in Set Theory.Luca Incurvati  2017  Philosophia Mathematica 25 (2):159193.details


Zermelo: definiteness and the universe of definable sets.HeinzDieter Ebbinghaus  2003  History and Philosophy of Logic 24 (3):197219.details


What are Implicit Definitions?Eduardo N. Giovannini & Georg Schiemer  2019  Erkenntnis 86 (6):16611691.details


Secondorder characterizable cardinals and ordinals.Benjamin R. George  2006  Studia Logica 84 (3):425  449.details


SecondOrder Characterizable Cardinals and Ordinals.Benjamin R. George  2006  Studia Logica 84 (3):425449.details


Pasch entre Klein et Peano.Sébastien Gandon  2005  Dialogue 44 (4):653692.details


On arbitrary sets and ZFC.José Ferreirós  2011  Bulletin of Symbolic Logic 17 (3):361393.details


Projective duality and the rise of modern logic.Günther Eder  2021  Bulletin of Symbolic Logic 27 (4):351384.details


Axiomatizations of arithmetic and the firstorder/secondorder divide.Catarina Dutilh Novaes  2019  Synthese 196 (7):25832597.details


Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh  2016  Philosophia Mathematica 24 (3):283307.details


The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt  2014  Logica Universalis 8 (34):499552.details


Peano’s structuralism and the birth of formal languages.Joan BertranSanMillán  2022  Synthese 200 (4):134.details


Husserl, Model Theory, and Formal Essences.Kyle Banick  2020  Husserl Studies 37 (2):103125.details


Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin  2014  Bulletin of Symbolic Logic 20 (1):3979.details


Axiomatizing Changing Conceptions of the Geometric Continuum II: ArchimedesDescartesHilbertTarski†.John T. Baldwin  2019  Philosophia Mathematica 27 (1):3360.details


Completeness: From Husserl to Carnap.Víctor Aranda  2022  Logica Universalis 16 (1):5783.details


Alfred Tarski: philosophy of language and logic.Douglas Patterson  2012  New York: PalgraveMacmillan.details


Logic and Philosophy of Mathematics in the Early Husserl.Stefania Centrone  2009  Dordrecht, Netherland: Springer.details


Three Dogmas of FirstOrder Logic and some Evidencebased Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand  manuscriptdetails


Hermann Cohen’s History and Philosophy of Science.Lydia Patton  2004  Dissertation, Mcgill Universitydetails


Objects and objectivity : Alternatives to mathematical realism.Ebba Gullberg  2011  Dissertation, Umeå Universitetdetails


Hilbert, completeness and geometry.Giorgio Venturi  2011  Rivista Italiana di Filosofia Analitica Junior 2 (2):80102.details

