A Note on McGee's ω-Inconsistency Result

Johannes Stern
2017
PDF

Abstract

In this note we show that McGee’s ω-inconsistency result can be derived from Löb’s theorem.

Type
Other
Publication
arXiv.org