Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy

Journal of Symbolic Logic 35 (2):334-334 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270550

Links

PhilArchive



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

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, Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):334-334.
Kreisel G.. Analysis of Cantor-Bendixson theorem by means of the analytic hierarchy. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 621–626. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):334-334.
Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
On Cantor-bendixson spectra containing (1,1). II.Annalisa Marcja & Carlo Toffalori - 1985 - Journal of Symbolic Logic 50 (3):611-618.
Ordered Groups, Computability and Cantor-Bendixson Rank.Waseet Kazmi - 2023 - Bulletin of Symbolic Logic 29 (4):664-664.
Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
Cantor-bendixson rank of the Ziegler spectrum over a commutative valuation domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.Rod Downey & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (1):45-52.
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.
Kreisel G.. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133.Kreisel G.. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302.Kreisel Georg. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.

Analytics

Added to PP
2015-02-05

Downloads
11 (#1,148,327)

6 months
2 (#1,446,987)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.

Add more citations

References found in this work

No references found.

Add more references