Does weak quasi-o-minimality behave better than weak o-minimality?

DOI10.1007/S00153-021-00778-3MaRDI QIDQ2118170zbMATH OpenOpenAlexFDO

Authors Slavko Moconja, Predrag Tanović

Publication date 22 March 2022

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

o-minimalityquantifier eliminationweak o-minimalityquasi-o-minimalitybinary reductdefinable order relationmonotone relation

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also prove that weak quasi-o-minimality of a theory with respect to one definable linear order implies weak quasi-o-minimality with respect to any other such order.

Recommendations

• Weakly quasi-o-minimal models
• On the Boolean algebras of definable sets in weakly o‐minimal theories
• Quasi-o-minimal structures
• scientific article; zbMATH DE number 5066584
• Definable Sets in Ordered Structures. II

Cites work

• Around Rubin's ``Theories of linear order
• Dedekind Completeness and the Algebraic Complexity of o-Minimal Structures
• Definably extending partial orders in totally ordered structures
• On dp-minimal ordered structures
• On linearly ordered structures of finite rank
• Quasi-o-minimal structures
• Stationarily ordered types and the number of countable models
• Weakly o-minimal structures and real closed fields

Cited in

(4)

• On the Boolean algebras of definable sets in weakly o‐minimal theories
• Generalized o-minimality for partial orders
• On the enrichment of almost o-minimal theories
• Weakly quasi-o-minimal models

This page was built for publication: Does weak quasi-o-minimality behave better than weak o-minimality?

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