UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872)
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: UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES |
scientific article; zbMATH DE number 6412768
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES |
scientific article; zbMATH DE number 6412768 |
Statements
UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (English)
0 references
6 March 2015
0 references
bi-interpretability
0 references
second-order arithmetic
0 references
Tarski's cube problem
0 references
classes of structures
0 references
0.92712474
0 references
0.9069602
0 references
0.8982304
0 references
0.88773423
0 references
0.8875396
0 references
