On nonstandard models in higher order logic (Q3714081)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On nonstandard models in higher order logic |
scientific article |
Statements
On nonstandard models in higher order logic (English)
0 references
1984
0 references
simple type theory
0 references
elementary embeddings
0 references
models of type logic over von Neumann sets
0 references
models of second order logic
0 references
categoricity
0 references
full model
0 references
measurable cardinality
0 references
