American Mathematical Society

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

  
Results: 1 to 30 of 36 found      Go to page: 1 2

[1] Paul Shafer. The reverse mathematics of the Tietze extension theorem. Proc. Amer. Math. Soc.
Abstract, references, and article information   
View Article: PDF

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

[3] François G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst, Joseph R. Mileti and Paul Shafer. On uniform relationships between combinatorial problems. Trans. Amer. Math. Soc. 368 (2016) 1321-1359.
Abstract, references, and article information   
View Article: PDF

[4] Lu Liu. Cone avoiding closed sets. Trans. Amer. Math. Soc. 367 (2015) 1609-1630.
Abstract, references, and article information   
View Article: PDF

[5] C. T. Chong, Theodore A. Slaman and Yue Yang. The metamathematics of Stable Ramsey's Theorem for Pairs. J. Amer. Math. Soc. 27 (2014) 863-892.
Abstract, references, and article information   
View Article: PDF

[6] Chris J. Conidis. Chain conditions in computable rings. Trans. Amer. Math. Soc. 362 (2010) 6523-6550. MR 2678985.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[7] Denis R. Hirschfeldt, Richard A. Shore and Theodore A. Slaman. The atomic model theorem and type omitting. Trans. Amer. Math. Soc. 361 (2009) 5805-5837. MR 2529915.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[8] Noam Greenberg and Antonio Montalbán. Ranked structures and arithmetic transfinite recursion. Trans. Amer. Math. Soc. 360 (2008) 1265-1307. MR 2357696.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[9] Richard A. Shore. Invariants, Boolean algebras and ACA$_{0}^{+}$. Trans. Amer. Math. Soc. 358 (2006) 989-1014. MR 2187642.
Abstract, references, and article information
View Article: PDF
This article is available free of charge

[10] James H. Schmerl. Minimal spanning trees. Proc. Amer. Math. Soc. 132 (2004) 333-340. MR 2022353.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[11] Juraj Simko. Metrizable and $\mathbb{R}$-metrizable betweenness spaces. Proc. Amer. Math. Soc. 127 (1999) 323-325. MR 1458264.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[12] Robert Mendris and Pavol Zlatoš. Axiomatization and undecidability results for metrizable betweenness relations . Proc. Amer. Math. Soc. 123 (1995) 873-882. MR 1219728.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[13] R. H. Gurevič. Detecting algebraic (in)dependence of explicitly presented functions (some applications of Nevanlinna theory to mathematical logic) . Trans. Amer. Math. Soc. 336 (1993) 1-67. MR 991961.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[14] Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers. Colloquium Publications 41 (1987) 191-230.
Book volume table of contents
View Article: PDF

[15] The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$. Colloquium Publications 41 (1987) 45-94.
Book volume table of contents
View Article: PDF

[16] The formalism $\mathcal L$of predicate logic. Colloquium Publications 41 (1987) 1-22.
Book volume table of contents
View Article: PDF

[17] The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$. Colloquium Publications 41 (1987) 23-44.
Book volume table of contents
View Article: PDF

[18] Some improvements of the equipollence results. Colloquium Publications 41 (1987) 147-168.
Book volume table of contents
View Article: PDF

[19] Alfred Tarski and Steven Givant. A Formalization of Set Theory without Variables. Colloquium Publications 41 (1987) MR MR920815.
Book volume table of contents

[20] The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times $. Colloquium Publications 41 (1987) 95-146.
Book volume table of contents
View Article: PDF

[21] Implications of the main results for semantic and axiomatic foundations of set theory. Colloquium Publications 41 (1987) 169-190.
Book volume table of contents
View Article: PDF

[22] Applications to relation algebras and to varieties of algebras. Colloquium Publications 41 (1987) 231-272.
Book volume table of contents
View Article: PDF

[23] William H. Wheeler. The first order theory of $N$-colorable graphs . Trans. Amer. Math. Soc. 250 (1979) 289-310. MR 530057.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[24] C. H. Langford. On a type of completeness characterizing the general laws for separation of point-pairs . Trans. Amer. Math. Soc. 29 (1927) 96-110. MR 1501378.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[25] Alonzo Church. On irredundant sets of postulates . Trans. Amer. Math. Soc. 27 (1925) 318-328. MR 1501316.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[26] Edward V. Huntington. A new set of postulates for betweenness, with proof of complete independence . Trans. Amer. Math. Soc. 26 (1924) 257-282. MR 1501278.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[27] W. E. Van De Walle. On the complete independence of the postulates for betweenness . Trans. Amer. Math. Soc. 26 (1924) 249-256. MR 1501277.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[28] Edward V. Huntington and J. Robert Kline. Sets of independent postulates for betweenness . Trans. Amer. Math. Soc. 18 (1917) 301-325. MR 1501071.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[29] Ralph E. Root. Limits in terms of order, with example of limiting element not approachable by a sequence . Trans. Amer. Math. Soc. 15 (1914) 51-71. MR 1500965.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[30] Edward V. Huntington. A set of postulates for real algebra, comprising postulates for a one-dimensional continuum and for the theory of groups . Trans. Amer. Math. Soc. 6 (1905) 17-41. MR 1500691.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge


Results: 1 to 30 of 36 found      Go to page: 1 2


Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia