Recursive homogeneous Boolean algebras

MaRDI QIDQ2760734zbMATH OpenFDO

Authors S. Yu. Podzorov

Publication date 13 December 2001

Published in Algebra i Logika (Search for Journal in Brave)

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

zbMATH Keywords

Boolean algebraFeiner hierarchyrecursive model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55) Boolean algebras (Boolean rings) (06E99)

Review text

The author tries to describe homogeneous Boolean algebras that have recursive isomorphic copies using Morozov's invariants. The problem appears to be difficult and general solution is still unknown. He has found one necessary and one sufficient condition in terms of the Feiner hierarchy.

Recommendations

• Recursively rigid Boolean algebras
• Recursive and r.e. quotient Boolean algebras
• Recursive Boolean algebras with recursive atoms
• On Boolean Algebras and their Recursive Completions
• Universal recursively enumerable Boolean algebras
• Countable homogeneous Boolean algebras
• Recursive automorphisms of atomic Boolean algebras
• scientific article; zbMATH DE number 3900736
• Homogeneous Boolean algebras with very nonsymmetric subalgebras
• scientific article; zbMATH DE number 2154086

Cited in

(5)

• Recursive Boolean algebras with a hyperhyperimmune set of atoms
• Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra
• Recursive Boolean algebras with recursive atoms
• scientific article; zbMATH DE number 2154086 (Why is no real title available?)
• Every Low 2 Boolean Algebra has a Recursive Copy

This page was built for publication: Recursive homogeneous Boolean algebras

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