A theory of pairs for non-valuational structures

DOI10.1017/JSL.2018.85zbMATH Open1442.03018arXiv1711.03372OpenAlexW3099914115MaRDI QIDQ5222529FDOQ5222529

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)

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.

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

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

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)

Cites Work

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

Cited In (11)

• Quantifier elimination for o-minimal structures expanded by a valuational cut
• On expansions of weakly o-minimal non-valuational structures by convex predicates
• Title not available (Why is that?)
• A criterion for the strong cell decomposition property
• A note on weakly o-minimal structures and definable completeness
• Title not available (Why is that?)
• Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures
• Weakly o-minimal nonvaluational structures
• Strong cell decomposition property in o-minimal traces
• Distal and non-distal pairs
• Some definable properties of sets in non-valuational weakly o-minimal 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)