Effective topological spaces. III: Forcing and definability. (English) Zbl 0637.03042
This paper is the last one of a series of works [I. Kalantari and G. Weitkamp, ibid. 29, 1-27 (1985; Zbl 0569.03018) and ibid. 29, 207-224 (1985; Zbl 0588.03028)] which study a point-free oriented theory of effective topological spaces. In this paper the interrelations between definability (as presented in Part I) and some notions of forcing are discussed, showing the adequacy of this approach.
Reviewer: M.Zimand
MSC:
| 03D45 | Theory of numerations, effectively presented structures |
References:
| [1] | Chang, C. C.; Keisler, H. J., Model Theory (1973), North-Holland: North-Holland Amsterdam · Zbl 0276.02032 |
| [2] | Torado Di Francia, G., The Investigation of the Physical World (1976), Cambridge Univ. Press: Cambridge Univ. Press Cambridge |
| [3] | I. Kalantari, Major subsets in effective topology, Proc. European Summer Meeting of the Association for Symbolic logic, Patras, Greece.; I. Kalantari, Major subsets in effective topology, Proc. European Summer Meeting of the Association for Symbolic logic, Patras, Greece. · Zbl 0521.03029 |
| [4] | Kalantari, I.; Leggett, A., Simplicity in effective topology, J. Symbolic Logic, 47, 1, 169-183 (1982) · Zbl 0516.03023 |
| [5] | Kalantari, I.; Leggett, A., Maximality in effective topology, J. Symbolic Logic, 48, 1, 100-112 (1983) · Zbl 0532.03020 |
| [6] | Kalantari, I.; Remmel, J., Degrees of unsolvability in effective topology, J. Symbolic Logic, 48, 3, 610-622 (1983) · Zbl 0532.03021 |
| [7] | Kalantari, I.; Retzlaff, A., Recursive construction in topological spaces, J. Symbolic Logic, 44, 609-625 (1979) · Zbl 0427.03035 |
| [8] | Kalantari, I.; Weitkamp, G., Effective topological spaces I: A definability theory, Ann. Pure Appl. Logic, 29, 1-27 (1985) · Zbl 0569.03018 |
| [9] | Kalantari, I.; Weitkamp, G., Effective topological spaces II: A hierarchy, Ann. Pure Appl. Logic, 29, 207-224 (1985) · Zbl 0588.03028 |
| [10] | Kleene, S. C., Recursive predicates and quantifiers, Trans. Amer. Math. Soc., 53, 41-73 (1943) · Zbl 0063.03259 |
| [11] | Kleene, S. C., Arithmetic predicates and function quantifiers, Trans. Amer. Math. Soc., 79, 312-340 (1955) · Zbl 0066.25703 |
| [12] | Kleene, S. C., Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc., 61, 193-213 (1955) · Zbl 0066.25901 |
| [13] | Kleene, S. C., Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc., 91, 1-52 (1959) · Zbl 0088.01301 |
| [14] | Kleene, S. C., Recursive functionals and quantifiers of finite types II, Trans. Amer. Math. Soc., 108, 106-142 (1963) · Zbl 0121.01302 |
| [15] | Weitkamp, G., Analytic sets having incomparable Kleene degrees, J. Symbolic Logic, 47, 4, 860-868 (1982) · Zbl 0527.03029 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
