Pages that link to "Item:Q1071019"
From MaRDI portal
The following pages link to Arithmetic transfinite induction and recursive well-orderings (Q1071019):
Displaying 4 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)
- Intuitionistically provable recursive well-orderings (Q1820780) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
