[FOM] : The Derivability Conditions

john bell jbell at uwo.ca
Mon Oct 1 12:59:39 EDT 2012



An  abstract version of the proofs of Lob`s and Godel`s theorems can be 
found at

http://publish.uwo.ca/~jbell/General1.%20doc.pdf

This is a corrected version of my paper  “Incompleteness in a General 
Setting”. Bulletin of Symbolic Logic 13, 2007.

--John Bell

Professor John L. Bell, FRSC
Department of Philosophy
University of Western Ontario
London, Ontario
Canada N5Y 3G7

Webpage: http://publish.uwo.ca/~jbell/




More information about the FOM mailing list