Pages that link to "Item:Q5753942"
From MaRDI portal
The following pages link to Effective model theory vs. recursive model theory (Q5753942):
Displayed 45 items.
- Computable dimension for ordered fields (Q283123) (← links)
- Independence in computable algebra (Q497725) (← links)
- Computable ideals in \(I\)-algebras (Q619312) (← links)
- Preserving categoricity and complexity of relations (Q887644) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Degrees of autostability for prime Boolean algebras (Q1620777) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms (Q2191380) (← links)
- Strong degrees of categoricity and weak density (Q2211365) (← links)
- Degrees of autostability relative to strong constructivizations for Boolean algebras (Q2364293) (← links)
- Generalized hyperarithmetical computability over structures (Q2401541) (← links)
- On functors enumerating structures (Q2403649) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- A computably stable structure with no Scott family of finitary formulas (Q2501165) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Degrees of relative computable categoricity (Q2680583) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- Rice sequences of relations (Q2941599) (← links)
- Effectively Existentially-Atomic Structures (Q2970960) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- A Note on Effective Categoricity for Linear Orderings (Q2988812) (← links)
- Conservative Extensions of Abstract Structures (Q3091469) (← links)
- COMPUTABLE STRUCTURES OF RANK $\omega_{1}^{{\rm CK}}$ (Q3094353) (← links)
- A robuster Scott rank (Q3450085) (← links)
- Notes on the Jump of a Structure (Q3576069) (← links)
- There is no classification of the decidably presentable structures (Q4562439) (← links)
- Degree Spectra of Relations on a Cone (Q4645836) (← links)
- (Q4993818) (← links)
- Relativizing computable categoricity (Q5002563) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- On λ-Definable Functions on Ordinals (Q5326365) (← links)
- Another Jump Inversion Theorem for Structures (Q5326388) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension (Q5965131) (← links)
- Categoricity and complexity of relations over algebraic structures (Q5965135) (← links)
- On the complexity of the theory of a computably presented metric structure (Q6077947) (← links)
- Complexity profiles and generic Muchnik reducibility (Q6182774) (← links)