scientific article

zbMath0582.03043MaRDI QIDQ3705449

Andrea Cantini

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductive definitions

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (8)

Levels of truth ⋮ A note on the theory SID<ω of stratified induction ⋮ Passive induction and a solution to a Paris-Wilkie open question ⋮ A note on the theory of positive induction, \({{\text{ID}}^*_1}\) ⋮ An ordinal analysis for theories of self-referential truth ⋮ The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule ⋮ Truth and the philosophy of mathematics ⋮ Universes over Frege structures

This page was built for publication: