Some observations on the substructure lattice of a \(\Delta_1\) ultrapower (Q3566950)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some observations on the substructure lattice of a _1 ultrapower |
scientific article; zbMATH DE number 5719690
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Some observations on the substructure lattice of a \(\Delta_1\) ultrapower |
scientific article; zbMATH DE number 5719690 |
Statements
Some observations on the substructure lattice of a Δ1 ultrapower (English)
0 references
10 June 2010
0 references
\(\Pi_2\) true arithmetic
0 references
\(\Delta_1\) ultrapower
0 references
substructure lattice
0 references
embeddability
0 references
realizability
0 references
0.7466777563095093
0 references
0.7049799561500549
0 references
