Product cones in dense pairs
نویسندگان
چکیده
Let M = ⟨ , < + ⋯ ⟩ $\mathcal {M}=\langle M, <, +, \dots \rangle$ be an o-minimal expansion of ordered group, and P ⊆ $P\subseteq M$ a dense set such that certain tameness conditions hold. We introduce the notion product cone in ∼ $\widetilde{\mathcal {M}}=\langle \mathcal {M}, P\rangle$ prove: if {M}$ expands real closed field, then {M}}$ admits decomposition. If is linear, it does not. In particular, we settle question from [10].
منابع مشابه
Lovely Pairs and Dense Pairs of O-minimal Structures
We study the theory of Lovely pairs of þ-rank one theories, in particular O-minimal theories. We show that the class of א0-saturated dense pairs of O-minimal structures studied by van den Dries [6] agrees with the corresponding class of lovely pairs. We also prove that the theory of lovely pairs of O-minimal structures is super-rosy of rank ≤ ω.
متن کاملQuaternionic Product of Circles and Cycles and Octonionic Product for Pairs of Circles
This paper concerns with a product of circles induced by the quaternionic product considered in a projective manner. Several properties of this composition law are derived and on this way we arrive at some special numbers as roots or powers of unit. We extend this product to cycles as oriented circles and to pairs of circles by using the algebra of octonions. Three applications of the given pro...
متن کاملDense Pairs of O-minimal Structures
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of “small definable set” plays a special role in this description. Introduction. In a classical paper [8] A. Robinson proved the completeness of the theory of real closed fields with a predicate for a proper dense real closed subfi...
متن کاملThe independence property in generalized dense pairs of structures
We provide a general theorem implying that for a (strongly) dependent theory T the theory of su ciently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of rst-order topological theories.
متن کاملBalancing Pairs and the Cross Product Conjecture
In a finite partially ordered set, Prob(x > y) denotes the proportion of linear extensions in which element x appears above element y. In 1969, S. S. Kislitsyn conjectured that in every finite poset which is not a chain, there exists a pair (x, y) for which 1/3 ≤ Prob(x > y) ≤ 2/3. In 1984, J. Kahn and M. Saks showed that there exists a pair (x, y) with 3/11 < Prob(x > y) < 8/11, but the full 1...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2022
ISSN: ['0942-5616', '1521-3870']
DOI: https://doi.org/10.1002/malq.202100028