Non-standard finite fields over \(I\Delta_0+\Omega_1\)

DOI10.1007/BF02773575zbMath0993.03076MaRDI QIDQ1567349

Paola D'Aquino, Angus J. Macintyre

Publication date: 14 July 2002

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Galois cohomologypermutation groupsfragment of arithmeticexponentiation modulo a primeresidue fields of primes

Mathematics Subject Classification ID

Finite fields and commutative rings (number-theoretic aspects) (11T99) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Model theory (number-theoretic aspects) (11U09)

Related Items (3)

Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I ⋮ Commutative unital rings elementarily equivalent to prescribed product rings ⋮ Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the scheme of induction for bounded arithmetic formulas
• Primes and their residue rings in models of open induction
• Subgroups of free profinite groups and large subfields of Q
• Combinatorial principles in elementary number theory
• Riemann's hypothesis and tests for primality
• Some consequences of cryptographical conjectures for \(S_2^1\) and EF
• \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\)
• The elementary theory of finite fields
• Local behaviour of the Chebyshev theorem in models of I⊿₀
• Every Prime Has a Succinct Certificate
• Provability of the pigeonhole principle and the existence of infinitely many primes
• Polynomials with Cyclic Galois Group
• Existence and feasibility in arithmetic

This page was built for publication: Non-standard finite fields over \(I\Delta_0+\Omega_1\)