Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension

, &
Annals of the Japan Association for Philosophy of Science 1 (5):269-288 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.1.269

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension. [REVIEW]K. Schutte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension.Toshio Nishimura & Setsuya Seki - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
The translation theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
On the regular extension axiom and its variants.Robert S. Lubarsky & Michael Rathjen - 2003 - Mathematical Logic Quarterly 49 (5):511.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
A Reverse Analysis of the Sylvester-Gallai Theorem.Victor Pambuccian - 2009 - Notre Dame Journal of Formal Logic 50 (3):245-260.
Routledge Revivals: On Constructive Interpretation of Predictive Mathematics.Charles Parsons - 1990 - Routledge.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.
Theorem proving for untyped constructive λ-calculus: implementation and application.A. Ramsay - 2001 - Logic Journal of the IGPL 9 (1):83-100.
Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory.Michael Rathjen - 2005 - Annals of Pure and Applied Logic 136 (1-2):156-174.

Analytics

Added to PP
2019-08-10

Downloads
9 (#1,236,107)

6 months
5 (#632,346)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references