A Note on McGee's {\omega}-Inconsistency Result
Logic
2017-04-28 v1
Abstract
In this note we show that McGee's {\omega}-inconsistency result can be derived from L\"ob's theorem.
Keywords
Cite
@article{arxiv.1704.08283,
title = {A Note on McGee's {\omega}-Inconsistency Result},
author = {Johannes Stern},
journal= {arXiv preprint arXiv:1704.08283},
year = {2017}
}