American Mathematical Society

My Account · My Cart · Customer Services · FAQ  
AMS eContent Search Results
Matches for: msc=(03F35) AND publication=(proc)
Sort order: Date
Format: Standard display

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

[1] Alexander P. Kreuzer. Measure theory and higher order arithmetic. Proc. Amer. Math. Soc.
Abstract, references, and article information   
View Article: PDF

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

[3] 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

[4] 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 4 of 4 found      Go to page: 1