[FOM] Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis

Nik Weaver nweaver at math.wustl.edu
Sun Apr 9 17:54:34 EDT 2006

A slight typo: near the end of my last message

(**)   (forall a)(forall n)[I(a) and Prov_{S_a}(A_n)  -->  A(n)]

should be

(**)   (forall a)(forall n)[I(a) and Prov_{S_a}(A(n))  -->  A(n)]

More information about the FOM mailing list