Pages that link to "Item:Q4140973"
From MaRDI portal
The following pages link to Uniformly defined descending sequences of degrees (Q4140973):
Displaying 9 items.
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- The metamathematics of scattered linear orderings (Q1106846) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- Embeddings of countable closed sets and reverse mathematics (Q1313599) (← links)
- Derived sequences and reverse mathematics (Q4304782) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES (Q5021923) (← links)
- Incompleteness and jump hierarchies (Q5119250) (← links)
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502) (← links)