Effective topological spaces. III: Forcing and definability (Q1098842): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q290243 |
||
| Property / reviewed by | |||
| Property / reviewed by: Marius Zimand / rank | |||
Revision as of 16:53, 12 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective topological spaces. III: Forcing and definability |
scientific article |
Statements
Effective topological spaces. III: Forcing and definability (English)
0 references
1987
0 references
This paper is the last one of a series of works [\textit{I. Kalantari} and \textit{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.
0 references
satisfaction
0 references
effective topological spaces
0 references
definability
0 references
forcing
0 references
