Über Unentscheidbare Erweiterungen von SC

DOI10.1002/malq.19780240109zbMath0375.02043MaRDI 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

03B25: Decidability of theories and sets of sentences

03G05: Logical aspects of Boolean algebras

06-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to ordered structures

Related Items

The structure of the models of decidable monadic theories of graphs