Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (Q1306822)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Note on extensions of Heyting's arithmetic by adding the ``creative subject'' |
scientific article |
Statements
Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (English)
0 references
5 October 1999
0 references
It is shown that the extension of Heyting's arithmetic HA by Kreisel's axioms for the creative subject [see \textit{A. S. Troelstra} and \textit{D. van Dalen}, Constructivism in mathematics. Vol. 1 (North-Holland, Amsterdam) (1988; Zbl 0653.03040), p. 236], with the induction schema restricted to arithmetical formulae, is conservative over HA. Some interesting generalizations of this result are considered in the last part of the paper. The proofs are based on the model-theoretic method.
0 references
Heyting arithmetic
0 references
creative subject
0 references
