In this paper we develop the formalism of the Grothendieck six operations on o-minimal
sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of:(i) derived …

An o-minimal expansion of an ordered group is called semi-bounded if there is no definable
bijection between a bounded and an unbounded interval in it (equivalently, it is an …

Let M be an arbitrary o-minimal structure. Let G be a definably compact, definably
connected, abelian definable group of dimension n. Here we compute:(i) the new intrinsic o …

§ 1. Introduction. These notes were originally written for a tutorial I gave in a Modnet
Summer meeting which took place in Oxford 2006. I later gave a similar tutorial in the …

In this paper we find general criteria for invariance and finiteness results for o-minimal
cohomology in an arbitrary o-minimal structure. We apply our criteria and obtain new …

Dans cette note, nous esquissons notre travail sur le formalisme des six opérations de
Grothendieck sur les faisceaux o-minimaux. En tant qu'application à la théorie des groupes …

Abstract Results of Smale (Proc Am Math Soc 8 (3): 604–604, 1957) and Dugundji (Fundam
Math 66: 223–235, 1969) allow to compare the homotopy groups of two topological spaces …

Let ${\mathbb M} $ be an arbitrary o-minimal structure. Let $ G $ be a definably compact
definably connected abelian definable group of dimension $ n $. Here we compute the new …

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed
nontrivially valued nonarchimedean field K based on Hrushovski-Loeser's stable …

Il XXV incontro dell'Associazione Italiana di Logica e sue applicazioni (AILA), svoltosi a Pisa
presso la Scuola Normale Superiore dal 14 al 17 aprile 2014, ha previsto nella giornata …