A Note on McGee's {\omega}-Inconsistency Result

Autor:	Stern, Johannes
Rok vydání:	2017
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	In this note we show that McGee's {\omega}-inconsistency result can be derived from L\"ob's theorem.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1704.08283 Zobrazit plný text záznamu View this record from Arxiv