Sciweavers

Share
AML
2016
62views Algorithms» more  AML 2016»
3 years 9 months ago
Martin's maximum revisited
We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with str...
Matteo Viale
AML
2016
63views Algorithms» more  AML 2016»
3 years 9 months ago
ZF + DC + AX4
We consider mainly the following version of set theory: “ZF + DC and for every λ, λℵ0 is well ordered”, our thesis is that this is a reasonable set theory, e.g. on the one ...
Saharon Shelah
AML
2016
65views Algorithms» more  AML 2016»
3 years 9 months ago
Laver and set theory
Akihiro Kanamori
AML
2016
70views Algorithms» more  AML 2016»
3 years 9 months ago
Equiconsistencies at subcompact cardinals
We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardin...
Itay Neeman, John R. Steel
AML
2016
66views Algorithms» more  AML 2016»
3 years 9 months ago
Laver's results and low-dimensional topology
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existenc...
Patrick Dehornoy
AML
2016
64views Algorithms» more  AML 2016»
3 years 9 months ago
Strong measure zero in separable metric spaces and Polish groups
Michael Hrusák, Wolfgang Wohofsky, Ondrej Z...
books