Maximality in effective topology
From MaRDI portal
Publication:3313853
DOI10.2307/2273326zbMath0532.03020MaRDI QIDQ3313853
Anne M. Leggett, Iraj Kalantari
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273326
uniformity property; effective topological space; effective topology; fragments of a set; lattice of recursively enumerable open sets; maximal recursively enumerable set
54A05: Topological spaces and generalizations (closure spaces, etc.)
03D45: Theory of numerations, effectively presented structures
Related Items
Effective topological spaces. I: A definability theory, Effective topological spaces. II: A hierarchy, Effective topological spaces. III: Forcing and definability, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Effective inseparability in a topological setting
Cites Work
- The elementary theory of recursively enumerable sets
- Effective content of field theory
- Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets
- Recursively enumerable vector spaces
- Nowhere simple sets and the lattice of recursively enumerable sets
- Recursively enumerable sets of positive integers and their decision problems