Uncommon systems of embeddings

Abstract: We will survey some results from two papers about systems of elementary embeddings that "narrowly avoid” Kunen’s inconsistency. The first involves systems where the embedding is amenable to the target model. The uncommon features are that the system can be densely ordered (even isomorphic to the reals) and branch off into non-amalgamable models. The second paper focuses on collections of distinct models that are pairwise mutually embeddable. Some restrictions on the structure of the system are imposed by requiring the models to satisfy V=HOD. This is joint work with Sy Friedman, Yair Hayut, and Farmer Schlutzenberg.

logic

Audience: researchers in the topic

Barcelona Set Theory Seminar

Series comments: To attend please send a request to bagaria@ub.edu and we'll send you the link.