[FOM] 606: Simple Theory of Types

Harvey Friedman hmflogic at gmail.com
Sun Aug 30 14:09:31 EDT 2015

First order logic. But given the nature of the structures, this has a
)limited) second order flavor.


On Sun, Aug 30, 2015 at 8:16 AM, John Baldwin <jbaldwin at uic.edu> wrote:
> In the posting Adventures in Russell type theory
> In section 2a Harvey Friedman writes:
> One structure is interpretable in another if the second structure
> defines an isomorphic copy of the first structure. Here we allow
> a list follows. But what logic is being used to make these `definitions'?
> 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