scientific article
From MaRDI portal
Publication:3659766
zbMath0514.03021MaRDI QIDQ3659766
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursively saturatedPeano arithmeticnumber theorynon-standard modelelementarily equivalentabsolutely irreducible varietypseudo-finite
Model-theoretic algebra (03C60) Structure theory for finite fields and commutative rings (number-theoretic aspects) (11T30) First-order arithmetic and fragments (03F30)
Related Items (4)
Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability ⋮ Commutative unital rings elementarily equivalent to prescribed product rings ⋮ Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence ⋮ Non-standard finite fields over \(I\Delta_0+\Omega_1\)
This page was built for publication:
