scientific article; zbMATH DE number 2007857

MaRDI QIDQ4436288zbMATH OpenFDO

Authors V. D. Dzgoev

Publication date 24 November 2003

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

zbMATH Keywords

constructive Boolean algebraFrechét idealrecursive model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Structure theory of Boolean algebras (06E05)

Recommendations

• scientific article; zbMATH DE number 4081539
• Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)
• Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
• scientific article; zbMATH DE number 1873428
• Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)

Cited in

(7)

• Strong constructibility of Boolean algebras of elementary characteristic (1,1,0)
• The ^2 fragment of the first-order theory of atomic set constraints is _1⁰-hard
• scientific article; zbMATH DE number 4081539 (Why is no real title available?)
• scientific article; zbMATH DE number 4121980 (Why is no real title available?)
• Atomicity of the Boolean algebra of direct factors of a directed set
• Persistence and atomic generation for varieties of Boolean algebras with operators
• On strict strong constructibility with a compass alone

This page was built for publication:

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