Maximality in effective topology

DOI10.2307/2273326zbMATH Open0532.03020OpenAlexW2002182665MaRDI QIDQ3313853FDOQ3313853

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

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

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)

Cites Work

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

Cited In (11)

• Title not available (Why is that?)
• Effective topological spaces. I: A definability theory
• Effective topological spaces. II: A hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)