Pages that link to "Item:Q3941388"
From MaRDI portal
The following pages link to Decidability and Boolean representations (Q3941388):
Displaying 28 items.
- The decidability of some classes of Stone algebras (Q412007) (← links)
- Counting models in universal Horn classes (Q594089) (← links)
- The number of non-isomorphic models in quasi-varieties of semigroups (Q594198) (← links)
- A new product of algebras and a type reduction theorem (Q795856) (← links)
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Boolean products and subdirect powers (Q1059092) (← links)
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups (Q1064333) (← links)
- Decision problems for classes of diagonalizable algebras (Q1075310) (← links)
- Applications of Boolean powers of algebraic systems (Q1075311) (← links)
- Expanding varieties by monoids of endomorphisms (Q1080450) (← links)
- Elementary and algebraic properties of the Arens-Kaplansky constructions (Q1082333) (← links)
- Decidable unary varieties (Q1085191) (← links)
- Undecidability of free pseudo-complemented semilattices (Q1098833) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- Varieties with decidable finite algebras. II: Permutability (Q1124621) (← links)
- The first order theory of Boolean algebras with a distinguished group of automorphisms (Q1154492) (← links)
- Universal algebras (Q1173984) (← links)
- Abelian algebras and the Hamiltonian property (Q1802146) (← links)
- Narrowness implies uniformity (Q1835939) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- Decidable Discriminator Varieties from Unary Classes (Q4038454) (← links)
- The theory of the polynomial many-one degrees of recursive sets is undecidable (Q5096783) (← links)
- BL-global representations (Q5871380) (← links)
