Primes and their residue rings in models of open induction
DOI10.1016/0168-0072(89)90025-0zbMATH Open0675.03040OpenAlexW1965416269MaRDI QIDQ1121883FDOQ1121883
Authors: David Marker, Angus Macintyre 
Publication date: 1989
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(89)90025-0
Recommendations
prime numbersindependence resultsordered fieldordered ringsresidue fieldinfinite primesmodels for open induction
Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard arithmetic and field theory (12L15)
Cites Work
- On the scheme of induction for bounded arithmetic formulas
- Title not available (Why is that?)
- Open induction and the true theory of rationals
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
Cited In (22)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- Factorization in generalized power series
- Title not available (Why is that?)
- Diophantine correct open induction
- Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms
- On Diophantine equations solvable in models of open induction
- Near-linearity and open induction
- A recursive nonstandard model of normal open induction
- Open induction and the true theory of rationals
- European Summer Meeting of the Association for Symbolic Logic
- A note on subsystems of open induction
- Title not available (Why is that?)
- Prime numbers and factorization in IE1 and weaker systems
- Quadratic forms in normal open induction
- Some weak fragments of HA and certain closure properties
- European Summer Meeting of the Association for Symbolic Logic
- Real closures of models of weak arithmetic
- Independence results for variants of sharply bounded induction
- Combinatorial principles in elementary number theory
- Non-standard finite fields over \(I\Delta_0+\Omega_1\)
- Title not available (Why is that?)
- Primes in models of \(I\Delta_0+\Omega_1\): density in Henselizations
This page was built for publication: Primes and their residue rings in models of open induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1121883)
