[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


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