Non-standard finite fields over \(I\Delta_0+\Omega_1\)
type: Item
instance of: scholarly article
title: Non-standard finite fields over \(I\Delta_0+\Omega_1\)
zbMATH Open document ID: 0993.03076
DOI: 10.1007/BF02773575
author: Paola D'Aquino
author: Angus Macintyre
published in: Israel Journal of Mathematics
publication date: 2002-07-14T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 11U09
Mathematics Subject Classification ID: 11T99
Mathematics Subject Classification ID: 03H15
zbMATH DE Number: 1455699
zbMATH Keywords: residue fields of primes
zbMATH Keywords: fragment of arithmetic
zbMATH Keywords: permutation groups
zbMATH Keywords: Galois cohomology
zbMATH Keywords: exponentiation modulo a prime
MaRDI profile type: Publication
cites work: Q3236675
cites work: The elementary theory of finite fields
cites work: \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\)
cites work: Combinatorial principles in elementary number theory
cites work: Q3794177
cites work: Local behaviour of the Chebyshev theorem in models of I⊿0
cites work: Polynomials with Cyclic Galois Group
cites work: Q3962995
cites work: Q3253828
cites work: Q5831393
cites work: Some consequences of cryptographical conjectures for \(S_2^1\) and EF
cites work: Q5287502
cites work: Subgroups of free profinite groups and large subfields of Q
cites work: Q3659766
cites work: Primes and their residue rings in models of open induction
cites work: Q4160889
cites work: Riemann's hypothesis and tests for primality
cites work: Existence and feasibility in arithmetic
cites work: Provability of the pigeonhole principle and the existence of infinitely many primes
cites work: Q5569508
cites work: Every Prime Has a Succinct Certificate
cites work: Q4317890
cites work: Q3856855
cites work: Q4003835
cites work: Q3137899
cites work: Q4001780
cites work: On the scheme of induction for bounded arithmetic formulas
Recommended article: Q5283187
Recommended article: Some Subfields of Qp, and their Non-Standard Analogues
Recommended article: Constructing nonresidues in finite fields and the extended Riemann hypothesis
Recommended article: Non-standard sequence subgroups in finite fields
Recommended article: Nonvanishing of hyperelliptic zeta functions over finite fields
Recommended article: ON NUMBER FIELDS WITH NONTRIVIAL SUBFIELDS
Recommended article: On nonmonogenic algebraic number fields
Recommended article: Non-norm-Euclidean fields in basic \(Z_{l}\)-extensions
Recommended article: Non-parametric sets of regular realizations over number fields
Recommended article: Q3813892
description: scientific article; zbMATH DE number 1455699