Regularity Properties in Set Theory
Regularity Properties in Set Theory
Disciplines
Mathematics (100%)
Keywords
-
Projective Set,
Measurability,
Generalised Baire Space
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 Regularity Properties.
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, based at the Kurt Gödel Resarch Center for Mathematical Logic of the University of Vienna, focused on set theory, the area of logic that most interested Gödel in his later years. The topic was Regularity Properties. In the course of the project we successfully lifted the study of regularity properties from the classical Baire space to generalised Baire spaces and also developed new tools to understand regularity properties in the classical setting associated to Cichon`s diagram of cardinal characteristics.
- Universität Wien - 100%
Research Output
- 61 Citations
- 22 Publications
-
2020
Title Projective Measure Without Projective Baire DOI 10.1090/memo/1298 Type Journal Article Author Friedman S Journal Memoirs of the American Mathematical Society Pages 0-0 Link Publication -
2020
Title A null ideal for inaccessibles DOI 10.48550/arxiv.2004.11975 Type Preprint Author Friedman S -
2017
Title A null ideal for inaccessibles DOI 10.1007/s00153-017-0562-7 Type Journal Article Author Friedman S Journal Archive for Mathematical Logic Pages 691-697 Link Publication -
2018
Title COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS DOI 10.1017/jsl.2017.20 Type Journal Article Author Fischer V Journal The Journal of Symbolic Logic Pages 208-236 Link Publication -
2018
Title Cichon’s diagram for uncountable cardinals DOI 10.1007/s11856-018-1688-y Type Journal Article Author Brendle J Journal Israel Journal of Mathematics Pages 959-1010 -
2018
Title Almost disjoint refinements and mixing reals DOI 10.4064/fm429-7-2017 Type Journal Article Author Farkas B Journal Fundamenta Mathematicae Pages 25-48 Link Publication -
2017
Title Cardinal characteristics at ? in a small u(?) model DOI 10.1016/j.apal.2016.08.004 Type Journal Article Author Brooke-Taylor A Journal Annals of Pure and Applied Logic Pages 37-49 Link Publication -
2017
Title Class Forcing in Class Theory DOI 10.1007/978-3-319-62935-3_1 Type Book Chapter Author Antos C Publisher Springer Nature Pages 1-16 -
2019
Title Good projective witnesses DOI 10.48550/arxiv.1904.05823 Type Preprint Author Fischer V -
2015
Title Cardinal characteristics at {\kappa} in a small u(\kappa) model DOI 10.48550/arxiv.1511.02687 Type Preprint Author Brooke-Taylor A -
2015
Title Almost disjoint refinements and mixing reals DOI 10.48550/arxiv.1510.05699 Type Preprint Author Farkas B -
2015
Title Strong Chang's Conjecture and the tree property at ?2 DOI 10.1016/j.topol.2015.05.061 Type Journal Article Author Torres-Pérez V Journal Topology and its Applications Pages 999-1004 Link Publication -
2015
Title Definable normal measures DOI 10.1016/j.apal.2014.09.001 Type Journal Article Author Friedman S Journal Annals of Pure and Applied Logic Pages 46-60 Link Publication -
2014
Title Projective measure without projective Baire DOI 10.48550/arxiv.1401.6808 Type Preprint Author Friedman S -
2016
Title Coherent systems of finite support iterations DOI 10.48550/arxiv.1609.05433 Type Preprint Author Fischer V -
2016
Title Definable maximal cofinitary groups DOI 10.48550/arxiv.1603.02942 Type Preprint Author Fischer V -
2016
Title Cichon's Diagram for uncountable cardinals DOI 10.48550/arxiv.1611.08140 Type Preprint Author Brendle J -
2015
Title The Tree Property at $\omega _2$ and Bounded Forcing Axioms DOI 10.4064/ba8038-1-2016 Type Journal Article Author Friedman S Journal Bulletin Polish Acad. Sci. Math. Pages 207-216 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 -
0
Title Ordinal-definable subsets of singular cardinals. Type Other Author Cummings J -
0
Title Cichon's Diagram for uncountable cardinals. Type Other Author Brendle J -
0
Title Definable maximal cofinitary Groups. Type Other Author Fischer V