Gödel's Functional Interpretation and Its Use in Current Mathematics

Ulrich Kohlenbach

Type: Book-Chapter

Publication Date: 2011-06-06

Citations: 0

DOI: https://doi.org/10.1017/cbo9780511974236.020

View Publication

Locations

Cambridge University Press eBooks - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Gödel's Functional Interpretation and its Use in Current Mathematics*	2008	Ulrich Kohlenbach
+	Gödel’s Proofs	2012
+ PDF Chat	Hilbert's Program Then and Now	2007	Richard Zach
+	Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction.	2017	Vito Michele Abrusci
+	Gödel’s proof	2007	S. M. Srivastava
+	Gödel’s proof	2007	S. M. Srivastava
+	Gödel’s Proof	1997	Dexter Kozen
+	Rigor and Proof in Mathematics: A Historical Perspective	1991	Israel Kleiner
+ PDF Chat	Extensional Gödel Functional Interpretation	1973	Horst Luckhardt
+	The Development of Mathematical Rigor from Intuition to Axiomatic Method	2011	László Kalmár
+	Proof and quantification	2009	Thomas Blossier Thomas Barrier Viviane Durand-Guerrier
+	Gödel's Proof	1958	Ernest Nagel James R. Newman
+	Euclid’s proofs	2018	Maureen Carroll Elyn Rykken
+	Godel's Proof	2010	Ernest Nagel James R. Newman
+	Connecting real and hyperarithmetical analysis	2024	Sam Sanders
+	Revisiting Dummett's Proof-Theoretic Justification Procedures	2017	Hermógenes Oliveira
+	1 Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger Strasse 25, 1090 Wien 2 Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, Hebrew University of Jerusalem, Jerusalem, 91904 3 Department of Mathematics, Rutgers University, New Brunswick, NJ 08854	2011	Jolene S. Kellner Saharon Shelah
+	HILBERT’S τ AND ε IN PROOF THEORETICAL FOUNDATIONS OF MATHEMATICS:AN INTRODUCTION	2017	Vito Michele Abrusci
+	METRICAL MATHEMATICS AND OPERATIONAL CALCULUS	1963	John W. Head
+	Historical Analysis of Definition and Proof Conceptions in the Transition from Secondary to Tertiary Mathematics	2011	Jihyun Lee Younggi Choi

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors