ML-1998-07: Krivtsov, Victor N. (1998) A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1998-07.text.ps.gz Download (112kB) |
|
Text (Abstract)
ML-1998-07.abstract.txt Download (389B) |
Abstract
A Negationless Interpretation of Intuitionistic Axiomatic Theories:
Higher-order Arithmetic
Victor N. Krivtsov
This work is a sequel to our [14] (ed: report ML-1998-06). It is shown how
Theorem 6 of [14], dealing with the translatability of {\bf HA} (Heyting's
arithmetic) into negationless arithmetic {\bf NA}, can be extended to the
case of intuitionistic arithmetic in higher types.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1998-07 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1998 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1396 |
Actions (login required)
 |
View Item |
