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.
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.