No label defined (Q4279726)
From MaRDI portal
scientific article; zbMATH DE number 503387
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 503387 |
Statements
22 February 1994
0 references
Gödel incompleteness theorem
0 references
computability
0 references
decidability over a ring
0 references
definable undecidable set over \(\mathbb{Z}\)
0 references
Tarski's theorem
0 references
definable set over the reals
0 references
real closed field
0 references
infinite ordered field
0 references
