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 [Book Review]

Journal of Symbolic Logic 32 (2):283-283 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271715

Links

PhilArchive



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

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

A remark on free choice sequences and the topological completeness proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (4):369-388.
A Remark on Free Choice Sequences and the Topological Completeness Proofs.G. Kreisel - 1967 - Journal of Symbolic Logic 32 (2):283-283.
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.
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.
Review: G. Kreisel, On Weak Completeness of Intuitionistic Predicate Logic. [REVIEW]Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):119-120.
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.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
Remark on Complete Interpretations by Models.D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
Review: G. Kreisel, Remark on Complete Interpretations by Models. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
Review: G. Kreisel, The Axiom of Choice and the Class of Hyperarithmetic Functions. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):333-334.
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.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.

Analytics

Added to PP
2013-11-03

Downloads
31 (#484,163)

6 months
4 (#657,928)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joan Rand Moschovakis
Occidental College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references