[FOM] Re: Arithmetic-free theory of formal systems?
mfrank at math.uchicago.edu
Tue May 18 14:18:34 EDT 2004
Tim Chow has been asking for a theory of formal systems, where the theory
can be described without words like "finite set". With that constraint,
my reference to Jeroslow (JSL 38 (1973), 359-367) won't help; I don't
know if anything will. Still, the paper is short, it takes a rather
non-arithmetical approach, and it gets a nice result; I recommend it.
More information about the FOM