On the lattices of effectively open sets

DOI10.1007/978-3-319-40189-8_31MaRDI QIDQ3188269zbMATH OpenOpenAlexFDO

Authors Oleg Kudinov, Victor Selivanov

Publication date 17 August 2016

Published in Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40189-8_31

zbMATH Keywords

effectively open setfirst-order theoryinterpretationlattice

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Undecidability and degrees of sets of sentences (03D35) Theory of numerations, effectively presented structures (03D45)

Recommendations

• First order theories of some lattices of open sets
• The undecidability of the lattice of r. e. closed subsets of an effective topological space
• On effective topological spaces
• scientific article; zbMATH DE number 4015652
• scientific article; zbMATH DE number 4045726

Cites work

• Coding in the partial order of enumerable sets
• Computable functionals of finite types
• Descriptive set theory
• Effectively dense Boolean algebras and their applications
• scientific article; zbMATH DE number 3817684 (Why is no real title available?)
• scientific article; zbMATH DE number 3966058 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• The Uniformity Principle for  -definability
• Towards a descriptive set theory for domain-like structures
• Undecidability of Some Topological Theories

Cited in

(6)

• On computable presentations of some functional lattices
• The undecidability of the lattice of r. e. closed subsets of an effective topological space
• scientific article; zbMATH DE number 4015652 (Why is no real title available?)
• First order theories of some lattices of open sets
• On the main scientific achievements of Victor Selivanov
• Effectiveness of Demailly's strong openness conjecture and related problems

This page was built for publication: On the lattices of effectively open sets

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