Pages that link to "Item:Q3718711"
From MaRDI portal
The following pages link to Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen (Q3718711):
Displaying 17 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Ordinal recursive bounds for Higman's theorem (Q1129003) (← links)
- Analyzing Nash-Williams' partition theorem by means of ordinal types (Q1191918) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Well quasi-orders arising from finite ordered semigroups (Q2163999) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Bachmann-Howard derivatives (Q6103503) (← links)
