Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.788128
Title: Regularity of ultrafilters, Boolean ultrapowers, and Keisler's order
Author: Parente, Francesco
ISNI:       0000 0004 7973 2246
Awarding Body: University of East Anglia
Current Institution: University of East Anglia
Date of Award: 2019
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
This thesis investigates combinatorial properties of ultrafilters and their model-theoretic significance. Motivated by recent results on Keisler's order, we develop new tools for the study of Boolean ultrapowers, deepening our understanding of the interplay between set theory and model theory. The main contributions can be summarized as follows. In Chapter 2, we undertake a systematic study of regular ultrafilters on Boolean algebras. In particular, we analyse two different notions of regularity which have appeared in the literature and compare their modeltheoretic properties. We then apply our analysis to the study of cofinal types of ultrafilters; as an application, we answer a question of Brown and Dobrinen by giving two examples of complete Boolean algebras on which all ultrafilters have maximum cofinal type. In conclusion, we discuss the existence of non-regular ultrafilters and prove that, consistently, every decomposable ultrafilter on a complete Boolean algebra is regular. Chapter 3 centres around the study of Keisler's order. We prove that good ultrafilters on Boolean algebras are precisely the ones which capture the maximum class in Keisler's order, solving a problem posed by Benda in 1974. We also show that, given a regular ultrafilter on a complete Boolean algebra satisfying a distributivity condition, the saturation of the Boolean ultrapower of a model of a complete theory does not depend on the choice of the particular model, but only on the theory itself. Motivated by this fact, we apply and expand the framework of 'separation of variables', recently developed by Malliaris and Shelah, to obtain a new characterization of Keisler's order via Boolean ultrapowers.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.788128  DOI: Not available
Share: