ω+ 1

James Cummings, Mirna Dzamonja, Charles Morgan. ω+ 1. Journal of Symbolic Logic, 81(2):541-569, 2016. [doi]

Abstract

Abstract is missing.