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 אוניברסיטת בר-אילן - המחלקה למתמטיקה 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

תאריך עדכון אחרון : 29/04/2019