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 47 found      Go to page: 1 2

[1] Peter Cholak, Rodney G. Downey and Greg Igusa. Any FIP real computes a 1-generic. Trans. Amer. Math. Soc. 369 (2017) 5855-5869.
Abstract, references, and article information   
View Article: PDF

[2] Penelope Maddy. Set-theoretic foundations. Contemporary Mathematics 690 (2017) 289-322.
Book volume table of contents   
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] 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

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

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

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

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

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

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

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

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

[14] Translator's introduction (Theory of Fuchsian groups/Memoir on Kleinian groups/On the applications of noneuclidean geometry to the theory of quadratic. History of Mathematics 10 (1996) 113-122.
Book volume table of contents
View Article: PDF

[15] Translator's introduction (Fundamental theory of spaces of constant curvature). History of Mathematics 10 (1996) 35-40.
Book volume table of contents
View Article: PDF

[16] Translator's introduction (Essay on the interpretation of noneuclidean geometry). History of Mathematics 10 (1996) 1-5.
Book volume table of contents
View Article: PDF

[17] Essay on the interpretation of noneuclidean geometry. History of Mathematics 10 (1996) 7-34.
Book volume table of contents
View Article: PDF

[18] John Stillwell. Sources of Hyperbolic Geometry. History of Mathematics 10 (1996) MR MR1402697.
Book volume table of contents

[19] Translator's introduction (On the so-called noneuclidean geometry). History of Mathematics 10 (1996) 63-68.
Book volume table of contents
View Article: PDF

[20] Fundamental theory of spaces of constant curvature. History of Mathematics 10 (1996) 41-62.
Book volume table of contents
View Article: PDF

[21] On the so-called noneuclidean geometry. History of Mathematics 10 (1996) 69-111.
Book volume table of contents
View Article: PDF

[22] Theory of Fuchsian groups/Memoir on Kleinian groups/On the applications of noneuclidean geometry to the theory of quadratic forms. History of Mathematics 10 (1996) 123-145.
Book volume table of contents
View Article: PDF

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

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

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

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

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

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

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

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


Results: 1 to 30 of 47 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