Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212)
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: Interpretation of constructive multi-typed theory in the theory of arithmetical truth |
scientific article; zbMATH DE number 6567965
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpretation of constructive multi-typed theory in the theory of arithmetical truth |
scientific article; zbMATH DE number 6567965 |
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
