Pages that link to "Item:Q3869329"
From MaRDI portal
The following pages link to Foundations of recursive model theory (Q3869329):
Displaying 29 items.
- Decidable models of small theories (Q266246) (← links)
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- Metric structures and probabilistic computation (Q541224) (← links)
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- A totally transcendental decidable theory without constructivizable homogeneous models (Q1156128) (← links)
- On the effective content of asymptotic verifications of Edgeworth's Conjecture (Q1181757) (← links)
- Some effects of Ash-Nerode and other decidability conditions on degree spectra (Q1182431) (← links)
- \(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- Persistently Finite Theories with Hyperarithmetic Models (Q3039332) (← links)
- Persistently Finite, Persistently Arithmetic Theories (Q3043120) (← links)
- Degrees of Recursively Saturated Models (Q3222194) (← links)
- Computable trees, prime models, and relative decidability (Q3372136) (← links)
- A computable ℵ<sub>0</sub>-categorical structure whose theory computes true arithmetic (Q3570169) (← links)
- The degree spectra of homogeneous models (Q3617376) (← links)
- The atomic model theorem and type omitting (Q3642694) (← links)
- Omitting types, type spectrums, and decidability (Q3663267) (← links)
- Bad models in nice neighborhoods (Q3760505) (← links)
- Tame Theories with Hyperarithmetic Homogeneous Models (Q3815287) (← links)
- A complete, decidable theory with two decidable models (Q3853605) (← links)
- Theories with recursive models (Q3856753) (← links)
- Type Structure Complexity and Decidability (Q3955339) (← links)
- A characterization of the <i>0</i>-basis homogeneous bounding degrees (Q4931102) (← links)
- Degree spectra of prime models (Q5311733) (← links)
- On Decidable and Computable Models of Theories (Q5326370) (← links)
- Generalized effective completeness for continuous logic (Q6091635) (← links)
