Undecidability of the theory of the lattice L^ 0_sm

DOI10.1007/BF00970074zbMATH Open0726.03031OpenAlexW2029716555MaRDI QIDQ2277449FDOQ2277449

Authors: T. V. Rybina 

Publication date: 1990

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00970074

Recommendations

• The undecidability of the elementary theory of lattices of all equational theories of large signature
• Some undecidability results for lattices in recursion theory
• Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures
• A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
• The undecidability of the lattice of r. e. closed subsets of an effective topological space

zbMATH Keywords

undecidable theory

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Undecidability and degrees of sets of sentences (03D35)

Cited In (5)

• Title not available (Why is that?)
• On universal pairs in the Ershov hierarchy
• Title not available (Why is that?)
• A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups
• The undecidability of the elementary theory of lattices of all equational theories of large signature

This page was built for publication: Undecidability of the theory of the lattice \(L^ 0_{sm}\)

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