6 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Johannes Stern
In this note we show that McGee's ω-inconsistency result can be derived from Löb's theorem.