UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS (Q5501767)
From MaRDI portal
scientific article; zbMATH DE number 6472563
Language | Label | Description | Also known as |
---|---|---|---|
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