Projects per year
Abstract
We prove that it is consistent that א_ω is strong limit, 2^{א_ω} is large and the universality number for graphs on א_{ω+1} is small. The proof uses Prikry forcing with interleaved collapsing.
Original language | English |
---|---|
Pages (from-to) | 541-569 |
Number of pages | 29 |
Journal | Journal of Symbolic Logic |
Volume | 81 |
Issue number | 02 |
Early online date | 29 Jun 2016 |
DOIs | |
Publication status | Published - Jun 2016 |
Keywords
- Universality
- graphs
- Prikry forcing
- iterated forcing
- master conditions
- successors of singular cardinals
- Laver indestructibility
Profiles
-
Mirna Dzamonja
- School of Mathematics - Visiting Academic
- Logic - Member
Person: Other related - academic, Research Group Member
Projects
- 2 Finished