Related papers: An introduction to o-minimal structures
In this survey article we give basic introduction to the theory of quantum families of maps. We begin with a general look at non-commutative (or "quantum") topology. Then we formulate all our results in this language. Existence of quantum…
We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…
In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each…
In this paper we introduce a new homology theory devoted to the study of families such as semi-algebraic or subanalytic families and in general to any family definable in an o-minimal structure (such as Denjoy-Carleman definable or $ln-exp$…
The thesis is devoted to abstract, geometric and symmetric aspects of modern elementary particle theories. A new direction in constructing supersymmetric and superstring models based on consequent and strong consideration and inclusion of…
We define the category of $G_2$-structures over a Riemannian 7-manifold $M$ and present an isomorphism between this category and a full subcategory of the category of octonion algebras over the ring of smooth real-valued functions…
We give a short discussion about a weaker form of minimality (called quasi-minimality). We call a system quasi-minimal if all dense orbits form an open set. It is hard to find examples which are not already minimal. Since elliptic behaviour…
We present simple graph-theoretic characterizations of Cayley graphs for monoids, semigroups and groups. We extend these characterizations to commutative monoids, semilattices, and abelian groups.
We prove an analog of the Szemer\'edi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well…
We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
The theory of $G$-structures provides us with a unified framework for a large class of geometric structures, including symplectic, complex and Riemannian structures, as well as foliations and many others. Surprisingly, contact geometry -…
On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…
We give a concise introduction to (discrete) algebras arising from \'etale groupoids, (aka Steinberg algebras) and describe their close relationship with groupoid C*-algebras. Their connection to partial group rings via inverse semigroups…
We discuss the relationship between o-minimality and the so called Zilber-Pink conjecture. Since the work of Pila and Zannier, algebraization theorems in o-minimal geometry had profound impacts in Diophantine geometry (most notably on the…
This is the first in a series of papers devoted to an analogue of the metaplectic representation, namely, the minimal unitary representation of an indefinite orthogonal group; this representation corresponds to the minimal nilpotent…
Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.
In this thesis we explore natural procedures through which topological structure can be constructed from specific semigroups. We will do this in two ways: 1) we equip the semigroup object itself with a topological structure, and 2) we find…
We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite…
We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented…