UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767)
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: UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS |
scientific article; zbMATH DE number 6472563
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS |
scientific article; zbMATH DE number 6472563 |
Statements
UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (English)
0 references
14 August 2015
0 references
real closed field
0 references
Peano arithmetic
0 references
recursively saturated model
0 references
\(\omega_{1}\)-like model
0 references
0.7763499
0 references
0.77288955
0 references
0 references
0.7420581
0 references
0.74156743
0 references
0.72639763
0 references
0.72375315
0 references
0.7178678
0 references
