2 citations · 4 across the 13 of their papers we have counts for
1 paper · 2 filters
Rupert McCallum
A new large-cardinal property is introduced which enables one to give a relative consistency proof of restricted versions of the reflection principles discussed by Tait in his essa…