[FOM] link to new paper

Harvey Friedman friedman at math.ohio-state.edu
Tue Oct 4 14:35:53 EDT 2011

Previous message: [FOM] Consistency of P
Next message: [FOM] Cauchy subsequences of rationals and Con(PA)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://www.math.osu.edu/~friedman/pdf/MaxClique100411.pdf

Invariant Maximal Cliques and Incompleteness.

Harvey Friedman

Previous message: [FOM] Consistency of P
Next message: [FOM] Cauchy subsequences of rationals and Con(PA)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list