A theory of pairs for non-valuational structures

DOI10.1017/JSL.2018.85MaRDI QIDQ5222529zbMATH OpenOpenAlexFDO

Authors Elitzur Bar-Yehuda, Assaf Hasson, Ya'acov Peterzil

Publication date 6 April 2020

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

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

zbMATH Keywords

weak o-minimalitynon-valuational structurespairs of modelsexpansion of an ordered groupo-minimal trace

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Ordered groups (06F15) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: Given a weakly o-minimal structure $mathcalM$ and its o-minimal completion $$, we first associate to $$ a canonical language and then prove that $Th(mathcalM)$ determines $$. We then investigate the theory of the pair $$ in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every $mathcal{M}^P$-definable open subset of $$ is already definable in $$. We give an example of a weakly o-minimal structure which interprets $$ and show that it is not elementarily equivalent to any reduct of an o-minimal trace.

Recommendations

• On expansions of weakly o-minimal non-valuational structures by convex predicates
• Weakly o-minimal nonvaluational structures
• Some definable properties of sets in non-valuational weakly o-minimal structures
• Paires de structures O-minimales
• On definable Skolem functions in weakly o-minimal nonvaluational structures

Cites work

• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• A growth dichotomy for o-minimal expansions of ordered groups
• Expansions which introduce no new open sets
• Model Theory
• On definable Skolem functions in weakly o-minimal nonvaluational structures
• On the strong cell decomposition property for weakly o-minimal structures
• Paires de structures O-minimales
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Weakly o-minimal nonvaluational structures
• Weakly o-minimal structures and real closed fields

Cited in

(11)

• scientific article; zbMATH DE number 1899824 (Why is no real title available?)
• Weakly o-minimal nonvaluational structures
• On expansions of weakly o-minimal non-valuational structures by convex predicates
• A note on weakly o-minimal structures and definable completeness
• Distal and non-distal pairs
• scientific article; zbMATH DE number 4106821 (Why is no real title available?)
• A criterion for the strong cell decomposition property
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Some definable properties of sets in non-valuational weakly o-minimal structures
• Strong cell decomposition property in o-minimal traces
• Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures

This page was built for publication: A theory of pairs for non-valuational structures

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