Complete models of set theory and their semantic solution to the Continuum Hypothesis

Enviado por foundation em

In this talk we will briefly present the application of the notion of model completeness and model companionship to the study of set theory. We will then present the solution that the model companion of ZFC + large cardinals offer to the Continuum Hypothesis. We end the talk discussing a new form of justification in set theory, related to the complete models under consideration.

Nome
Giorgio Venturi
Estado
Finished
Publicar em
Arbitrariness and Genericity
Data de Início