Undecidability of Some Topological Theories
From MaRDI portal
Publication:5808415
DOI10.4064/fm-38-1-137-152zbMath0045.00301OpenAlexW298021319MaRDI QIDQ5808415
Publication date: 1951
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213237
Related Items
The undecidability of the lattice of r. e. closed subsets of an effective topological space, On the Lattices of Effectively Open Sets, The word and generator problems for lattices, Median Algebra, Varieties with decidable finite algebras. I: Linearity, Elementary equivalence of topological spaces, The decidability of some classes of Stone algebras, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets, The undecidability of the first-order theory of diagonalizable algebras, A modal logic framework for reasoning about comparative distances and topology, Decidability of second-order theories and automata on infinite trees, On the strength of some topological lattices, Positive primitive formulae of modules over rings of semi-algebraic functions on a curve, Further Generalizations of Results on Structures of Continuous Functions, Finitely Presented Abelian Lattice-Ordered Groups, Free abelian lattice-ordered groups, Lattice-theoretic decision problems in universal algebra, Monadic theory of order and topology, I, Rough implication operator based on strong topological rough algebras, Defining integer-valued functions in rings of continuous definable functions over a topological field, Decision problems for classes of diagonalizable algebras
