Formal spaces and their effective presentations

DOI10.1007/BF01469380zbMath0829.03026MaRDI QIDQ1902337

Inger Sigstam

Publication date: 14 December 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

framecovering relationformal spaceseffective structurespre-neighbourhood system

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (13)

A universal Krull-Lindenbaum theorem ⋮ Spectral schemes as ringed lattices ⋮ Exact approximations to Stone-Čech compactification ⋮ The basic Zariski topology ⋮ Representability of locally compact regular spaces by domains and formal spaces ⋮ Some points in formal topology. ⋮ The Zariski spectrum as a formal geometry ⋮ Effectivity and effective continuity of multifunctions ⋮ On the Continuity of Effective Multifunctions ⋮ Maximal and partial points in formal spaces ⋮ Regular universes and formal spaces ⋮ Formal Zariski topology: Positivity and points ⋮ The locally fine coreflection and normal covers in the products of partition-complete spaces

Cites Work

• Representability of locally compact regular spaces by domains and formal spaces
• Effective procedures in field theory
• An extension of the Galois theory of Grothendieck
• Computable Algebra, General Theory and Theory of Computable Fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal spaces and their effective presentations