Locally definable homotopy

Annals of Pure and Applied Logic 161 (4):488-503 (2010)
  Copy   BIBTEX

Abstract

In [E. Baro, M. Otero, On o-minimal homotopy, Quart. J. Math. 15pp, in press ] o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally definable spaces, for which we introduce homology and homotopy functors. We also study the concept of connectedness in -definable groups — which are examples of locally definable spaces. We show that the various concepts of connectedness associated to these groups, which have appeared in the literature, are non-equivalent

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

One theorem of Zil′ber's on strongly minimal sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.
Reducts of (c, +, ⋅) which contain +.D. Marker & A. Pillay - 1990 - Journal of Symbolic Logic 55 (3):1243-1251.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
A weakly definable type which is not definable.James H. Schmerl - 1993 - Archive for Mathematical Logic 32 (6):463-468.
Definability of groups in ℵ₀-stable metric structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
Normal triangulations in o-minimal structures.Elías Baro - 2010 - Journal of Symbolic Logic 75 (1):275-288.
On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.

Analytics

Added to PP
2013-12-18

Downloads
60 (#267,427)

6 months
13 (#192,902)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Definably compact Abelian groups.Mário J. Edmundo & Margarita Otero - 2004 - Journal of Mathematical Logic 4 (02):163-180.
A semi-linear group which is not affine.Pantelis E. Eleftheriou - 2008 - Annals of Pure and Applied Logic 156 (2):287-289.

View all 6 references / Add more references