When invariance implies exchangeability (and applications to invariant Keisler measures)
S Braunfeld, C Jahel, P Marimon - arXiv preprint arXiv:2408.08370, 2024 - arxiv.org
We study the problem of when, given a homogeneous structure $ M $ and a space $ S $ of
expansions of $ M $, every $\mathrm {Aut}(M) $-invariant probability measure on $ S $ is …
expansions of $ M $, every $\mathrm {Aut}(M) $-invariant probability measure on $ S $ is …
Invariant Keisler measures for ω-categorical structures
P Marimon - The Journal of Symbolic Logic, 2022 - cambridge.org
A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey
finds the first examples of simple structures with formulas which do not fork over the empty …
finds the first examples of simple structures with formulas which do not fork over the empty …
Forking in valued fields and related structures
A Hossain - arXiv preprint arXiv:2409.16393, 2024 - arxiv.org
This thesis is a contribution to the model theory of valued fields. We study forking in valued
fields and some of their reducts. We focus particularly on pseudo-local fields, the …
fields and some of their reducts. We focus particularly on pseudo-local fields, the …
Model theoretic events
K Gannon, JE Hanson - arXiv preprint arXiv:2402.15709, 2024 - arxiv.org
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 …
properties might hold on almost all random sequences? Which kinds of probabilistic …
Automorphism groups of prime models, and invariant measures
A Pillay - arXiv preprint arXiv:2405.11878, 2024 - arxiv.org
We adapt the notion of a (relatively) definable subset of Aut (M) when M is a saturated model
to the case Aut (M/A) when M is atomic and strongly omega-homogeneous over A. We …
to the case Aut (M/A) when M is atomic and strongly omega-homogeneous over A. We …
[PDF][PDF] An theory without the existence axiom
S Mutchnik - arXiv preprint arXiv:2407.13082, 2024 - arxiv.org
arXiv:2407.13082v1 [math.LO] 18 Jul 2024 Page 1 arXiv:2407.13082v1 [math.LO] 18 Jul 2024
AN NSOP1 THEORY WITHOUT THE EXISTENCE AXIOM SCOTT MUTCHNIK ABSTRACT …
AN NSOP1 THEORY WITHOUT THE EXISTENCE AXIOM SCOTT MUTCHNIK ABSTRACT …
Forking and invariant measures in NIP theories
A Pillay, A Stonestrom - arXiv preprint arXiv:2307.11037, 2023 - arxiv.org
arXiv:2307.11037v1 [math.LO] 20 Jul 2023 Page 1 Forking and invariant measures in NIP
theories Anand Pillay, ∗ Atticus Stonestrom Department of Mathematics, University of Notre …
theories Anand Pillay, ∗ Atticus Stonestrom Department of Mathematics, University of Notre …
Measures on perfect e-free PAC fields
Z Chatzidakis, N Ramsey - Israel Journal of Mathematics, 2023 - Springer
We construct measures on definable sets in e-free perfect PAC fields, as well as on perfect
PAC fields whose absolute Galois groups are free pro-p of finite rank. We deduce the …
PAC fields whose absolute Galois groups are free pro-p of finite rank. We deduce the …
Poznan, Poland July 19–24, 2021
K Krupinski, A Marks, A Chernikov… - The Bulletin of Symbolic …, 2022 - cambridge.org
CNRS—Université Paris-Saclay, Gif-sur-Yvette, France. E-mail: elisabeth. bouscaren@
universite-paris-saclay. fr. Originally in Classification Theory, then in Geometric Stability, and …
universite-paris-saclay. fr. Originally in Classification Theory, then in Geometric Stability, and …
[PDF][PDF] When invariance implies exchangeability
A exchangeable graph is a Borel - paolomarimon.github.io
Paolo Marimon, paolo.marimon@tuwien.ac.at. Joint work with Samuel Braunfeld and Colin
Jahel 1 Exchangeable graphs 2 Invariant Ra Page 1 When invariance implies …
Jahel 1 Exchangeable graphs 2 Invariant Ra Page 1 When invariance implies …