The following pages link to (Q4895321):
Displaying 39 items.
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- The minimality of certain decidability conditions for Boolean algebras (Q416985) (← links)
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← 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)
- \(\Sigma\)-bounded algebraic systems and universal functions. II (Q606061) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- A note on algebras of languages (Q650885) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← 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)
- Recursive automorphisms of atomic Boolean algebras (Q809075) (← links)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Preserving categoricity and complexity of relations (Q887644) (← links)
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075) (← links)
- Autostability of Boolean algebras with distinguished ideal (Q1288130) (← links)
- Automorphisms of Boolean algebras which are recursive over atoms (Q1307158) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- Categoricity for primitive recursive and polynomial Boolean algebras (Q1731520) (← links)
- The existence of strongly computable representations in the class of Boolean algebras (Q1761055) (← links)
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Punctual copies of algebraic structures (Q2186304) (← links)
- Boolean algebras of regular languages (Q2342107) (← 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)
- Effectively categorical abelian groups (Q2377433) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- On the applicability to semirings of two theorems from the theory of rings and modules. (Q2518001) (← links)
- The Boolean Algebra of Piecewise Testable Languages (Q3188268) (← links)
- Classification from a Computable Viewpoint (Q3430937) (← links)
- A Computable Structure with Non-Standard Computability (Q5230801) (← links)
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344) (← links)
- Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387) (← links)
- Boolean algebras autostable relative to \(n\)-decidable presentations (Q6160499) (← links)
- Elementary equivalence of stable linear groups over fields of characteristic 2 (Q6597853) (← links)
