9 results
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 29 December 2022, pp. 262-307
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 316-351
- Print publication:
- March 2021
-
- Article
- Export citation
SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 10 July 2020, pp. 1006-1043
- Print publication:
- September 2020
-
- Article
- Export citation
The logic of the reverse mathematics zoo
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 3 / March 2018
- Published online by Cambridge University Press:
- 10 November 2016, pp. 412-428
-
- Article
- Export citation
The Veblen functions for computability theorists
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 2 / June 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-602
- Print publication:
- June 2011
-
- Article
- Export citation
WQO and BQO theory in subsystems of second order arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 303-330
-
- Chapter
- Export citation
The complexity of continuous embeddability between dendrites
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-673
- Print publication:
- September 2004
-
- Article
- Export citation
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-712
- Print publication:
- September 2004
-
- Article
- Export citation
Jeremy Avigad. Formalizing forcing arguments in subsystems of second-order arithmetic. Annals of pure and applied logic, vol. 82 (1996), pp. 165–191.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-391
- Print publication:
- September 2001
-
- Article
- Export citation