Model companion of ordered theories with an automorphism

DOI10.1090/S0002-9947-2015-06496-4zbMath1347.03065arXiv1305.7501OpenAlexW1998189621MaRDI QIDQ2944812

Koushik Pal, Michael Chris Laskowski

Publication date: 8 September 2015

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.7501

zbMATH Keywords

automorphismo-minimalityreal closed fieldordered abelian groupmodel-complete theoryexpansion of theoryordered theory

Mathematics Subject Classification ID

Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30) Model theory of ordered structures; o-minimality (03C64) Axiomatics and elementary properties of groups (20A05) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Linearly ordered sets with only one operator have the amalgamation property

Cites Work

• Unnamed Item
• Generic structures and simple theories
• Generic automorphisms of fields
• Model companions of \(T_{\Aut}\) for stable \(T\)
• The definable multiplicity property and generic automorphisms
• Multiplicative valued difference fields
• Model theory of difference fields
• Model companions of theories with an automorphism
• The strict order property and generic automorphisms

This page was built for publication: Model companion of ordered theories with an automorphism