On the role of the collection principle for ∑2 0 -formulas in second-order reverse mathematics

On the role of the collection principle for ∑2 0 -formulas in second-order reverse mathematics

10.1090/S0002-9939-09-10115-6

Saved in:
Bibliographic Details
Main Authors: Chong, C.T., Lempp, S., Yang, Y.
Other Authors: MATHEMATICS
Format: Article
Published: 2014
Subjects:
∑2 0 -bounding
Bi-tame cut
Linear order
Ramsey's theorem
Reverse mathematics
Tame cut
Online Access:http://scholarbank.nus.edu.sg/handle/10635/103836
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:10.1090/S0002-9939-09-10115-6

Similar Items