Generizität und das Stable Core
Genericity and the Stable Core
Wissenschaftsdisziplinen
Mathematik (100%)
Keywords
-
Forcing,
Generic Set,
Outer Model,
Stability
Die mathematische Logik erreichte die Moderne mit der Arbeit von Kurt Gödel an der Universität Wien, wo er in den dreißiger Jahren des vorigen Jahrhunderts seine berühmten Sätze zur Vollständigkeit und Unvollständigkeit der Logik erster Stufe bewies. In seinen spätern Jahren wurde Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. Dieses Projekt wird die folgenden Bereiche der Mengenlehre untersuchen: die Generizität und das Stable Core.
Die mathematische Logik erreichte die Moderne mit der Arbeit von Kurt Gödel an der Universität Wien, wo er in den dreißiger Jahren des vorigen Jahrhunderts seine berühmten Sätze zur Vollständigkeit und Unvollständigkeit der Logik erster Stufe bewies. In seinen späteren Jahren wurde Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. Dieses Projekt wird die folgenden Bereiche der Mengenlehre untersuchen: die Generizität und das Stable Core.
- Universität Wien - 100%
Research Output
- 102 Zitationen
- 15 Publikationen
-
2018
Titel TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES DOI 10.1017/jsl.2017.52 Typ Journal Article Autor Brendle J Journal The Journal of Symbolic Logic Seiten 1013-1062 Link Publikation -
2016
Titel On strong forms of reflection in set theory DOI 10.1002/malq.201400047 Typ Journal Article Autor Friedman S Journal Mathematical Logic Quarterly Seiten 52-58 -
2015
Titel REPRESENTATIONS OF IDEALS IN POLISH GROUPS AND IN BANACH SPACES DOI 10.1017/jsl.2014.63 Typ Journal Article Autor Borodulin–Nadzieja P Journal The Journal of Symbolic Logic Seiten 1268-1289 Link Publikation -
2015
Titel Large cardinals need not be large in HOD DOI 10.1016/j.apal.2015.07.004 Typ Journal Article Autor Cheng Y Journal Annals of Pure and Applied Logic Seiten 1186-1198 Link Publikation -
2015
Titel Almost disjoint refinements and mixing reals DOI 10.48550/arxiv.1510.05699 Typ Preprint Autor Farkas B -
2014
Titel Representations of ideals in Polish groups and in Banach spaces DOI 10.48550/arxiv.1402.0441 Typ Preprint Autor Borodulin-Nadzieja P -
2015
Titel Measure, category and projective wellorders DOI 10.4115/jla.2014.6.8 Typ Journal Article Autor Vischer V Journal Journal of Logic and Analysis Seiten 1-25 Link Publikation -
2015
Titel Multiverse conceptions in set theory DOI 10.1007/s11229-015-0819-9 Typ Journal Article Autor Antos C Journal Synthese Seiten 2463-2488 Link Publikation -
2016
Titel Towers in filters, cardinal invariants, and Luzin type families DOI 10.48550/arxiv.1605.04735 Typ Preprint Autor Brendle J -
2016
Titel Regularity properties on the generalized reals DOI 10.1016/j.apal.2016.01.001 Typ Journal Article Autor Friedman S Journal Annals of Pure and Applied Logic Seiten 408-430 Link Publikation -
2014
Titel Coding over core models. Typ Book Chapter Autor Friedman Sd -
2017
Titel Definability of Satisfaction in Outer Models DOI 10.1007/978-3-319-62935-3_7 Typ Book Chapter Autor Friedman S Verlag Springer Nature Seiten 135-160 -
2017
Titel The Search for New Axioms in the Hyperuniverse Programme DOI 10.1007/978-3-319-62935-3_8 Typ Book Chapter Autor Friedman S Verlag Springer Nature Seiten 161-183 -
2018
Titel Almost disjoint refinements and mixing reals DOI 10.4064/fm429-7-2017 Typ Journal Article Autor Farkas B Journal Fundamenta Mathematicae Seiten 25-48 Link Publikation -
2022
Titel Coding over Core Models DOI 10.48550/arxiv.2209.08696 Typ Preprint Autor Friedman S