Effective topological spaces I: A definability theory


Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1985
DOI 10.1016/0168-0072(85)90033-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,283
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Recursive Predicates and Quantifiers.S. C. Kleene - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Simplicity in Effective Topology.Iraj Kalantari & Anne Leggett - 1982 - Journal of Symbolic Logic 47 (1):169-183.
Degrees of Recursively Enumerable Topological Spaces.Iraj Kalantari & J. B. Remmel - 1983 - Journal of Symbolic Logic 48 (3):610-622.
Recursive Constructions in Topological Spaces.Iraj Kalantari & Allen Retzlaff - 1979 - Journal of Symbolic Logic 44 (4):609-625.
Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.

View all 12 references / Add more references

Citations of this work BETA

Effective Topological Spaces III: Forcing and Definability.Iraj Kalantari & Galen Weitkamp - 1987 - Annals of Pure and Applied Logic 36 (1):17-27.
Effective Topological Spaces II: A Hierarchy.Iraj Kalantari & Galen Weitkamp - 1982 - Annals of Pure and Applied Logic 29 (2):207-224.
Effective Inseparability in a Topological Setting.Dieter Spreen - 1996 - Annals of Pure and Applied Logic 80 (3):257-275.

Add more citations

Similar books and articles

Effective Topological Spaces II: A Hierarchy.Iraj Kalantari & Galen Weitkamp - 1982 - Annals of Pure and Applied Logic 29 (2):207-224.
Dynamic Topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
On Topological Spaces Equivalent to Ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
Degrees of Recursively Enumerable Topological Spaces.Iraj Kalantari & J. B. Remmel - 1983 - Journal of Symbolic Logic 48 (3):610-622.
On Effective Topological Spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
Corrigendum: On Effective Topological Spaces.Dieter Spreen - 2000 - Journal of Symbolic Logic 65 (4):1917-1918.
Reduced Coproducts of Compact Hausdorff Spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
A Definability Result for Compact Complex Spaces.Dale Radin - 2004 - Journal of Symbolic Logic 69 (1):241-254.
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.

Analytics

Added to PP index
2013-10-30

Total views
10 ( #782,004 of 2,290,789 )

Recent downloads (6 months)
1 ( #834,658 of 2,290,789 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature