scientific article
From MaRDI portal
Publication:3705449
zbMath0582.03043MaRDI QIDQ3705449
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Levels of truth, A note on the theory SID<ω of stratified induction, 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
