Maximality in effective topology

DOI10.2307/2273326zbMath0532.03020OpenAlexW2002182665MaRDI 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 propertyeffective topological spaceeffective topologyfragments of a setlattice of recursively enumerable open setsmaximal recursively enumerable set

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Theory of numerations, effectively presented structures (03D45)

Related Items (5)

Effective topological spaces. III: Forcing and definability ⋮ Effective inseparability in a topological setting ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Effective topological spaces. I: A definability theory ⋮ Effective topological spaces. II: A hierarchy

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

This page was built for publication: Maximality in effective topology