- (1 other version)Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev - 1997 - Annals of Pure and Applied Logic 85 (3):193-242.details
|
|
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.details
|
|
(1 other version)Truth.Paul Horwich - 1990 - Oxford, GB: Clarendon Press. Edited by Frank Jackson & Michael Smith.details
|
|
(2 other versions)Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.details
|
|
On the Nature of Certain Philosophical Entities.Richard Montague - 1969 - The Monist 53 (2):159-194.details
|
|
Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.details
|
|
Truth.Paul Horwich - 2005 - In Frank Jackson & Michael Smith (eds.), The Oxford Handbook of Contemporary Philosophy. New York: Oxford University Press UK. pp. 261-272.details
|
|
(1 other version)Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
(1 other version)Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.details
|
|
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.details
|
|
Iterated reflection principles and the ω-rule.Ulf R. Schmerl - 1982 - Journal of Symbolic Logic 47 (4):721-733.details
|
|
How we learn mathematical language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.details
|
|
(1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
(2 other versions)In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.details
|
|
(2 other versions)Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
(1 other version)Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.details
|
|
(1 other version)Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.details
|
|
(1 other version)Logic, Semantics, Metamathematics: Papers from 1923 to 1938.I. Grattan-Guinness - 1956 - Journal of Symbolic Logic 54 (1):281-282.details
|
|
Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.details
|
|
Deflationism and the Godel Phenomena.Neil Tennant - 2002 - Mind 111 (443):551-582.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
(2 other versions)Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.details
|
|
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.details
|
|
(1 other version)Reflection Principles in Fragments of Peano Arithmetic.Hiroakira Ono - 1987 - Mathematical Logic Quarterly 33 (4):317-333.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.details
|
|
The optimality of induction as an axiomatization of arithmetic.Daniel Leivant - 1983 - Journal of Symbolic Logic 48 (1):182-184.details
|
|
A model-theoretic approach to ordinal analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & J. H. Woodger (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.details
|
|
(1 other version)Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.details
|
|
(2 other versions)Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details
|
|
K. Gödel Collected Works.Kurt Gödel - 1953 - Oxford University Press: Oxford.details
|
|
New Constructions of Satisfaction Classes.Albert Visser & Ali Enayat - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.details
|
|
(1 other version)Proof Theory and Logical Complexity. [REVIEW]Helmut Pfeifer - 1991 - Annals of Pure and Applied Logic 53 (4):197.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Remarks on finitism.William Tait - manuscriptdetails
|
|
Deflationism and the gödel phenomena: Reply to Tennant.Jeffrey Ketland - 2005 - Mind 114 (453):75-88.details
|
|
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
(1 other version)Metamathematics of First-Order Arithmetic.Petr Hajék & Pavel Pudlák - 1994 - Studia Logica 53 (3):465-466.details
|
|
(1 other version)Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.details
|
|
Deflationism and Tarski’s Paradise.Jeffrey Ketland - 1999 - Mind 108 (429):69-94.details
|
|
The Semantical Paradoxes, the Neutrality of Truth and the Neutrality of the Minimalist Theory of Truth.Leon Horsten - 1995 - In P. Cartois (ed.), The Many Problems of Realism (Studies in the General Philosophy of Science: Volume 3). Tilberg University Press.details
|
|
Deflationism and the gödel phenomena: Reply to Ketland.Neil Tennant - 2005 - Mind 114 (453):89-96.details
|
|