Genericity and the Stable Core
Genericity and the Stable Core
Disciplines
Mathematics (100%)
Keywords
-
Forcing,
Generic Set,
Outer Model,
Stability
Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930`s. This project, to be based at the Kurt Gödel Resarch Center for Mathematical Logic of the University of Vienna, focuses on set theory, the area of logic that most interested Gödel in his later years. The proposed topic is Genericity and the Stable Core.
Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930's. This project, to be based at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna, focuses on set theory, the area of logic that most interested Gödel in his later years. The proposed topic is Genericity and the Stable Core.
- Universität Wien - 100%
Research Output
- 67 Citations
- 14 Publications
-
2016
Title On strong forms of reflection in set theory DOI 10.1002/malq.201400047 Type Journal Article Author Friedman S Journal Mathematical Logic Quarterly Pages 52-58 -
2016
Title Regularity properties on the generalized reals DOI 10.1016/j.apal.2016.01.001 Type Journal Article Author Friedman S Journal Annals of Pure and Applied Logic Pages 408-430 Link Publication -
2014
Title Representations of ideals in Polish groups and in Banach spaces DOI 10.48550/arxiv.1402.0441 Type Preprint Author Borodulin-Nadzieja P Link Publication -
2014
Title Coding over core models. Type Book Chapter Author Friedman Sd -
2017
Title Definability of Satisfaction in Outer Models DOI 10.1007/978-3-319-62935-3_7 Type Book Chapter Author Friedman S Publisher Springer Nature Pages 135-160 -
2015
Title REPRESENTATIONS OF IDEALS IN POLISH GROUPS AND IN BANACH SPACES DOI 10.1017/jsl.2014.63 Type Journal Article Author Borodulin–Nadzieja P Journal The Journal of Symbolic Logic Pages 1268-1289 Link Publication -
2015
Title Multiverse conceptions in set theory DOI 10.1007/s11229-015-0819-9 Type Journal Article Author Antos C Journal Synthese Pages 2463-2488 -
2017
Title The Search for New Axioms in the Hyperuniverse Programme DOI 10.1007/978-3-319-62935-3_8 Type Book Chapter Author Friedman S Publisher Springer Nature Pages 161-183 Link Publication -
2018
Title TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES DOI 10.1017/jsl.2017.52 Type Journal Article Author Brendle J Journal The Journal of Symbolic Logic -
2018
Title Almost disjoint refinements and mixing reals DOI 10.4064/fm429-7-2017 Type Journal Article Author Vidnyánszky Z Journal Fundamenta Mathematicae -
2015
Title Almost disjoint refinements and mixing reals DOI 10.48550/arxiv.1510.05699 Type Preprint Author Farkas B Link Publication -
2015
Title Measure, category and projective wellorders DOI 10.4115/jla.2014.6.8 Type Journal Article Author Vischer V Journal Journal of Logic and Analysis Pages 1-25 Link Publication -
2015
Title Large cardinals need not be large in HOD DOI 10.1016/j.apal.2015.07.004 Type Journal Article Author Cheng Y Journal Annals of Pure and Applied Logic Pages 1186-1198 Link Publication -
2022
Title Coding over Core Models DOI 10.48550/arxiv.2209.08696 Type Preprint Author Friedman S