Effectiveness for the Dual Ramsey Theorem-Reference-Cited by-同舟云学术

Effectiveness for the Dual Ramsey Theorem

Published:2021-08-01 Issue:3 Volume:62 Page:
ISSN:0029-4527
Container-title:Notre Dame Journal of Formal Logic
language:
Short-container-title:Notre Dame J. Formal Logic

Author:

Dzhafarov Damir¹,Flood Stephen²,Solomon Reed¹,Westrick Linda³

Affiliation:

1. Department of Mathematics, University of Connecticut, Storrs, Connecticut, USA

2. Department of Mathematics, Bridgewater State University, Bridgewater, Massachusetts, USA

3. Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania, USA

Publisher

Duke University Press

Subject

Logic

Reference19 articles.

1. Ash, C. J., and J. Knight, Computable Structures and the Hyperarithmetical Hierarchy, vol. 144 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 2000.

2. Astor, E. P., D. Dzhafarov, A. Montalbán, R. Solomon, and L. B. Westrick, “The determined property of Baire in reverse math,” Journal of Symbolic Logic, vol. 85 (2020), pp. 166–98.

3. Blass, A. R., J. L. Hirst, and S. G. Simpson, “Logical analysis of some theorems of combinatorics and topological dynamics,” pp. 125–56 in Logic and Combinatorics (Arcata, CA, 1985), edited by S. G. Simpson, vol. 65 of Contemporary Mathematics, American Mathematical Society, Providence, 1987.

4. Carlson, T. J., and S. G. Simpson, “A dual form of Ramsey’s theorem,” Advances in Mathematics, vol. 53 (1984), pp. 265–90.

5. Chong, C. T., S. Lempp, and Y. Yang, “On the role of the collection principle for ${\Sigma _{2}^{0}}$ -formulas in second-order reverse mathematics,” Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 1093–100.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Carlson-Simpson's lemma and applications in reverse mathematics;Annals of Pure and Applied Logic;2023-10

2. Metric fixed point theory and partial impredicativity;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

3. Weak and strong versions of Effective Transfinite Recursion;Annals of Pure and Applied Logic;2023-04

4. Borel combinatorics fail in HYP;Journal of Mathematical Logic;2022-12-17