- Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
Understanding mathematical texts: a hermeneutical approach.Merlin Carl - 2022 - Synthese 200 (6):1–31.details
|
|
End extending models of set theory via power admissible covers.Zachiri McKenzie & Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (8):103132.details
|
|
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):673-708.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Against the countable transitive model approach to forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications.details
|
|
Maximality Principles in the Hyperuniverse Programme.Sy-David Friedman & Claudio Ternullo - 2020 - Foundations of Science 28 (1):287-305.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
On Feferman’s operational set theory OST.Gerhard Jäger - 2007 - Annals of Pure and Applied Logic 150 (1-3):19-39.details
|
|
The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing. pp. 165-188.details
|
|
Goodman's Extensional Isomorphism and Syntactical Interpretations.Marek Polański - 2009 - Theoria 24 (2):203-211.details
|
|
John Barwise & Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. [REVIEW]Varol Akman - 1997 - Journal of Logic, Language and Information 6 (4):460-464.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.details
|
|
Theories and Ordinals in Proof Theory.Michael Rathjen - 2006 - Synthese 148 (3):719-743.details
|
|
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.details
|
|
Generalizing Kruskal’s theorem to pairs of cohabitating trees.Timothy Carlson - 2016 - Archive for Mathematical Logic 55 (1-2):37-48.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.details
|
|
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.details
|
|
Ordinal analysis of non-monotone http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007208000924-si1. gif"/>-definable inductive definitions. [REVIEW]Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.details
|
|
The Recursively Mahlo Property in Second Order Arithmetic.Michael Rathjen - 1996 - Mathematical Logic Quarterly 42 (1):59-66.details
|
|
Asymmetric Interpretations for Bounded Theories.Andrea Cantini - 1996 - Mathematical Logic Quarterly 42 (1):270-288.details
|
|
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM. [REVIEW]Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (1):35-55.details
|
|
Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.details
|
|
Deductive Reasoning in the Structuralist Approach.Holger Andreas - 2013 - Studia Logica 101 (5):1093-1113.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
Critical Study: Jon Barwise & John Perry, Situations and Attitudes. [REVIEW]Sten Lindström - 1991 - Noûs (5):743-770.details
|
|
Ontology and objectivity.Thomas Hofweber - 1999 - Dissertation, Stanford Universitydetails
|
|
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.details
|
|
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
An algebraic treatment of the Barwise compactness theory.Isidore Fleischer & Philip Scott - 1991 - Studia Logica 50 (2):217 - 223.details
|
|
Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.details
|
|
32 Naming God’s Essence: Ineffability, Analogy and Set Theory.Claudio Ternullo - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 697-718.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
A few more dissimilarities between second-order arithmetic and set theory.Kentaro Fujimoto - 2022 - Archive for Mathematical Logic 62 (1):147-206.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott.Hans-Martin Gärtner - 2021 - Journal of Logic, Language and Information 31 (1):129-135.details
|
|
Preservation of choice principles under realizability.Eman Dihoum & Michael Rathjen - 2019 - Logic Journal of the IGPL 27 (5):746-765.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin - 2019 - Philosophia Mathematica 27 (1):33-60.details
|
|
Fragments of Kripke–Platek set theory and the metamathematics of $$\alpha $$ α -recursion theory.Sy-David Friedman, Wei Li & Tin Lok Wong - 2016 - Archive for Mathematical Logic 55 (7-8):899-924.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
Field’s logic of truth.Vann McGee - 2010 - Philosophical Studies 147 (3):421-432.details
|
|
On Weak Theories of Sets and Classes which are Based on Strict ∏11-REFLECTION.Andrea Cantini - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):321-332.details
|
|
Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.details
|
|
Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.details
|
|