Pages that link to "Item:Q3331215"
From MaRDI portal
The following pages link to Recursive Boolean algebras with recursive atoms (Q3331215):
Displayed 18 items.
- Algebraic structures computable without delay (Q528478) (← links)
- Algorithmic properties of branching models (Q580329) (← links)
- Constructive enumeration of Boolean lattices (Q752699) (← links)
- Recursive linear orders with recursive successivities (Q1062051) (← links)
- Atom-free ideals of constructive Boolean algebras (Q1079562) (← links)
- Automorphisms of constructivizations of Boolean algebras (Q1088654) (← links)
- Recursively rigid Boolean algebras (Q1101105) (← links)
- Every recursive Boolean algebra is isomorphic to one with incomplete atoms (Q1210349) (← links)
- Decidable Boolean algebras of low level (Q1295398) (← links)
- Eliminating unbounded search in computable algebra (Q2011637) (← links)
- Punctual dimension of algebraic structures in certain classes (Q2030135) (← links)
- Recursive isomorphism types of recursive Boolean algebras (Q3331214) (← links)
- On the triple jump of the set of atoms of a Boolean algebra (Q3508087) (← links)
- Splitting recursively enumerable subalgebras in recursive Boolean algebras (Q3804687) (← links)
- Recursively Categorical Linear Orderings (Q3955343) (← links)
- Recursive Linear Orders with Incomplete Successivities (Q3977226) (← links)
- Every Low Boolean Algebra is Isomorphic to a Recursive One (Q4318310) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)