Dimension and measure in pseudofinite H-structures
Abstract
We study H-structures associated to SU-rank 1 measurable structures. We prove that the SU-rank of the expansion is continuous and that it is uniformly definable in terms of the parameters of the formulas. We also introduce notions of dimension and measure for definable sets in the expansion and prove they are uniformly definable in terms of the parameters of the formulas.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.07331
- arXiv:
- arXiv:2009.07331
- Bibcode:
- 2020arXiv200907331B
- Keywords:
-
- Mathematics - Logic