[FOM] 606: Simple Theory of Types

[Harvey Friedman]

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

Harvey

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
>