Pages that link to "Item:Q1943912"
From MaRDI portal
The following pages link to A new spectrum of computable models (Q1943912):
Displaying 6 items.
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- On spectra of computable models (Q2885205) (← links)
- On constructive models of theories with linear Rudin-Keisler ordering (Q2885296) (← links)
- Spectra of computable models for Ehrenfeucht theories (Q3546079) (← links)
- On the Computational Capabilities of Several Models (Q3608466) (← links)