The following pages link to (Q3705449):
Displayed 7 items.
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Levels of truth (Q1903585) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- A note on the theory SID<ω of stratified induction (Q2933746) (← links)