A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES

DOI10.1017/jsl.2018.85zbMath1442.03018arXiv1711.03372OpenAlexW3099914115MaRDI QIDQ5222529

Elitzur Bar-Yehuda, Assaf Hasson, Yaa'cov Peterzil

Publication date: 6 April 2020

Published in: The 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) Ordered groups (06F15) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

A criterion for the strong cell decomposition property ⋮ Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures ⋮ Quantifier elimination for o-minimal structures expanded by a valuational cut

Cites Work

• Unnamed Item
• Weakly o-minimal nonvaluational structures
• Structure theorems in tame expansions of o-minimal structures by a dense set
• A growth dichotomy for o-minimal expansions of ordered groups
• Paires de structures O-minimales
• Weakly o-minimal structures and real closed fields
• ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES
• Model Theory
• Expansions which introduce no new open sets
• On the strong cell decomposition property for weakly o-minimal structures

This page was built for publication: A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES