scientific article; zbMATH DE number 1396733

MaRDI QIDQ4936685zbMATH OpenFDO

Authors S. Yu. Podzorov

Publication date 31 January 2000

zbMATH Keywords

arithmetical hierarchyconstructive Boolean algebrasconstructive modelconstructivizationsdense Boolean algebrasErshov-Tarski idealsrecursive Boolean algebrarecursive 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

• Arithmetic complexity of first-order definable subsets of recursive Boolean algebras
• Arithmetic hierarchy and ideals of enumerated Boolean algebras
• scientific article; zbMATH DE number 1936726
• scientific article; zbMATH DE number 934728
• Automorphisms of constructivizations of Boolean algebras

Cited in

(5)

• Arithmetic complexity of first-order definable subsets of recursive Boolean algebras
• Relative definability of boolean functions via hypergraphs
• scientific article; zbMATH DE number 5267925 (Why is no real title available?)
• Complexity-theoretic algebra. II: Boolean algebras
• Arithmetic hierarchy and ideals of enumerated Boolean algebras

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 Q4936685)