Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals

DOI10.1134/S003744661503012XzbMath1347.03070OpenAlexW2275240019MaRDI QIDQ498238

Yong-Cai Geng, Sumit K. Garg

Publication date: 28 September 2015

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s003744661503012x

zbMATH Keywords

Boolean algebraautostabilityprime modelautostability relative to strong constructivizations\(I\)-algebraBoolean algebra with distinguished idealsstrong constructivizability

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Computable structure theory, computable model theory (03C57)

Related Items (6)

Degrees of autostability for prime Boolean algebras ⋮ The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models ⋮ Boolean algebras autostable relative to \(n\)-decidable presentations ⋮ Model theory of subject domains. II ⋮ The index set of Boolean algebras autostable relative to strong constructivizations ⋮ Model theory of subject domains. I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Countably-categorical Boolean algebras with distinguished ideals
• Finitely axiomatizable Boolean algebras with distinguished ideals
• Autostability of models
• Strong and weak constructivization and computable families
• Decidable models
• Autostability of Boolean algebras with distinguished ideal
• Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals
• Theories of Boolean algebras with distinguished ideals which have no prime model
• CONSTRUCTIVE ALGEBRAS I
• Autostable I-Algebras

This page was built for publication: Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals