Review: Wladyslaw Hetper, Proof of Consistency of the System of Elementary Semantics Without Induction [Book Review]

Journal of Symbolic Logic 5 (2):76-76 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266189

Links

PhilArchive



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

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: Wladyslaw Hetper, Problem of Completeness of the System of Elementary Semantics. [REVIEW]Helen Brodie - 1940 - Journal of Symbolic Logic 5 (2):75-76.
Review: Wladyslaw Hetper, Rachunek zdan bez Aksjomatow (Le Calcul des Propositions Etabli sans Axiomes). [REVIEW]Helen Brodie - 1940 - Journal of Symbolic Logic 5 (1):37-37.
The consistency of arithmetic.Storrs McCall - manuscript
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
Review: Wladyslaw Hetper, Relations Ancestrales dans le Systeme de la Semantique. [REVIEW]Juljan Perkal - 1939 - Journal of Symbolic Logic 4 (1):34-34.
Review: Wladyslaw Hetper, Le Role des Schemas Independants dans le Systeme de la Semantique Elementaire. [REVIEW]Juljan Perkal - 1939 - Journal of Symbolic Logic 4 (1):33-34.
A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscript
Hilbert's program modi ed.Solomon Feferman - unknown
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Saturation and Σ₂-transfer for ERNA.Chris Impens - 2009 - Journal of Symbolic Logic 74 (3):901-913.
Consistency proof via pointwise induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
The relative consistency of system RRC* and some of its extensions.Max A. Freund - 1994 - Studia Logica 53 (3):351 - 360.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,430,516)

6 months
1 (#1,510,037)

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