Diamond^{sharp} from LCC, and applications to GDST

שלחו לחבר
Seminar
Speaker
Gabriel Fernandes (BIU)
Date
06/05/2019 - 15:00 - 13:00
Place
Building 105, Room 61
Abstract

Local club condensation (LCC) is an abstract formulation of a condensation property that canonical L-like models have. It was introduced by Friedman and Holy. Diamond^{sharp} is a strengthening of Jensen's diamond principle which was introduced by Devlin.
We shall show that diamond^{sharp} follows from LCC and the existence of a suitable Delta_1 definable well order, and then present an application of diamond^{sharp} to Generalized Descriptive Set Theory (GDST).

This is joint work with Miguel Moreno and Assaf Rinot