Pages that link to "Item:Q3853605"
From MaRDI portal
The following pages link to A complete, decidable theory with two decidable models (Q3853605):
Displaying 4 items.
- \(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719) (← links)
- REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS (Q2933684) (← links)
- Vaught's theorem recursively revisited (Q3955337) (← links)
- Arithmetical decidability of homogeneous and almost prime countable models of Ehrenfeucht theories with arithmetical types (Q6187997) (← links)
