Simplicity in effective topology

DOI10.2307/2273390zbMath0516.03023OpenAlexW2045460746MaRDI QIDQ3663273

Iraj Kalantari, Anne M. Leggett

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273390

zbMATH Keywords

simplicityfinite injury methodextendible partitionfragmentation simplicityfully effective topological space

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Connections of general topology with other structures, applications (54H99)

Related Items (6)

The undecidability of the lattice of r. e. closed subsets of an effective topological space ⋮ 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
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: Simplicity in effective topology