A definable nonstandard enlargement (Q5387329)
From MaRDI portal
scientific article; zbMATH DE number 5273449
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A definable nonstandard enlargement |
scientific article; zbMATH DE number 5273449 |
Statements
A definable nonstandard enlargement (English)
0 references
8 May 2008
0 references
nonstandard universe
0 references
definability
0 references
superstructure
0 references
ultrapower
0 references
elementary embedding
0 references
