Pages that link to "Item:Q1071019"
From MaRDI portal
The following pages link to Arithmetic transfinite induction and recursive well-orderings (Q1071019):
Displaying 17 items.
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
- Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction (Q1130232) (← links)
- A non-well-founded primitive recursive tree provably well-founded for co-r. e. sets (Q1407539) (← links)
- Takeuti's well-ordering proof: finitistically fine? (Q1711783) (← links)
- Intuitionistically provable recursive well-orderings (Q1820780) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- On the quantificational logic of intuitionistic set theory (Q3726115) (← links)
- (Q3837736) (← links)
- Universal Induction and True Universal Arithmetic (Q4304155) (← links)
- Arithmetical transfinite induction and hierarchies of functions (Q4314785) (← links)
- Variation on a theme of Schütte (Q4736753) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)