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

DOI10.2307/2275610MaRDI QIDQ4879913zbMATH OpenOpenAlexFDO

Authors 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

axiom of constructibilityelementary equivalenceexistentially closed modelsmodel companionordered \(k\)-algebrasordered fieldordered groups

Mathematics Subject Classification ID

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

Recommendations

• Existentially closed structures in the power of the continuum
• scientific article; zbMATH DE number 4095438
• On the existence of \(\kappa \)-existentially closed groups
• Complete existentially closed locally finite groups
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)

Cites work

• Forcing, arithmetic, division rings

Cited in

(7)

• The model companion of width-two orders
• On nonelementarily equivalent pairs of fields
• On the existence of \(\kappa \)-existentially closed groups
• The real spectrum of a noncommutative ring and the Artin-Lang homomorphism theorem
• Properties of existentially closed companions
• scientific article; zbMATH DE number 3916419 (Why is no real title available?)
• Regularly r-closed fields

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

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