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:
Main Authors: | Chong, C.T., Lempp, S., Yang, Y. |
---|---|
Other Authors: | MATHEMATICS |
Format: | Article |
Published: |
2014
|
Subjects: | |
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 |
Similar Items
-
A sharp cut algorithm for optimization
by: Inamdar, S.R., et al.
Published: (2014) -
SOME RESULTS ABOUT HINDMAN'S THEOREM AND GOWERS' THEOREM IN REVERSE MATHEMATICS.
by: LIAO YUKE
Published: (2023) -
Numerical and Experimental Study on Cutting Access Opening in Ship Structure
by: Zhou, Bo, et al.
Published: (2017) -
A linear programming application to the cutting stock problem of ABC Corrugated Box Manufacturing Company
by: Cheng, Grace U., et al.
Published: (1986) -
Automated acrylic plastic cutting machine
by: Castillo, Ricardo S., et al.
Published: (2002)