Every Low Boolean Algebra is Isomorphic to a Recursive One
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4091484 (Why is no real title available?)
- scientific article; zbMATH DE number 3767656 (Why is no real title available?)
- scientific article; zbMATH DE number 3224578 (Why is no real title available?)
- A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
- A metatheorem for constructions by finitely many workers
- Boolean algebras, Stone spaces, and the iterated Turing jump
- Degrees coded in jumps of orderings
- Degrees of Nonrecursive Presentability
- Degrees of Structures
- Degrees of orderings not isomorphic to recursive linear orderings
- Every Low 2 Boolean Algebra has a Recursive Copy
- Every recursive Boolean algebra is isomorphic to one with incomplete atoms
- Hierarchies of Boolean algebras
- Jumps of Orderings
- Orderings with αth Jump Degree 0 (α)
- Path integral quantisation of the open strings normal modes
- Recursive Boolean algebras with recursive atoms
- Recursive Linear Orders with Incomplete Successivities
- Recursive isomorphism types of recursive Boolean algebras
- Stability of recursive structures in arithmetical degrees
- The strong homogeneity conjecture
Cited in
(38)- New degree spectra of Polish spaces
- On strongly jump traceable reals
- Every \(\Delta^0_2\) Polish space is computable topological
- The coding theorems for linear orders
- Coding and definability in computable structures
- Some Questions in Computable Mathematics
- scientific article; zbMATH DE number 4035813 (Why is no real title available?)
- Every recursive Boolean algebra is isomorphic to one with incomplete atoms
- COPYING ONE OF A PAIR OF STRUCTURES
- Computable presentability of countable linear orders
- Limitwise monotonic spectra and their generalizations
- A computable functor from graphs to fields
- Degree spectra of real closed fields
- Computability of Polish spaces up to homeomorphism
- Every Low 2 Boolean Algebra has a Recursive Copy
- COMPUTABLY COMPACT METRIC SPACES
- Rice sequences of relations
- On the $n$-back-and-forth types of Boolean algebras
- Boolean algebra approximations
- Computability on linear orderings enriched with predicates
- Decidable Boolean algebras of low level
- On the triple jump of the set of atoms of a Boolean algebra
- Notes on the Jump of a Structure
- Linear orderings of low degree
- Computable linear orders and limitwise monotonic functions
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
- Computable linear orders and the ershov hierarchy
- A class of low linear orders having computable presentations
- Computably categorical Boolean algebras enriched by ideals and atoms
- Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders
- Depth zero Boolean algebras
- Degree spectra of structures
- Cuts of linear orders
- Sufficient conditions for the existence of 0'-limitwise monotonic functions for computable \(\eta\)-like linear orders
- Computable Boolean algebras
- On a computable presentation of low linear orderings
- Computable Stone spaces
- THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES
This page was built for publication: Every Low Boolean Algebra is Isomorphic to a Recursive One
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4318310)
