Undecidability of the theory of the lattice \(L^ 0_{sm}\)

DOI10.1007/BF00970074zbMath0726.03031OpenAlexW2029716555MaRDI QIDQ2277449

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

zbMATH Keywords

undecidable theory

Mathematics Subject Classification ID

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

Related Items (1)

On universal pairs in the Ershov hierarchy

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