Equiconsistency of the minimalist foundation with its classical version (Q6652037)
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: Equiconsistency of the minimalist foundation with its classical version |
scientific article; zbMATH DE number 7957190
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equiconsistency of the minimalist foundation with its classical version |
scientific article; zbMATH DE number 7957190 |
Statements
Equiconsistency of the minimalist foundation with its classical version (English)
0 references
12 December 2024
0 references
dependent type theory
0 references
foundations of constructive mathematics
0 references
Gödel double negation translation
0 references
classical predicativism
0 references
calculus of constructions
0 references
0 references
0 references
0 references
