[FOM] Unique readability-- history

John Baldwin jbaldwin at uic.edu
Wed Dec 29 19:39:18 EST 2010


When (and by who) was the unique readability theorem proved? for what 
system? When did 
the name `unique readability' arise?

Similary, when did `induction on formulas' arise as a proof technique?

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics,
and Computer Science M/C 249
jbaldwin at uic.edu
851 S. Morgan
Chicago IL
60607




More information about the FOM mailing list