Recursive Boolean algebras with recursive atoms

DOI10.2307/2273758MaRDI QIDQ3331215zbMATH OpenOpenAlexFDO

Authors Jeffrey Remmel

Publication date 1981

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273758

zbMATH Keywords

recursive Boolean algebrasFréchet sequence of idealsrecursive atoms

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Boolean algebras (Boolean rings) (06E99)

Recommendations

• Recursive automorphisms of atomic Boolean algebras
• Recursive Boolean algebras with a hyperhyperimmune set of atoms
• scientific article; zbMATH DE number 4193662
• scientific article; zbMATH DE number 4075039
• Recursive homogeneous Boolean algebras
• Recursively rigid Boolean algebras
• Automorphisms of Boolean algebras which are recursive over atoms
• Recursive and r.e. quotient Boolean algebras
• On Boolean Algebras and their Recursive Completions
• Universal recursively enumerable Boolean algebras

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Some aspects of generalized computability
• The recursively enumerable degrees are dense
• Theorie Der Numerierungen III

Cited in

(28)

• Splitting recursively enumerable subalgebras in recursive Boolean algebras
• scientific article; zbMATH DE number 4075039 (Why is no real title available?)
• Every Low Boolean Algebra is Isomorphic to a Recursive One
• Every recursive Boolean algebra is isomorphic to one with incomplete atoms
• scientific article; zbMATH DE number 4193662 (Why is no real title available?)
• scientific article; zbMATH DE number 1936726 (Why is no real title available?)
• Eliminating unbounded search in computable algebra
• Recursive Boolean algebras with a hyperhyperimmune set of atoms
• Computable Heyting algebras with distinguished atoms and coatoms
• Every Low 2 Boolean Algebra has a Recursive Copy
• Punctually presented structures. II: Comparing presentations.
• Punctual dimension of algebraic structures in certain classes
• Decidable Boolean algebras of low level
• On the triple jump of the set of atoms of a Boolean algebra
• Recursive linear orders with recursive successivities
• Recursive isomorphism types of recursive Boolean algebras
• Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra
• Recursive homogeneous Boolean algebras
• Recursive Linear Orders with Incomplete Successivities
• scientific article; zbMATH DE number 4083547 (Why is no real title available?)
• Constructive enumeration of Boolean lattices
• Universal recursively enumerable Boolean algebras
• Automorphisms of constructivizations of Boolean algebras
• Algorithmic properties of branching models
• Recursively rigid Boolean algebras
• Atom-free ideals of constructive Boolean algebras
• Recursively Categorical Linear Orderings
• Algebraic structures computable without delay

This page was built for publication: Recursive Boolean algebras with recursive atoms

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