Pages that link to "Item:Q3546079"
From MaRDI portal
The following pages link to Spectra of computable models for Ehrenfeucht theories (Q3546079):
Displaying 9 items.
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- A new spectrum of computable models (Q1943912) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- On spectra of computable models (Q2885205) (← links)
- On constructive models of theories with linear Rudin-Keisler ordering (Q2885296) (← links)
- Computability of Fraïssé limits (Q3083128) (← links)
- Prime models of finite computable dimension (Q3616356) (← links)