The following pages link to (Q5398260):
Displaying 8 items.
- Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations (Q282114) (← links)
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations (Q492716) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Autostability spectra for Boolean algebras (Q2356086) (← links)
- Degrees of autostability for linear orders and linearly ordered abelian groups (Q2364330) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)