Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Fundamenta Mathematicae

Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

Local analysis for semi-bounded groups

Tom 216 / 2012

Fundamenta Mathematicae 216 (2012), 223-258 MSC: Primary 03C64. DOI: 10.4064/fm216-3-3

Streszczenie

An o-minimal expansion $\mathcal{M}=\langle M, <, +, 0, \dots\rangle$ 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\subseteq M$. Let us call a definable set short if it is in definable bijection with a definable subset of some $I^n$, 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 $\langle M^k, +\rangle$.

Autorzy

• Pantelis E. EleftheriouCMAF, Universidade de Lisboa
Av. Prof. Gama Pinto 2
1649-003 Lisboa, Portugal
e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Odśwież obrazek