TY  - RPRT
TI  - A variant proof of Con(b<a)
AU  - Jörg Brendle
AU  - Andrew D. Brooke-Taylor
PY  - 2014
UR  - https://arxiv.org/abs/1404.2858
ID  - 1404.2858
ER  -