Journal of Symbolic Logic

Recursive Constructions in Topological Spaces

Iraj Kalantari and Allen Retzlaff

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

We study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological space $X$. Various constructions produce complemented recursively enumerable open sets with additional recursion theoretic properties, as well as noncomplemented open sets. In contrast to techniques in classical topology, we construct a disjoint recursively enumerable collection of basic open sets which cannot be extended to a recursively enumerable disjoint collection of basic open sets whose union is dense in $X$.

Article information

Source
J. Symbolic Logic, Volume 44, Issue 4 (1979), 609-625.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183740469

Mathematical Reviews number (MathSciNet)
MR550389

Zentralblatt MATH identifier
0427.03035

JSTOR
links.jstor.org

Citation

Kalantari, Iraj; Retzlaff, Allen. Recursive Constructions in Topological Spaces. J. Symbolic Logic 44 (1979), no. 4, 609--625. https://projecteuclid.org/euclid.jsl/1183740469


Export citation