Related papers: Invariant types in NIP theories
We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's…
We study canonical quotients in model theory, mainly stable quotients of type-definable groups and invariant types in NIP theories. We extend the modelling property to continuous theories and use it to study $n$-dependence in hyperdefinable…
We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…
We construct two distinct yet related M-theory models that provide suitable frameworks for the study of knot invariants. We then focus on the four-dimensional gauge theory that follows from appropriately compactifying one of these M-theory…
In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…
We describe birational representations of discrete groups generated by involutions, having their origin in the theory of exactly solvable vertex-models in lattice statistical mechanics. These involutions correspond respectively to two kinds…
We give some background on uniform pro-p groups and the model theory of profinite NIP groups.
We construct the first known examples of compact pseudo-Riemannian manifolds having an essential group of conformal transformations, and which are not conformally flat. Our examples cover all types $(p,q)$, with $2 \leq p \leq q$.
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup…
We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem,…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
We prove an infinite $(p,q)$-theorem for piercing fat compact convex sets in $\RR^d$ with $k$-flats. Additionally, we develop a new framework through which infinite $(p,q)$-theorems concerning compact sets and $k$-flats can be extended to…
Let $M_{n, m}(\mathbb{R})$ denote the space of $n\times m$ real matrices, and $\mathcal{K}_o^{n,m}$ be the set of convex bodies in $M_{n, m}(\mathbb{R})$ containing the origin. We develop a theory for the $m$th order $p$-affine capacity…
We establish a Liouville type theorem for some conformally invariant fully nonlinear equations
In this note we outline the history of q-deformations; indicate their physical shortcomings; suggest their apparent resolution via an invariant formulation based on a new mathematics of genotopic type; and point out their expected physical…
We define a general class of dependent type theories, encompassing Martin-L\"of's intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to unify and organise their study, allowing results and constructions…
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually…
In this thesis new objects to the existing set of invariants of Lie algebras are added. These invariant characteristics are capable of describing the nilpotent parametric continuum of Lie algebras. The properties of these invariants, in…
We study the infrared behavior of the entire class of Y(p,q) quiver gauge theories. The dimer technology is exploited to discuss the duality cascades and support the general belief about a runaway behavior for the whole family. We argue…
We consider each of the three classes of representations of cyclic groups that arise in the study of rational sphere maps. We study the possible number of terms for invariant polynomials with non-negative coefficients that are constant on…