Definability of sentences in the language of Boolean algebras with distinguished ideals

zbMATH Open1249.03078MaRDI QIDQ2885262FDOQ2885262

Authors: D. E. Pal'chunov 

Publication date: 21 May 2012

Published in: Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

Recommendations

• Effectively inseparable Boolean algebras in lattices of sentences
• Finitely axiomatizable Boolean algebras with distinguished ideals
• scientific article; zbMATH DE number 4055586
• scientific article; zbMATH DE number 4037810
• scientific article; zbMATH DE number 2154083
• Undecidability of theories of Boolean algebras with selected ideals
• On the Boolean algebras of definable sets in weakly o‐minimal theories
• scientific article; zbMATH DE number 966890
• scientific article; zbMATH DE number 125241

zbMATH Keywords

semantic webontology learningontology engineering

Mathematics Subject Classification ID

Knowledge representation (68T30) Models of other mathematical theories (03C65) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Applications of model theory (03C98)

Cited In (1)

• Effectively inseparable Boolean algebras in lattices of sentences

This page was built for publication: Definability of sentences in the language of Boolean algebras with distinguished ideals

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