Abelian groups and quadratic residues in weak arithmetic

DOI10.1002/MALQ.200910009zbMATH Open1192.03045OpenAlexW2131726384MaRDI QIDQ3566945FDOQ3566945

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

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\)

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)

Cites Work

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