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

models.

See you there!