Pages that link to "Item:Q1214409"
From MaRDI portal
The following pages link to On complete theories with a finite number of denumerable models (Q1214409):
Displaying 16 items.
- Hypergraphs of prime models and distributions of countable models of small theories (Q548771) (← links)
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001) (← links)
- Theories with constants and three countable models (Q884961) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- There are four countable ultrahomogeneous graphs without triangles (Q1137597) (← links)
- Decidable models (Q1239318) (← links)
- Theories with only a finite number of existentially complete models (Q1243712) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- On k-homogeneous posets and graphs (Q2276986) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- On constants and the strict order property (Q2491078) (← links)
- Complexity of Ehrenfeucht models (Q3546055) (← links)
- Finite extensions and the number of countable models (Q3824292) (← links)
- On Decidable and Computable Models of Theories (Q5326370) (← links)
- Weakly binary expansions of dense meet‐trees (Q6094131) (← links)
- Arithmetical decidability of homogeneous and almost prime countable models of Ehrenfeucht theories with arithmetical types (Q6187997) (← links)
