First order theories of some lattices of open sets

DOI10.23638/LMCS-13(3:16)2017MaRDI QIDQ5367055zbMATH OpenFDO

Authors Oleg Kudinov, Victor Selivanov

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1705.04564

zbMATH Keywords

\(m\)-reducibilitydecidabilityeffectively open setfirst order theoryinterpretationlatticeopen settopological space

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45) Second- and higher-order arithmetic and fragments (03F35)

Abstract: We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first order theory of the lattice of effectively open sets is undecidable. Moreover, for several important spaces (e.g., $mathbb{R}^n$, $ngeq1$, and the domain $Pomega$) this theory is $m$-equivalent to first order arithmetic.

Recommendations

• On the lattices of effectively open sets
• The undecidability of the lattice of r. e. closed subsets of an effective topological space
• Effective topological spaces. I: A definability theory
• On the strength of some topological lattices
• More undecidable lattices of Steinitz exchange systems

Cited in

(12)

• Effective topological spaces. I: A definability theory
• The undecidability of the lattice of r. e. closed subsets of an effective topological space
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• More undecidable lattices of Steinitz exchange systems
• On the lattices of effectively open sets
• On the strength of some topological lattices
• First order properties on nowhere dense structures
• Enumeration reducibility in closure spaces with applications to logic and algebra
• A first-order version of Pfaffian closure
• Separating notions in effective topology
• On the main scientific achievements of Victor Selivanov
• COMPUTABLY COMPACT METRIC SPACES

This page was built for publication: First order theories of some lattices of open sets

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