Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Alex Kruckman, University of California, Berkeley
“Properly Ergodic Structures”
One natural notion of ”random L-structure” is a probability measure on the space of L-structures with domain ω which is invariant and ergodic for the natural action of S∞ on this space. We call such measures ”ergodicstructures.” Ergodic structures arise as limits of sequences of finite structures which are convergent in the appropriate sense, generalizing the graph limits (or ”graphons”) of Lovsz and Szegedy. In this talk, I will address the properly ergodic case, in which no isomorphism class of countable structures is given measure 1. In joint work with Ackerman, Freer, and Patel, we give a characterization of those theories (in any countable fragment of Lω1,ω) which admit properly ergodic models. The main tools are a Morley-Scott analysis of an ergodic structure, the Aldous-Hoover representation theorem, and an ”AFP construction” - a method of producing ergodic structures via inverse limits of discrete probability measures on finite structures.
M3-3103
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.