Pages that link to "Item:Q2527825"
From MaRDI portal
The following pages link to Diophantine correct non-standard models in the isols (Q2527825):
Displaying 12 items.
- Embeddings of and into Nerode semirings (Q1100198) (← links)
- Myhill's work in recursion theory (Q1192344) (← links)
- Eight problems about Nerode semirings (recursive ultrapowers) (Q1192347) (← links)
- On co-simple isols and their intersection types (Q1192351) (← links)
- Models of arithmetic in \(A\)-isols (Q1803012) (← links)
- Sub-arithmetical ultrapowers: A survey (Q2276952) (← links)
- Hyper-torre isols (Q3968917) (← links)
- Recursive Fibers of RST Isols (Q4039319) (← links)
- Existentially Incomplete Tame Models and a Conjecture of Ellentuck (Q4243910) (← links)
- On the Minimality of Tame Models in the Isols (Q4275662) (← links)
- Torre models in the isols (Q4292599) (← links)
- Combinatorial Isols and the Arithmetic of Dekker Semirings (Q4530144) (← links)
