Pages that link to "Item:Q1121883"
From MaRDI portal
The following pages link to Primes and their residue rings in models of open induction (Q1121883):
Displaying 14 items.
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Combinatorial principles in elementary number theory (Q1182430) (← links)
- Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms (Q1401230) (← links)
- Non-standard finite fields over \(I\Delta_0+\Omega_1\) (Q1567349) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- A recursive nonstandard model of normal open induction (Q3128470) (← links)
- Quadratic forms in normal open induction (Q3138008) (← links)
- On Diophantine equations solvable in models of open induction (Q3481698) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Prime numbers and factorization in IE<sub>1</sub> and weaker systems (Q4032881) (← links)
- Some weak fragments of <i>HA</i> and certain closure properties (Q4532602) (← links)
- Factorization in generalized power series (Q4699622) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
