Related papers: Morley sequences in dependent theories
We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…
We prove a quantitative averaging lemma for spatially dependent vector fields. Our proof is based on an iteration of the regularizing operator and some elementary considerations about the local inversion theorem.
This paper studies sequence prediction based on the monotone Kolmogorov complexity Km=-log m, i.e. based on universal deterministic/one-part MDL. m is extremely close to Solomonoff's prior M, the latter being an excellent predictor in…
We provide a framework for empirical process theory of locally stationary processes using the functional dependence measure. Our results extend known results for stationary Markov chains and mixing sequences by another common possibility to…
A strictly stationary sequence of random variables is constructed with the following properties: (i) the random variables take the values -1 and +1 with probability 1/2 each, (ii) every five of the random variables are independent, (iii)…
We give a novel characterization of the centered model in regularity structures which persists for rough drivers even as a mollification fades away. We present our result for a class of quasilinear equations driven by noise, however we…
We study finite state transduction of automatic and morphic sequences. Dekking proved that morphic sequences are closed under transduction and in particular morphic images. We present a simple proof of this fact, and use the construction in…
We give some details about the stationary phase lemma. We first prove a special case where the high order terms are derived explicitly. Based on that, we prove a more general case by using Morse lemma.
In this paper, we study Forman's discrete Morse theory in the context of weighted homology. We develop weighted versions of classical theorems in discrete Morse theory. A key difference in the weighted case is that simplicial collapses do…
We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories…
In the first part of this work the notion of stable Kim-forking is discussed and some context on this matter is given. In the second part a general way of building some examples of NSOP1 theories as the limit of some Fraisse class…
In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of "generic stability" in arbitrary theories. Among other things, we show that the standard definition of generic…
Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>LS({\bf K})$ be a regular stability cardinal and let $\chi$ be the…
Local consistency arises in diverse areas, including Bayesian statistics, relational databases, and quantum foundations, and so does the notion of functional dependence. We adopt a general approach to study logical inference in a setting…
We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using…
A crucial assumption in most statistical learning theory is that samples are independently and identically distributed (i.i.d.). However, for many real applications, the i.i.d. assumption does not hold. We consider learning problems in…
Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…
We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the…
We provide a suitable axiomatic framework for differential cohomology in the relative case and we deduce the corresponding long exact sequences. We also construct the relative version of the generalized Cheeger-Simons characters and we…