scientific article; zbMATH DE number 3823760

MaRDI QIDQ3671145zbMATH OpenFDO

Authors Iraj Kalantari

Publication date 1982

zbMATH Keywords

major subseteffective topological spaceeffective topologyrecursively enumerable open set

Mathematics Subject Classification ID

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

Cited in

(7)

• The undecidability of the lattice of r. e. closed subsets of an effective topological space
• Effective topological spaces. I: A definability theory
• Effective topological spaces. II: A hierarchy
• 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
• Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II

This page was built for publication:

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