Undecidability of theories of Boolean algebras with selected ideals

DOI10.1007/BF01988801zbMath0628.03004MaRDI QIDQ1092889

D. E. Pal'chunov

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187353

zbMATH Keywords

decidabilitycountable Boolean algebrarecursive axiomatizabilityselected ideal

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (3)

Unnamed Item ⋮ The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models ⋮ Autostability of Boolean algebras with distinguished ideal

Cites Work

• Decidability of Second-Order Theories and Automata on Infinite Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Undecidability of theories of Boolean algebras with selected ideals