Abelian groups and quadratic residues in weak arithmetic

DOI10.1002/MALQ.200910009MaRDI QIDQ3566945zbMATH OpenOpenAlexFDO

Authors Emil Jeřábek

Publication date 10 June 2010

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200910009

zbMATH Keywords

abelian groupbounded arithmeticquadratic reciprocityFermat's little theorempigeonhole principle

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Power residues, reciprocity (11A15) Finite abelian groups (20K01)

Recommendations

• Finite Abelian Groups via Congruences
• A Class of Abelian Groups Arising from an Analysis of a Proof
• scientific article; zbMATH DE number 32077
• Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I
• Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\)

Cites work

• scientific article; zbMATH DE number 3305097 (Why is no real title available?)
• A One-Sentence Proof That Every Prime p≡1(\mod 4) Is a Sum of Two Squares
• A new proof of the weak pigeonhole principle
• Dual weak pigeonhole principle, Boolean complexity, and derandomization
• Existence and feasibility in arithmetic
• Fermat's two squares theorem
• On Grzegorczyk induction
• On Independence of Variants of the Weak Pigeonhole Principle
• Provability of the pigeonhole principle and the existence of infinitely many primes
• Some consequences of cryptographical conjectures for \(S_2^1\) and EF
• The prime number theorem and fragments of PA
• The strength of sharply bounded induction

Cited in

(2)

• Iterated multiplication in \(VTC^0\)
• Integer factoring and modular square roots

This page was built for publication: Abelian groups and quadratic residues in weak arithmetic

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