Pages that link to "Item:Q2841359"
From MaRDI portal
The following pages link to Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem (Q2841359):
Displaying 6 items.
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH (Q5107225) (← links)
- Open sets in computability theory and reverse mathematics (Q5140330) (← links)
- THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES (Q6180600) (← links)
- Connecting real and hyperarithmetical analysis (Q6670899) (← links)