Über Unentscheidbare Erweiterungen von SC

DOI10.1002/malq.19780240109zbMath0375.02043OpenAlexW2088928243MaRDI QIDQ4154859

Detlef Seese

Publication date: 1978

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780240109

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to ordered structures (06-00)

Related Items

The structure of the models of decidable monadic theories of graphs