Pages that link to "Item:Q1267846"
From MaRDI portal
The following pages link to Elimination of Skolem functions for monotone formulas in analysis (Q1267846):
Displaying 10 items.
- Program extraction for 2-random reals (Q365682) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) (Q2144618) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
