EQUIVALENCES FOR TRUTH PREDICATES (Q5274881)
From MaRDI portal
scientific article; zbMATH DE number 6740631
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EQUIVALENCES FOR TRUTH PREDICATES |
scientific article; zbMATH DE number 6740631 |
Statements
EQUIVALENCES FOR TRUTH PREDICATES (English)
0 references
6 July 2017
0 references
formal theories of truth
0 references
interpretability
0 references
sameness of theories
0 references
arithmetical comprehension
0 references
