ML-1998-07: A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic

ML-1998-07: Krivtsov, Victor N. (1998) A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic. [Report]

[thumbnail of Full Text] Text (Full Text)
ML-1998-07.text.ps.gz

Download (112kB)
[thumbnail of Abstract] 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 View Item