On nonelementarily equivalent pairs of fields

DOI10.1016/S0168-0072(02)00116-1MaRDI QIDQ1400607zbMATH OpenFDO

Authors Anatole Khelif

Publication date 13 August 2003

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(02)00116-1

zbMATH Keywords

nonstandard modelrational numbersreal closed field

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Review text

Let \(T\) be the complete theory of the field of rational numbers. If \(Q\) is a model of \(T\), let \(Q^r\) be its real closure. The paper gives an answer to the following question of Victor Harnik: Are there nonstandard models \(Q_1\) and \(Q_2\) of \(T\) such that \((Q_1^r,Q_1)\) and \((Q_2^r,Q_2)\) are elementarily inequivalent? The positive answer is given in two steps. In the first, it is shown that the standard natural numbers \(\mathbb{N}\) are uniformly definable in structures of the form \((Q^r,Q)\), where \(Q\) is a model of \(T\). In the second step, an example involving coding the satisfaction relation on \(({\mathbb{N}},+,\times)\) is constructed to show that there are nonstandard elementary extensions of \(({\mathbb{N}},+,\times)\), \(N_1\) and \(N_2\), such that \((N_1,{\mathbb{N}})\) and \((N_1,{\mathbb{N}})\) are elementarily inequivalent. There is also an outline of the argument showing how to obtain continuum many pairwise inequivalent structures.

Recommendations

• Elementarily Equivalent Fields with Inequivalent Perfect Closures
• Elementary equivalence and codimension in p-adic fields
• Non Standard Models of the Theory of Elementary Functions of a Real Variable
• Élimination des quantificateurs dans des paires de corps
• scientific article; zbMATH DE number 2047495

Cites work

• Complete theories of algebraically closed fields with distinguished subfields
• Definability and decision problems in arithmetic
• Existentially closed models via constructible sets: There are 2^ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• Plongement dense d'un corps ordonné dans sa clôture réelle

Cited in

(7)

• Minimal pairs, minimal fields and implicit constant fields
• On the notion of equivalent fields and coincident fields in the theory of quasi-abelian functions
• scientific article; zbMATH DE number 5183516 (Why is no real title available?)
• Elementarily Equivalent Fields with Inequivalent Perfect Closures
• Episodes in model-theoretic xenology: rationals as positive integers in \textsf{R}\(^\sharp\)
• Isomorphisms of non-standard fields and Ash's conjecture
• Some arithmetic properties on nonstandard number fields

This page was built for publication: On nonelementarily equivalent pairs of fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400607)