Sciweavers

162
Voted
AML
2016
63views Algorithms» more  AML 2016»
10 years 1 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
154
Voted
AML
2016
65views Algorithms» more  AML 2016»
10 years 1 months ago
Laver and set theory
Akihiro Kanamori
266
Voted
AML
2016
70views Algorithms» more  AML 2016»
10 years 1 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
148
Voted
AML
2016
66views Algorithms» more  AML 2016»
10 years 1 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
146
Voted
AML
2016
64views Algorithms» more  AML 2016»
10 years 1 months ago
Strong measure zero in separable metric spaces and Polish groups
Michael Hrusák, Wolfgang Wohofsky, Ondrej Z...