Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 , pp. 265–285 [Book Review]

Journal of Symbolic Logic 18 (2):180-181 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268960

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
Kreisel G. und Wang Hao. Some applications of formalized consistency proofs. Fundamenta mathematicae, Bd. 42 , S. 101–110. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
Kreisel G. and Wang H.. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 , pp. 334–335. [REVIEW]G. Hasenjaeger - 1965 - Journal of Symbolic Logic 30 (1):99.
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus.G. Kreisel - 1953 - Journal of Symbolic Logic 18 (2):180-181.
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Novak I. L.. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 , pp. 87–110.Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):273-274.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Robinson Abraham. Some problems of definability in the lower predicate calculus. Fundamenta mathematicae, vol. 44 , pp. 309–329. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):171-171.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,269,748)

6 months
1 (#1,719,665)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.

Add more citations

References found in this work

No references found.

Add more references