Takeuti’s consistency proof for pi^

Abstract

To appear in the Proceedings of Logic Colloquium 2006. (28 pages).

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Takeuti’s consistency proof for pi^11 NCA.William Tait - manuscript
On cut elimination for subsystems of second-order number theory.William Tait - manuscript
Takeuti’s Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Amy Ackerberg-Hastings, Marion W. Alexander, Zoe Ashton, Christopher Baltus, Phil Bériault, Daniel J. Curtin, Eamon Darnell, Craig Fraser, Roger Godard, William W. Hackborn, Duncan J. Melville, Valérie Lynn Therrien, Aaron Thomas-Bolduc & R. S. D. Thomas (eds.), Research in History and Philosophy of Mathematics: The Cshpm 2017 Annual Meeting in Toronto, Ontario. Springer Verlag. pp. 167-180.
Takeuti’s Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. New York: Birkhäuser. pp. 167-180.
Takeuti's Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. New York: Birkhäuser.
Takeuti's Well-ordering Proof.Aaron Thomas-Bolduc & Eamon Darnell - 2022 - Australasian Journal of Logic 19 (1).
Proceedings of the Colloquium: Held in Florence, 23-28 Aug., 1982. 1982.Gabriele Lolli, Giuseppe Longo & Annalisa Marcja - 1984 - North Holland.
Another Proof of Takeuti's Theorems on Skolem's Paradox.Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659.
Karp Carol. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32. [REVIEW]Leslie H. Tharp - 1970 - Journal of Symbolic Logic 35 (2):344-345.
Proof of a Special Case of the Fundamental Conjecture of Takeuti's GLC.Takakazu Shimauti - 1959 - Journal of Symbolic Logic 24 (1):64-64.

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references