Pages that link to "Item:Q922541"
From MaRDI portal
The following pages link to Fixed point theory in weak second-order arithmetic (Q922541):
Displaying 16 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Reverse mathematics and order theoretic fixed point theorems (Q527337) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Complex analysis in subsystems of second order arithmetic (Q866888) (← links)
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- An independence result on weak second order bounded arithmetic (Q2720322) (← links)
- The Brouwer Fixed Point Theorem Revisited (Q3188240) (← links)
- Separation and Weak König's Lemma (Q4254634) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007) (← links)
- A non-standard construction of Haar measure and weak König's lemma (Q4953213) (← links)
- Two kinds of fixed point theorems and reverse mathematics (Q5108123) (← links)
- The Brouwer invariance theorems in reverse mathematics (Q5135421) (← links)
- Connected choice and the Brouwer fixed point theorem (Q5223123) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
