First Order Theories of Some Lattices of Open Sets

DOI10.23638/LMCS-13(3:16)2017zbMath1459.03062arXiv1705.04564MaRDI QIDQ5367055

Oleg V. Kudinov, Victor L. Selivanov

Publication date: 12 October 2017

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

zbMATH Keywords

latticedecidabilitytopological spaceinterpretation\(m\)-reducibilityfirst order theoryopen seteffectively open set

Mathematics Subject Classification ID

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

Related Items (4)

Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ 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