8 results
WEAK WELL ORDERS AND FRAÏSSÉ’S CONJECTURE
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 27 September 2023, pp. 1-16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Bounds for a nonlinear ergodic theorem for Banach spaces
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 43 / Issue 5 / May 2023
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1570-1593
- Print publication:
- May 2023
-
- Article
- Export citation
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 880-906
- Print publication:
- December 2022
-
- Article
- Export citation
WELL ORDERING PRINCIPLES AND ${\Pi }^{1}_{4}$ -STATEMENTS: A PILOT STUDY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 February 2021, pp. 709-745
- Print publication:
- June 2021
-
- Article
- Export citation
From Kruskal’s theorem to Friedman’s gap condition
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 8 / September 2020
- Published online by Cambridge University Press:
- 29 January 2021, pp. 952-975
-
- Article
- Export citation
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 709-732
- Print publication:
- June 2020
-
- Article
- Export citation
PREDICATIVE COLLAPSING PRINCIPLES
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 09 December 2019, pp. 511-530
- Print publication:
- March 2020
-
- Article
- Export citation
Type-two well-ordering principles, admissible sets, and $\Pi _1^1$-comprehension
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 460-461
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation