Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpretation of constructive multi-typed theory in the theory of arithmetical truth |
scientific article |
Statements
Interpretation of constructive multi-typed theory in the theory of arithmetical truth (English)
0 references
13 April 2016
0 references
typed set theory
0 references
constructive mathematics
0 references
truth predicate
0 references
formal arithmetic
0 references
