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].

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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