Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (Q1306822): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s001530050120 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1970538682 / rank | |||
Normal rank | |||
Revision as of 20:02, 19 March 2024
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
