Effective topological spaces III: Forcing and definability
Annals of Pure and Applied Logic 36 (1):17-27 (1987)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/0168-0072(87)90009-1 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
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
Point-Free Topological Spaces, Functions and Recursive Points; Filter Foundation for Recursive Analysis. I.Iraj Kalantari & Lawrence Welch - 1998 - Annals of Pure and Applied Logic 93 (1-3):125-151.
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.
Effective Topological Spaces I: A Definability Theory.Iraj Kalantari & Galen Weitkamp - 1982 - Annals of Pure and Applied Logic 29 (1):1-27.
Similar books and articles
Effective Topological Spaces I: A Definability Theory.Iraj Kalantari & Galen Weitkamp - 1982 - Annals of Pure and Applied Logic 29 (1):1-27.
Effective Topological Spaces II: A Hierarchy.Iraj Kalantari & Galen Weitkamp - 1982 - Annals of Pure and Applied Logic 29 (2):207-224.
Tency of Some Partition Theorems for Continuous Colorings, and the Structure of K,-Dense Real Order Types KALANTARI, I. And WEITKAMP, G., Effective Topological Spaces I: A Definability Theory. [REVIEW]U. Abraham, M. Rubin & S. Shelah - 1985 - Annals of Pure and Applied Logic 29:325.
Degrees of Recursively Enumerable Topological Spaces.Iraj Kalantari & J. B. Remmel - 1983 - Journal of Symbolic Logic 48 (3):610-622.
On Topological Spaces Equivalent to Ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
Some Topological Properties of Paraconsistent Models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.
Corrigendum: On Effective Topological Spaces.Dieter Spreen - 2000 - Journal of Symbolic Logic 65 (4):1917-1918.
Uniform Domain Representations of "Lp" -Spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Functorial Duality for Ortholattices and de Morgan Lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Some Modifications of Scott's Theorem on Injective Spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
A Proofless Proof of the Barwise Compactness Theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Analytics
Added to PP index
2014-01-16
Total views
6 ( #1,005,902 of 2,290,693 )
Recent downloads (6 months)
1 ( #835,662 of 2,290,693 )
2014-01-16
Total views
6 ( #1,005,902 of 2,290,693 )
Recent downloads (6 months)
1 ( #835,662 of 2,290,693 )
How can I increase my downloads?
Downloads
