- Universes over Frege structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.details
|
|
The non-constructive μ operator, fixed point theories with ordinals, and the bar rule.Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):305-324.details
|
|
Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.details
|
|
Is the Continuum Hypothesis a definite mathematical problem?Solomon Feferman - manuscriptdetails
|
|
Comments on “Predicativity as a philosophical position” by G. Hellman.Solomon Feferman - 2004 - Revue Internationale de Philosophie 3:313-323.details
|
|
Truth, Conservativeness, and Provability: Reply to Cieslinski.J. Ketland - 2010 - Mind 119 (474):423-436.details
|
|
Epistemic optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.details
|
|
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.details
|
|
(1 other version)Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 590-624.details
|
|
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.details
|
|
In defence of PKF.Ian Rumfitt - 2023 - Synthese 201 (2):1-21.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.details
|
|
Gödel, Nagel, Minds, and Machines.Solomon Feferman - 2009 - Journal of Philosophy 106 (4):201-219.details
|
|
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2023 - Review of Symbolic Logic 16 (2):425-448.details
|
|
2002 Spring Meeting of the Association for Symbolic Logic.Paolo Mancosu - 2002 - Bulletin of Symbolic Logic 8 (3):446-451.details
|
|
For philosophy of mathematics: 5 questions.Solomon Feferman - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.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
|
|
Axioms for determinateness and truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.details
|
|
(1 other version)The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008.Solomon Feferman - unknowndetails
|
|
In memory of Torkel Franzén.Solomon Feferman - unknowndetails
|
|
Reflection algebras and conservation results for theories of iterated truth.Lev D. Beklemishev & Fedor N. Pakhomov - 2022 - Annals of Pure and Applied Logic 173 (5):103093.details
|
|
A feasible theory of truth over combinatory algebra.Sebastian Eberhard - 2014 - Annals of Pure and Applied Logic 165 (5):1009-1033.details
|
|