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

יום ב', 06/05/2019 - 13:00

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