Maximality in effective topology

DOI10.2307/2273326MaRDI QIDQ3313853zbMATH OpenOpenAlexFDO

Authors Iraj Kalantari, Anne M. Leggett

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

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

Recommendations

• scientific article; zbMATH DE number 4045726
• scientific article; zbMATH DE number 17702
• Degrees of recursively enumerable topological spaces
• Publication:3027869
• scientific article; zbMATH DE number 3970739

Cites work

• Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets
• Effective content of field theory
• Nowhere simple sets and the lattice of recursively enumerable sets
• Recursively enumerable sets of positive integers and their decision problems
• Recursively enumerable vector spaces
• The elementary theory of recursively enumerable sets

Cited in

(11)

• scientific article; zbMATH DE number 1827804 (Why is no real title available?)
• Effective topological spaces. I: A definability theory
• Effective topological spaces. II: A hierarchy
• scientific article; zbMATH DE number 4045726 (Why is no real title available?)
• scientific article; zbMATH DE number 4015652 (Why is no real title available?)
• Effective compacts over co-immune sets
• Effective inseparability in a topological setting
• Effective topological spaces. III: Forcing and definability
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• scientific article; zbMATH DE number 3970739 (Why is no real title available?)
• scientific article; zbMATH DE number 4156425 (Why is no real title available?)

This page was built for publication: Maximality in effective topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3313853)