Σ 1-wellorders without collapsing.

Peter Holy
Published in: Arch. Math. Log. (2015)
Keyphrases