Boolos-style proofs of limitative theorems

Simple item page
dc.creatorSereny, Gyorgy
dc.date2003-09-20
dc.date.accessioned2026-07-07T05:01:20Z
dc.date.available2026-07-07T05:01:20Z
dc.descriptionBoolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.
dc.description6 pages
dc.identifierhttps://arxiv.org/abs/math/0309345
dc.identifierhttp://arxiv.org/abs/math/0309345
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/68632
dc.subjectLogic
dc.subject03F30
dc.titleBoolos-style proofs of limitative theorems
dc.typetext

Files

Collections

arXiv