Maximality in effective topology

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

zbMATH Keywords

uniformity property; effective topological space; effective topology; fragments of a set; lattice of recursively enumerable open sets; maximal recursively enumerable set

Mathematics Subject Classification ID

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