Sciweavers

Share
6 search results - page 1 / 2
» aml 2016
Sort
View
AML
2016
65views Algorithms» more  AML 2016»
3 years 21 days ago
Laver and set theory
Akihiro Kanamori
AML
2016
64views Algorithms» more  AML 2016»
3 years 21 days ago
Strong measure zero in separable metric spaces and Polish groups
Michael Hrusák, Wolfgang Wohofsky, Ondrej Z...
AML
2016
62views Algorithms» more  AML 2016»
3 years 21 days 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
70views Algorithms» more  AML 2016»
3 years 21 days 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 21 days 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
books