Elementary inductive definitions in HA: from strictly positive towards monotone

Research output: Contribution to journal/periodicalArticleScientificpeer-review

188 Downloads (Pure)

Abstract

A study of elementary inductive definitions (e.i.d.) in HA. Strictly positive e.i.d. have closure ordinals ≤ω, and define predicates that are already definable in HA. We enlarge this class by adding so-called J-operators, for example ⌝ ⌝. E.i.d. in this larger class have closure ordinals up to ω+ω, but they are conservative over HA w.r.t. definability.
Original languageEnglish
Pages (from-to)105
Number of pages9
JournalIndagationes Mathematicae
Volume11
DOIs
Publication statusPublished - 1990

Fingerprint Dive into the research topics of 'Elementary inductive definitions in HA: from strictly positive towards monotone'. Together they form a unique fingerprint.

  • Cite this