A remark on free choice sequences and the topological completeness proofs

Journal of Symbolic Logic 23 (4):369-388 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964012

Other Versions

reprint Kreisel, G. (1967) "A Remark on Free Choice Sequences and the Topological Completeness Proofs". Journal of Symbolic Logic 32(2):283-283

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 104,218

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

G. Kreisel. A remark on free choice sequences and the topological completeness proofs. The journal of symbolic logic, vol. 23 no. 4 , pp. 369–388. [REVIEW]Joan Rand Moschovakis - 1967 - Journal of Symbolic Logic 32 (2):283-283.
Kreisel G.. On the interpretation of non-finitist proofs. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
G. Kreisel. On weak completeness of intuitionistic predicate logic. The journal of symbolic logic, vol. 27 no. 2 , pp. 139–158.Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):119-120.
G. Kreisel. Mathematical significance of consistency proofs. The journal of symbolic logic, vol. 23 no. 2 , pp. 155–182. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 , pp. 317–330. [REVIEW]Joan Rand Moschovakis - 1967 - Journal of Symbolic Logic 32 (2):282-283.
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.
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.. Remark on complete interpretations by models. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 4–9; also Archiv für Philosophie, vol. 5 no. 1 , pp. 84–89. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.

Analytics

Added to PP
2009-01-28

Downloads
49 (#489,394)

6 months
3 (#1,155,168)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
Hermann Weyl's intuitionistic mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.

View all 12 citations / Add more citations

References found in this work

Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1953 - Proceedings of the XIth International Congress of Philosophy 14:39-49.

Add more references