Non UBC
DSpace
Krupinski, Krzysztof
2019-04-15T08:22:03Z
2018-10-16T09:01
I will discuss some aspects of my recent paper (still in preparation) with Udi Hrushovski and Anand Pillay. Most of the main results are of the form "a version of amenability implies a version of G-compactness".
Among our main technical tools, of interest in its own right, is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and also some extension results that we obtain for measure-like functions (which we call means and pre-means).
One of the main results is the following. Assume $G$ is a 0-definable group normalized by $G(M)$ (where $M$ is a model), $H$ is a 0-type-definable subgroup, and $N$ is the normal subgroup of $G$ generated by $H$. Then, if the type space $S_{G/H}(M)$ carries a $G(M)$-invariant, Borel probability measure, then $G^{00}_M \leq NG^{000}_M$. We also obtain a similar result which answers various questions from my earlier paper with Anand Pillay, e.g. if G is an amenable topological group, then the (classical) Bohr compactification of $G$ coincides with a certain "weak Bohr compactification". In other words, the conclusion says that certain connected components of $G$ coincide: $G^{00}_{top} = G^{000}_{top}$.
Another main result says that each amenable theory is G-compact. In particular, we introduce the notion of an amenable theory in several equivalent ways, e.g. by saying that for each type $p(\bar x) \in S(\emptyset)$, the space $S_p(\C):={q \in S(\C): p \subset q}$ carries an $Aut(\C)$-invariant, Borel probability measure (where $\C$ is a monster model).
There are several other developments in this paper, but during my talk, I will focus on one of the above.
https://circle.library.ubc.ca/rest/handle/2429/69680?expand=metadata
52.0
video/mp4
Author affiliation: Uniwersytet Wroclawski
Oaxaca (Mexico : State)
10.14288/1.0378207
eng
Unreviewed
Vancouver : University of British Columbia Library
Banff International Research Station for Mathematical Innovation and Discovery
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
Faculty
BIRS Workshop Lecture Videos (Oaxaca (Mexico : State))
Mathematics
Mathematical logic and foundations
Combinatorics
Amenability and definability
Moving Image
http://hdl.handle.net/2429/69680