English

Product cones in dense pairs

Logic 2017-08-15 v1

Abstract

Let M=M,<,+,\mathcal M=\langle M, <, +, \dots\rangle be an o-minimal expansion of an ordered group, and PMP\subseteq M a dense set such that certain tameness conditions hold. We introduce the notion of a `product cone' in M~=M,P\widetilde{\mathcal M}=\langle \cal M, P\rangle, and prove: if M\mathcal M expands a real closed field, then M~\widetilde{\mathcal M} admits a product cone decomposition. If M\mathcal M is linear, then it does not. In particular, we settle a question from [10].

Keywords

Cite

@article{arxiv.1708.03894,
  title  = {Product cones in dense pairs},
  author = {Pantelis E. Eleftheriou},
  journal= {arXiv preprint arXiv:1708.03894},
  year   = {2017}
}
R2 v1 2026-06-22T21:13:25.691Z