AMS eContent Search Results
Matches for: msc=(03F35) AND publication=(proc)
Sort order: Date
Format: Standard display

  
Results: 1 to 7 of 7 found      Go to page: 1

[1] Lorenzo Carlucci. ``Weak yet strong'' restrictions of Hindman's Finite Sums Theorem. Proc. Amer. Math. Soc.
Abstract, references, and article information   
View Article: PDF

[2] Damir D. Dzhafarov, Ludovic Patey, Reed Solomon and Linda Brown Westrick. Ramsey's theorem for singletons and strong computable reducibility. Proc. Amer. Math. Soc. 145 (2017) 1343-1355.
Abstract, references, and article information   
View Article: PDF

[3] Paul Shafer. The reverse mathematics of the Tietze extension theorem. Proc. Amer. Math. Soc. 144 (2016) 5359-5370.
Abstract, references, and article information   
View Article: PDF

[4] Alexander P. Kreuzer. Measure theory and higher order arithmetic. Proc. Amer. Math. Soc. 143 (2015) 5411-5425.
Abstract, references, and article information   
View Article: PDF

[5] Damir D. Dzhafarov. Cohesive avoidance and strong reductions. Proc. Amer. Math. Soc. 143 (2015) 869-876.
Abstract, references, and article information   
View Article: PDF

[6] C. T. Chong, Steffen Lempp and Yue Yang. On the role of the collection principle for $\Sigma ^0_2$-formulas in second-order reverse mathematics. Proc. Amer. Math. Soc. 138 (2010) 1093-1100. MR 2566574.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[7] Vladimir Lifschitz. An intuitionistic definition of classical natural numbers . Proc. Amer. Math. Soc. 77 (1979) 385-388. MR 545601.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge


Results: 1 to 7 of 7 found      Go to page: 1