Prime numbers and factorization in IE1 and weaker systems

DOI10.2307/2275449MaRDI QIDQ4032881zbMATH OpenOpenAlexFDO

Authors Stuart T. Smith

Publication date 1 April 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275449

zbMATH Keywords

bounded existential inductionfactorization into prime powersfrugal homomorphismmodels of arithmeticpowers of irreduciblesprime numbersweak systems of arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Recommendations

• Hierarchies of Subsystems of Weak Arithmetic
• Primes and their residue rings in models of open induction
• Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\)
• Quotient fields of a model of I₀+_1
• scientific article; zbMATH DE number 4027447

Cites work

• Fermat's last theorem and Bezout's theorem in GCD domains
• scientific article; zbMATH DE number 3211026 (Why is no real title available?)
• scientific article; zbMATH DE number 3307642 (Why is no real title available?)
• Primes and their residue rings in models of open induction

Cited in

(3)

• Some prime factorization results for type II\(_1\) factors
• The Importance of Being Prime ^⋆ , a Nontrivial Generalization for Nonunique Factorizations
• The Skolem-Bang theorems in ordered fields with an IP

This page was built for publication: Prime numbers and factorization in IE₁ and weaker systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032881)