The following pages link to Autostability of models (Q1156127):
Displaying 50 items.
- Computable dimension for ordered fields (Q283123) (← links)
- Initial segments of computable linear orders with computable natural relations (Q308863) (← links)
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- The complexity of computable categoricity (Q471691) (← links)
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals (Q498238) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Algorithmic properties of branching models (Q580329) (← links)
- Autostable atomic-ideal enrichments of computable Boolean algebras (Q600736) (← links)
- Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- Constructivizations of direct products of algebraic systems (Q787959) (← links)
- Complexity of the index set of a constructive model (Q797572) (← links)
- The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)
- Preserving categoricity and complexity of relations (Q887644) (← links)
- Computable categoricity and the Ershov hierarchy (Q958489) (← links)
- Degree spectra of the successor relation of computable linear orderings (Q1005920) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Recursive linear orders with recursive successivities (Q1062051) (← links)
- Examples of nonautostable systems (Q1077409) (← links)
- Recursion theory and ordered groups (Q1093630) (← links)
- Nonuniform autostability of models (Q1117216) (← links)
- Autostability of models and Abelian groups (Q1156126) (← links)
- Autostability of Boolean algebras with distinguished ideal (Q1288130) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601) (← links)
- Primitive Jordan algebras (Q1317606) (← links)
- Finitely generated groups with the M. Hall property (Q1317609) (← links)
- Algorithmic dimensions of homomorphic images of models (Q1317614) (← links)
- Locally finite simple groups as a product of two inert subgroups (Q1317617) (← links)
- Local characterizations of infinite alternating and Lie type groups (Q1317618) (← links)
- A semiorthogonal sum of monocomposition algebras with unity (Q1317619) (← links)
- Criteria of autostability for 1-decidable models (Q1317625) (← links)
- Superdecomposable pure injective modules over commutative valuation rings (Q1317634) (← links)
- Recursive unary algebras and trees (Q1326781) (← links)
- Computable classes of constructivizations for models of finite constructivizability type (Q1335930) (← links)
- Effectively infinite classes of weak constructivizations of models (Q1346921) (← links)
- Computable classes of constructivizations for models of infinite algorithmic dimension (Q1346928) (← links)
- Complexity and categoricity (Q1383162) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- Structures computable in polynomial time. II (Q1644852) (← links)
- Computable bi-embeddable categoricity (Q1731326) (← links)
- Categoricity for primitive recursive and polynomial Boolean algebras (Q1731520) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Computability of distributive lattices (Q1745078) (← links)
- Algorithmic degree of unars (Q1825186) (← links)
- Constructive models of regularly infinite algorithmic dimension (Q1842380) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- The computable dimension of ordered abelian groups (Q1873769) (← links)
