The following pages link to (Q5596792):
Displaying 50 items.
- The minimality of certain decidability conditions for Boolean algebras (Q416985) (← links)
- The index set of Boolean algebras autostable relative to strong constructivizations (Q498225) (← links)
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals (Q498238) (← links)
- Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width (Q515496) (← links)
- Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable (Q695763) (← links)
- Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra (Q695806) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- Undecidability of the theory of Boolean algebras with automorphism (Q787968) (← links)
- Countable homogeneous Boolean algebras (Q793713) (← links)
- Decidable theories of non-projectable \(l\)-groups of continuous functions (Q876381) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- On the classification of (effective) \(\varphi \)-spaces (Q1023292) (← links)
- Undecidability of theories of Boolean algebras with selected ideals (Q1092889) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- Prevarieties of associative rings whose elementary theory is decidable (Q1136753) (← links)
- Elementary equivalence of topological spaces (Q1140633) (← links)
- The completeness of Peano multiplication (Q1158147) (← links)
- Reduced products which are not saturated (Q1170180) (← links)
- Automorphism groups of ultrafilters (Q1212955) (← links)
- Strongly constructive models and numerations of the Boolean algebra of recursive sets (Q1219275) (← links)
- Ultraproducts and elementary types of some groups related to infinite symmetric groups (Q1228667) (← links)
- Restricted theories of constructive Boolean algebras (Q1249569) (← links)
- Theories of Boolean algebras in a calculus with the quantifier ''infinitely many exist'' (Q1256444) (← links)
- Model theoretic properties in the variety generated by a primal algebra (Q1312171) (← links)
- Elementary regular rings (Q1346904) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
- Decidable locally finite discriminator varieties arising from dihedral varieties of groups (Q1779462) (← links)
- On subsystems of reduced powers (Q1845882) (← links)
- Automorphisms of Boolean algebras definable by fixed elements (Q1936274) (← links)
- Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305) (← links)
- Autostability spectra for Boolean algebras (Q2356086) (← links)
- Degrees of autostability relative to strong constructivizations for Boolean algebras (Q2364293) (← links)
- Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
- Boolean algebras with a category theory in a weak second order logic (Q2558304) (← links)
- Caper (Q2988651) (← links)
- Prime Model with No Degree of Autostability Relative to Strong Constructivizations (Q3195686) (← links)
- Decidable Discriminator Varieties from Unary Classes (Q4038454) (← links)
- Decidability of second-order theories and automata on infinite trees (Q4071739) (← links)
- (Q4124831) (← links)
- Recursively enumerable sets and degrees (Q4184825) (← links)
- Sheaf Constructions and Their Elementary Properties (Q4198732) (← links)
- On the Lattice of Recursively Enumerable Sets (Q4767304) (← links)
- The Undecidability of the Word Problems for Projective Geometries and Modular Lattices (Q4775863) (← links)
- Valued modules on skew polynomial rings and Bézout domains (Q5239169) (← links)
- Reduced products, Horn sentences, and decision problems (Q5536656) (← links)
- Invariants, Boolean algebras and ACA₀⁺ (Q5713163) (← links)
- The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719) (← links)
