Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals

DOI10.1134/S003744661503012XzbMath1347.03070MaRDI QIDQ498238

Yong-Cai Geng, Sumit K. Garg

Publication date: 28 September 2015

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

zbMATH Keywords

Boolean algebra; autostability; prime model; autostability relative to strong constructivizations; \(I\)-algebra; Boolean algebra with distinguished ideals; strong constructivizability

Mathematics Subject Classification ID

03C50: Models with special properties (saturated, rigid, etc.)

06E05: Structure theory of Boolean algebras

03G05: Logical aspects of Boolean algebras

03C57: Computable structure theory, computable model theory