Pages that link to "Item:Q4096938"
From MaRDI portal
The following pages link to Recursively presentable prime models (Q4096938):
Displayed 23 items.
- Computing constraint sets for differential fields (Q402682) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- On two problems of Turing complexity for strongly minimal theories (Q954212) (← links)
- Turing machine computations in finitely axiomatizable theories (Q1059628) (← links)
- Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups (Q1075317) (← links)
- Criterion for strong constructivizability of a homogeneous model (Q1140632) (← links)
- Strong constructivizability of homogeneous models (Q1142774) (← links)
- A totally transcendental decidable theory without constructivizable homogeneous models (Q1156128) (← links)
- The model theory of differential fields revisited (Q1233436) (← links)
- Decidable models (Q1239318) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- From automatic structures to automatic groups. (Q2016098) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- The degrees of categorical theories with recursive models (Q2839320) (← links)
- RELATIVE TO ANY NON-HYPERARITHMETIC SET (Q2853977) (← links)
- Adapting Rabin’s Theorem for Differential Fields (Q3091458) (← links)
- Computable trees, prime models, and relative decidability (Q3372136) (← links)
- The atomic model theorem and type omitting (Q3642694) (← links)
- Type Structure Complexity and Decidability (Q3955339) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)
- On Decidable and Computable Models of Theories (Q5326370) (← links)
- Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy (Q5400808) (← links)