Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (Q1306822)

From MaRDI portal
Revision as of 02:52, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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
    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

    Identifiers