Primes and their residue rings in models of open induction

DOI10.1016/0168-0072(89)90025-0MaRDI QIDQ1121883zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

prime numbersindependence resultsordered fieldordered ringsresidue fieldinfinite primesmodels for open induction

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard arithmetic and field theory (12L15)

Recommendations

• scientific article; zbMATH DE number 709498
• scientific article; zbMATH DE number 2220144
• scientific article; zbMATH DE number 4027447
• Open induction and the true theory of rationals
• A recursive nonstandard model of normal open induction

Cites work

• scientific article; zbMATH DE number 3702663 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• On the scheme of induction for bounded arithmetic formulas
• Open induction and the true theory of rationals

Cited in

(22)

• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Factorization in generalized power series
• scientific article; zbMATH DE number 4027447 (Why is no real title available?)
• 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
• A recursive nonstandard model of normal open induction
• Near-linearity and 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
• scientific article; zbMATH DE number 2220144 (Why is no real title available?)
• Prime numbers and factorization in IE₁ and weaker systems
• Quadratic forms in normal open induction
• Some weak fragments of HA and certain closure properties
• Real closures of models of weak arithmetic
• European Summer Meeting of the Association for Symbolic Logic
• Independence results for variants of sharply bounded induction
• Combinatorial principles in elementary number theory
• Non-standard finite fields over \(I\Delta_0+\Omega_1\)
• scientific article; zbMATH DE number 709498 (Why is no real title available?)
• 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)