Abstract:How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena. The central object of this paper is a probability space. The underlying set of our space is a standard model theoretic object, i.e. the space of types in countably many variables over a monster model. Our probability measure is the iterated Morley product of a fixed Borel-definable Keisler measure. Choosing a point randomly in this space with respect to our distribution yields a "random generic type" in countably many variables. We are interested in which events hold for almost all random generic types. We consider two different flavors of model theoretic events: (1) When is the induced structure on almost all random generic types isomorphic to a fixed structure? (2) For a fixed formula which is unstable, IP, sOP, etc., what is the probability that a random generic type witnesses this dividing line? For (1), we show that if our measure satisfies a particular extension axiom, then there exists a structure $N$ such that the induced structure on almost all random generic types is isomorphic to $N$. The proof echos a celebrated result of Glebskii et al. and Fagin concerning the existence of almost sure theories. We also provide examples where no such model exists. For (2), we show that if our initial distribution is fim, then almost no random generic types witness instability, IP, or sOP. In the local NIP context, we use results from combinatorics to prove that for any Borel-definable measure, the "average value of witnessing k-instability" across all permutations converges to 0. Some examples are provided.

A distribution weighting a set of laws whose initial states are grouped into classes

Subordinators which are infinitely divisible w.r.t. time: Construction, properties, and simulation of max-stable sequences and infinitely divisible laws

Stable laws for random dynamical systems

On distributional limit laws for recurrence

Convergence to stable laws for a class of multidimensional stochastic recursions

Quasi-stationary distributions in reducible state spaces

The infinite extendibility problem for exchangeable real-valued random vectors

Equidistribution of random walks on compact groups

Distributions associated with general runs and patterns in hidden Markov models

Stationary distributions of persistent ecological systems

Representing General Stochastic Processes as Martingale Laws

Stationary Distribution of open Asymmetric Simple Exclusion Processes on an Interval as a marginal of a two-layer ensemble

Stick-Breaking processes, Clumping, and Markov Chain Occupation Laws

On the Existence and Uniqueness of Stationary Distributions for Some Piecewise Deterministic Markov Processes With State-Dependent Jump Intensity

Long time behavior of semi-Markov modulated perpetuity and some related processes

Model theoretic events

Regularity of laws via Dirichlet forms: application to quadratic forms in independent and identically distributed random variables

Generalized uniform laws for tied-down occupation times of infinite ergodic transformations

Lattice supported distributions and graphical models