The following pages link to (Q3843617):
Displaying 15 items.
- Countable admissible ordinals and hyperdegrees (Q1142207) (← links)
- Derivatives of normal functions in reverse mathematics (Q2216034) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem (Q2841359) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- (Q5544276) (← links)
- Measure-theoretic uniformity (Q5549044) (← links)
- The Forcing Method and the Upper Semilattice of Hyperdegrees (Q5554956) (← links)
- Recursive Pseudo-Well-Orderings (Q5579489) (← links)
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory (Q5609369) (← links)
- THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES (Q6180600) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
- Connecting real and hyperarithmetical analysis (Q6670899) (← links)