scientific article; zbMATH DE number 3823760

zbMATH Open0521.03029MaRDI QIDQ3671145FDOQ3671145

Authors: Iraj Kalantari 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)