相关论文: On generically stable types in dependent theories

We give some background on uniform pro-p groups and the model theory of profinite NIP groups.

In the literature there are two different notions of lovely pairs of a theory T, according to whether T is simple or geometric. We introduce a notion of lovely pairs for an independence relation, which generalizes both the simple and the…

We consider the following property of a first order theory T with a distinguished unary predicate P: every model of the theory of P occurs as the P-part of some model of T. We call this property the Gaifman property. Gaifman conjectured…

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…

We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group…

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in…

This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics: classifying groups definable in specific structures or theories and the relation to algebraic groups, groups…

This paper is a modified chapter of the author's Ph.D. thesis. We introduce the notions of sequentially approximated types and sequentially approximated Keisler measures. As the names imply, these are types which can be approximated by a…

A four dimensional gauge theory with nonpolynomial but local interactions of 1-form and 2-form gauge potentials is constructed. The model is a nontrivial deformation of a free gauge theory with nonpolynomial dependence on the deformation…

We study expansions of NSOP$_1$ theories that preserve NSOP$_1$. We prove that if $T$ is a model complete NSOP$_1$ theory eliminating the quantifier $\exists^{\infty}$, then the generic expansion of $T$ by arbitrary constant, function, and…

We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…

We give an explicit description of the homomorphism group H_n(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups H_i(q) are trivial for i at least 2 but less than n. The…

We give four different independence relations on any exponential field. Each is a canonical independence relation on a suitable Abstract Elementary Class of exponential fields, showing that two of these are NSOP$_1$-like and non-simple, a…

Gravity theories are constructed on finite groups G. A self-consistent review of the differential calculi on finite G is given, with some new developments. The example of a bicovariant differential calculus on the nonabelian finite group…

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

We prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst non-forking types.

One-flip stable configurations of an Ising-model on a random graph with fluctuating connectivity are examined. In order to perform the quenched average of the number of stable configurations we introduce a global order-parameter function…

In this paper, we consider a matroid generalization of the stable matching problem. In particular, we consider the setting where preferences may contain ties. For this generalization, we propose a polynomial-time algorithm for the problem…

We consider a rate-independent system with nonconvex energy under discontinuous external loading. The underlying space is finite dimensional and the loads are functions in $BV([0,T];\mathbb{R}^d)$. We investigate the stability of various…

The theory of dependency graphs is a powerful toolbox to prove asymptotic normality of sums of random variables. In this article, we introduce a more general notion of weighted dependency graphs and give normality criteria in this context.…