Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups

DOI10.2307/2275610zbMath0853.03010OpenAlexW2009183820MaRDI QIDQ4879913

Anatole Khelif

Publication date: 21 August 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275610

zbMATH Keywords

ordered groupselementary equivalencemodel companionordered fieldaxiom of constructibilityexistentially closed modelsordered \(k\)-algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Inner models, including constructibility, ordinal definability, and core models (03E45) Ordered groups (06F15)

Related Items (2)

On nonelementarily equivalent pairs of fields ⋮ The real spectrum of a noncommutative ring and the Artin-Lang homomorphism theorem

Cites Work

• Forcing, arithmetic, division rings

This page was built for publication: Existentially closed models via constructible sets: There are 2^ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups