Pages that link to "Item:Q810001"
From MaRDI portal
The following pages link to A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001):
Displaying 7 items.
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- The complexity of countable categoricity in finite languages (Q3117785) (← links)
- (Q3491528) (← links)
- Complexity of Ehrenfeucht models (Q3546055) (← links)
- Recursive categoricity and persistence (Q3767330) (← links)
- Model completions and omitting types (Q4842638) (← links)
- Arithmetical decidability of homogeneous and almost prime countable models of Ehrenfeucht theories with arithmetical types (Q6187997) (← links)