Searching for "Computable Boolean Algebras." – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Effective presentability of Boolean algebras of Cantor-Bendixson rank 1
- …, IL 61801-2917, USA Abstract We show that there is a computable Boolean algebra B and a computably…
- Cited by 5 (5 self) – Add To MetaCart
-
Using Blind Search and Formal Concepts for Binary Factor Analysis
- … methods based on exact computing, boolean algebra and the theory of formal concepts. Keywords: Binary…
- Cited by 2 (0 self) – Add To MetaCart
-
Hirschfeldt; Degree spectra of relations on Boolean algebras, Algebra and Logic 42
- … Abstract We show that every computable relation on a computable Boolean algebra B is either definable by a…
- Cited by 2 (1 self) – Add To MetaCart
-
2005], Boolean algebras, Tarski invariants and index sets, in preparation
- … if they are elementarily equivalent. Moreover, given the invariant of a boolean algebra, there is a computable procedure…
- Cited by 3 (2 self) – Add To MetaCart
-
Arithmetic Backwards from Shannon to the Chinese Abacus
- …, and discovered key relationships between Boolean algebra and computer circuits [6]. Born in the state of Michigan…
- Add To MetaCart
-
Questions in Computable Algebra and Combinatorics
- …. For instance, it is unknown whether there is a lown Boolean algebra with no computable copy, as we will see…
- Cited by 4 (0 self) – Add To MetaCart
-
Computability, Definability and Algebraic Structures
- …. For instance, to prove that if a boolean algebra has infinitely many atoms then it is not computably…
- Cited by 1 (0 self) – Add To MetaCart
-
Definable encodings in the computably enumerable sets
- … = A)}. S(A) is the splits of A and S(A) forms a Boolean algebra. R(A) = {R : R ⊆ A and R is computable…
- Cited by 6 (5 self) – Add To MetaCart
-
Effective Categoricity of Equivalence Structures
- … [11], and Remmel [29] established that a computable Boolean algebra is computably categorical…
- Cited by 3 (3 self) – Add To MetaCart
-
Effective Categoricity of Abelian p-Groups
- … Boolean algebra is computably categorical if and only if it has finitely many atoms (see also LaRoche [25…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
