Pages that link to "Item:Q1217118"
From MaRDI portal
The following pages link to Strong and weak constructivization and computable families (Q1217118):
Displayed 31 items.
- Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations (Q282114) (← links)
- Autostability of prime models under strong constructivizations (Q431714) (← 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)
- Recursive properties of relations on models (Q687281) (← links)
- The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one (Q779152) (← links)
- The given (Q791521) (← links)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Inseparability in recursive copies (Q1326768) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Degrees of autostability relative to strong constructivizations of graphs (Q1617974) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- The computable dimension of ordered abelian groups (Q1873769) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308) (← links)
- A note on decidable categoricity and index sets (Q2200982) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- Turing degrees of complete formulas of almost prime models (Q2300743) (← links)
- The index set of the groups autostable relative to strong constructivizations (Q2360262) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Recursive properties of isomorphism types (Q3313855) (← links)
- Computable categoricity of trees of finite height (Q3370760) (← links)
- Recursively Categorical Linear Orderings (Q3955343) (← links)
- Degree Spectra of Relations on Computable Structures (Q4508282) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)
- Decompositions of decidable abelian groups (Q5216188) (← links)
- Index Sets of Constructive Models that are Autostable Under Strong Constructivizations (Q5741335) (← links)