Related papers: Invariant types in NIP theories

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…

We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…

We study some relation between some geometrically defined classes of diffeomorphisms between manifolds and the $L_{q,p}$-cohomology of these manifolds. Some applications to vanishing and non vanishing results in $L_{q,p}$-cohomology are…

Here we develop a technique of computing the invariants of $n-$ary forms and systems of forms using the discriminants of corresponding multilinear forms built of their partial derivatives, which should be cosidered as analogues of classical…

We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective…

Using our previous results on the systematic construction of invariant differential operators for non-compact semisimple Lie groups we classify the special reduced multiplets and minimal representations in the case of SO(p,q).

We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a…

We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…

In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras $sp(n,1)$. Our choice of these algebras is motivated by the fact that they belong to a…

We present some further results on Liouville type theorems for some conformally invariant fully nonlinear equations.

We apply the work of Bourgain, Fremlin and Talagrand on compact subsets of the first Baire class to show new results about phi-types for phi NIP. In particular, we show that if M is a countable model, then an M-invariant phi-type is Borel…

Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such…

This paper identifies a new class of shape invariant models. These models are based on extensions of conventional quantum mechanics that satisfy a string-motivated minimal length uncertainty relation. An important feature of our…

We prove that whenever the selfmapping $(M_1,\dots,M_p)\colon I^p \to I^p$, ($p \in \mathbb{N}$ and $M_i$-s are $p$-variable means on the interval $I$) is invariant with respect to some continuous and strictly monotone mean $K \colon I^p…

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a…

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…

We study a new type of warped compactifications of M-theory on eight manifolds for which nowhere vanishing covariantly constant spinors of indefinite chirality on the internal manifold can be found. We derive the constraints on the fluxes…

We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.