Abelian groups and quadratic residues in weak arithmetic
From MaRDI portal
Publication:3566945
DOI10.1002/malq.200910009zbMath1192.03045OpenAlexW2131726384MaRDI QIDQ3566945
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
Finite abelian groups (20K01) First-order arithmetic and fragments (03F30) Power residues, reciprocity (11A15) Complexity of proofs (03F20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- The prime number theorem and fragments of PA
- Some consequences of cryptographical conjectures for \(S_2^1\) and EF
- Dual weak pigeonhole principle, Boolean complexity, and derandomization
- On Grzegorczyk induction
- The strength of sharply bounded induction
- A One-Sentence Proof That Every Prime p≡1(\mod 4) Is a Sum of Two Squares
- Provability of the pigeonhole principle and the existence of infinitely many primes
- On Independence of Variants of the Weak Pigeonhole Principle
- Existence and feasibility in arithmetic
- A new proof of the weak pigeonhole principle