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

DOI10.2307/2275610zbMATH Open0853.03010OpenAlexW2009183820MaRDI QIDQ4879913FDOQ4879913

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

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\)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Forcing, arithmetic, division rings

Cited In (6)

• Regularly r-closed fields
• On nonelementarily equivalent pairs of fields
• Properties of existentially closed companions
• On the existence of \(\kappa \)-existentially closed groups
• Title not available (Why is that?)
• The real spectrum of a noncommutative ring and the Artin-Lang homomorphism theorem

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)