Pages that link to "Item:Q3128470"
From MaRDI portal
The following pages link to A recursive nonstandard model of normal open induction (Q3128470):
Displayed 7 items.
- Limit computable integer parts (Q647341) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- A note on recursive models of set theories (Q1409311) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Factorization in generalized power series (Q4699622) (← links)