## Speaker:

Jouko Vaananen

## Speaker Link:

## Institution:

University of Helsinki

## Time:

Monday, November 28, 2022 - 4:00pm to 5:30pm

## Host:

## Location:

RH 440 R

Godel's constructible universe uses first order logic to build a model of ZFC containing all of the ordinals and where the GCH holds. This talk describes a method of building analogous models using *Stationary Logic. *These are well-founded inner models of stronger axioms than ZFC that retain elements of fine structure.

*Stationary Logic* is a stronger logic than first order logic, but retains desirable model theoretic aspects.