Pages that link to "Item:Q4292596"
From MaRDI portal
The following pages link to Nonarithmetical ℵ<sub>0</sub>-categorical theories with recursive models (Q4292596):
Displaying 8 items.
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- Building models of strongly minimal theories (Q2039552) (← links)
- Computing and dominating the Ryll-Nardzewski function (Q2342310) (← links)
- The degrees of categorical theories with recursive models (Q2839320) (← links)
- Complexity of Ehrenfeucht models (Q3546055) (← links)
- A computable ℵ<sub>0</sub>-categorical structure whose theory computes true arithmetic (Q3570169) (← links)
- Recursive categoricity and persistence (Q3767330) (← links)
- Recursive models and the divisibility poset (Q5937812) (← links)
