On the 1-decidability of Boolean algebras with one distinguished ideal

DOI10.1134/S0037446624050070MaRDI QIDQ6631334FDO

Authors M. N. Gaskova

Publication date 1 November 2024

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

zbMATH Keywords

Boolean algebracomputable modeldecidable modelI-algebra\( n \)-decidable modelbounded theories of Boolean algebrasideal on Boolean algebras

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Model theory (03Cxx) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 2154083 (Why is no real title available?)
• scientific article; zbMATH DE number 2154086 (Why is no real title available?)
• Computable structures and the hyperarithmetical hierarchy
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Hierarchies of Boolean algebras
• Model theory
• Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals
• The minimality of certain decidability conditions for Boolean algebras

This page was built for publication: On the 1-decidability of Boolean algebras with one distinguished ideal

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