Uniformly defined descending sequences of degrees
From MaRDI portal
Publication:4140973
Cited in
(9)- Derived sequences and reverse mathematics
- The metamathematics of scattered linear orderings
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
- On some formalized conservation results in arithmetic
- FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
- A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES
- Embeddings of countable closed sets and reverse mathematics
- Incompleteness and jump hierarchies
- Reflection ranks and ordinal analysis
This page was built for publication: Uniformly defined descending sequences of degrees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4140973)