Tag Archives: forcing

Matemáticas condensadas y forcing: una primera lectura. Bogotá, 5/25

Para el Coloquio del Departamento de Matemáticas de la Universidad Nacional de Colombia, dí la conferencia Matemáticas condensadas y forcing: una primera lectura.

He aquí las notas de conferencia:

ConferenciaMatemCond Download

Dos lógicas extrañas, grandes cardinales y algo de forcing. Morelia, 12/22

For the Seminario de Topología y Teoría de Conjuntos at UNAM in Morelia, I gave a lecture where a blend of infinitary logic, large cardinals and forcing were explored.

moreliaseminardec2022 Download

Interpolation and model theoretic forcing – some new perspectives (Campinas, Brazil, 12/18)

Interpolation and model theoretic forcing – some new perspectives.

(A lecture in Cantor Meets Robinson – Set theory, model theory and their philosophy. University of Campinas, Brazil, December 2018.)

Model Theoretic Forcing has been interweaved with interpolation theorems in infinitary logic since the early work of Mostowski, Vaught, Harnik and others. I will present some of these historical connections and their effect on Shelah’s much more recent logic $L^1_\kappa$ . In particular I will focus on some connections between model theoretic forcing and the model theory of abstract elementary classes.