Friday Set Theory Seminar (HUJI)
We shall meet next Friday (August 15th) in the Hebrew University math
department building, at 10 am.
Speaker: Menachem Magidor (HUJI)
Title: Inner models constructed from generalized logics
Abstract: The constructible universe L is constructed in stages where
one uses first order definablity to define the successor stage. There
are interesting models that one gets if we replace first order logic
by generalized logic.It is well known if one uses full second order
logic one gets the model HOD. But what about logics which are between
first order and second order. We shall look at several cases and see
the interesting Set Theory that emerges form the study of these inner
See you there!