Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können am Montag, 6.2. und Dienstag, 7.2. keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted on Monday, Feb. 6 and Tuesday, Feb. 7.)

Local analysis for semi-bounded groups

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

ELEFTHERIOU, Pantelis E., 2012. Local analysis for semi-bounded groups. In: Fundamenta Mathematicae. Institute of Mathematics. 216(3), pp. 223-258. ISSN 0016-2736. eISSN 1730-6329. Available under: doi: 10.4064/fm216-3-3

@article{Eleftheriou2012Local-49667, title={Local analysis for semi-bounded groups}, year={2012}, doi={10.4064/fm216-3-3}, number={3}, volume={216}, issn={0016-2736}, journal={Fundamenta Mathematicae}, pages={223--258}, author={Eleftheriou, Pantelis E.} }

eng Eleftheriou, Pantelis E. 2020-05-27T08:55:39Z terms-of-use Eleftheriou, Pantelis E. An o-minimal expansion M=⟨M,<,+,0,…⟩ of an ordered group is called semi-bounded if it does not expand a real closed field. Possibly, it defines a real closed field with bounded domain I⊆M. Let us call a definable set short if it is in definable bijection with a definable subset of some In, and long otherwise. Previous work by Edmundo and Peterzil provided structure theorems for definable sets with respect to the dichotomy `bounded versus unbounded'. Peterzil (2009) conjectured a refined structure theorem with respect to the dichotomy `short versus long'. In this paper, we prove Peterzil's conjecture. In particular, we obtain a quantifier elimination result down to suitable existential formulas in the spirit of van den Dries (1998). Furthermore, we introduce a new closure operator that defines a pregeometry and gives rise to the refined notions of `long dimension' and `long-generic' elements. Those are in turn used in a local analysis for a semi-bounded group G, yielding the following result: on a long direction around each long-generic element of G the group operation is locally isomorphic to ⟨M<sup>k</sup>,+⟩. 2012 2020-05-27T08:55:39Z Local analysis for semi-bounded groups

This item appears in the following Collection(s)

Search KOPS


My Account