Diamond^{sharp} from LCC, and applications to GDST
Seminar
Speaker
Gabriel Fernandes (BIU)
Date
06/05/2019 - 15:00 - 13:00Add to Calendar
2019-05-06 13:00:00
2019-05-06 15:00:00
Diamond^{sharp} from LCC, and applications to GDST
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
Building 105, Room 61
אוניברסיטת בר-אילן - Department of Mathematics
mathoffice@math.biu.ac.il
Asia/Jerusalem
public
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
Last Updated Date : 29/04/2019
