[FOM] Question on Decidability of S2S

Harvey Friedman hmflogic at gmail.com
Mon Oct 19 18:42:28 EDT 2015

It would be helpful for the FOM readership to see a discussion of the
various proofs of S2S decidability, how they compare, and the best
most readable sources.

Harvey Friedman


More information about the FOM mailing list