Results for 'American Mathematical Society'

1000+ found
Order:
  1.  5
    Minimal Degrees of Unsolvability and the Full Approximation Construction.American Mathematical Society, Donald I. Cartwright, John Williford Duskin & Richard L. Epstein - 1975 - American Mathematical Soc..
    For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. A Lattice of Chapters of Mathematics.Jan Mycielski, Pavel Pudlák, Alan S. Stern & American Mathematical Society - 1990 - American Mathematical Society.
     
    Export citation  
     
    Bookmark   7 citations  
  3. Bulletin of the American Mathematical Society.J. M. Child - 1916 - The Monist 26:630.
     
    Export citation  
     
    Bookmark  
  4.  68
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  15
    the American Mathematical Society during January 8–11, 1997, in San Diego, California.• The 1996–97 ASL Annual Meeting will be held March 22–25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the local organizing com-mittee is Sy Friedman.• The 1997 ASL European Summer Meeting (Logic Colloquium'97) will be held in early. [REVIEW]J. Derrick, F. Drake, D. Macpherson, A. Slomson, J. Truss & S. Wainer - 1995 - Bulletin of Symbolic Logic 1 (3).
  6. Bulletin of the American Mathematical Society.Frederic A. Woodruff - 1916 - The Monist 26:318.
     
    Export citation  
     
    Bookmark  
  7.  10
    Machover M.. The theory of transfinite recursion. Bulletin of the American Mathematical Society. vol. 67 . pp. 575–578.Jon Barwise - 1970 - Journal of Symbolic Logic 35 (2):335-335.
  8.  10
    “Increasing the Utility of the Society”: The Colloquium Lectures of the American Mathematical Society.Karen Hunger Parshall - 2015 - Philosophia Scientiae 19:153-169.
    Cette étude retrace l’évolution de la série de « Colloquium lectures » de l’American Mathematical Society dès sa création en 1896 jusqu’au début de la deuxième guerre mondiale. Ces cours constituent une importante innovation dans l’échange mathématique aux États-Unis. Ils ont servi à la fois à porter la communication mathématique à un haut niveau et à organiser plus efficacement une communauté nationale de mathématiciens.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  4
    “Increasing the Utility of the Society”: The Colloquium Lectures of the American Mathematical Society.Karen Hunger Parshall - 2015 - Philosophia Scientiae 19:153-169.
    Cette étude retrace l’évolution de la série de « Colloquium lectures » de l’American Mathematical Society (AMS) dès sa création en 1896 jusqu’au début de la deuxième guerre mondiale. Ces cours constituent une importante innovation dans l’échange mathématique aux États-Unis. Ils ont servi à la fois à porter la communication mathématique à un haut niveau et à organiser plus efficacement une communauté nationale de mathématiciens.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  59
    Birkhoff Garrett. Lattice theory. American Mathematical Society Colloquium publications, vol. 25. American Mathematical Society, New York 1940, v + 155 pp. [REVIEW]H. E. Vaughan - 1940 - Journal of Symbolic Logic 5 (4):155-157.
  11.  31
    Robinson Raphael M.. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 , S.137–159.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):268-269.
  12.  26
    Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 544–546.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
  13.  22
    V. D. Vuckovic. Almost recursive sets. Proceedings of the American Mathematical Society, vol. 23 , pp. 114–119.C. E. Bredlau - 1973 - Journal of Symbolic Logic 38 (3):525-526.
  14.  18
    The Double-Edged Helix: Social Implications of Genetics in a Diverse Society.Joseph S. Alper, Catherine Ard, Adrienne Asch, Peter Conrad, Jon Beckwith, American Cancer Society Research Professor of Microbiology and Molecular Genetics Jon Beckwith, Harry Coplan Professor of Social Sciences Peter Conrad & Lisa N. Geller - 2002
    The rapidly changing field of genetics affects society through advances in health-care and through implications of genetic research. This study addresses the impacts of new genetic discoveries and technologies on different segments of today's society. The book begins with a chapter on genetic complexity, and subsequent chapters discuss moral and ethical questions arising from today's genetics from the perspectives of health care professionals, the media, the general public, special interest groups and commercial interests.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  12
    Lyndon R. C.. Identities in finite algebras. Proceedings of the American Mathematical Society, vol. 5 , pp. 8–9.Hugo Ribeiro - 1957 - Journal of Symbolic Logic 22 (4):379-379.
  16.  22
    R. O. Gandy. On a problem of Kleene's. Bulletin of the American Mathematical Society, vol. 66 , pp. 501–502.Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  8
    Shapiro Norman. Degrees of computability. Transactions of the American Mathematical Society, vol. 82 , pp. 281–299.H. G. Rice - 1958 - Journal of Symbolic Logic 23 (1):48-49.
  18.  9
    Chang C. C.. On unions of chains of models. Proceedings of the American Mathematical Society, vol. 10 , pp. 120–127.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):169-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  19
    Hartley RogersJr., On universal functions. Proceedings of the American Mathematical Society, vol. 16 , pp. 39–44.C. E. M. Yates - 1966 - Journal of Symbolic Logic 31 (3):513-513.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  18
    T. G. McLaughlin. Co-immune retraceable sets. Bulletin of the American Mathematical Society, vol. 71 , pp. 523–525.C. E. M. Yates - 1967 - Journal of Symbolic Logic 32 (1):123.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    Grau A. A.. Ternary Boolean algebra. Bulletin of the American Mathematical Society, vol. 53 , pp. 567–572.H. E. Vaughan - 1947 - Journal of Symbolic Logic 12 (4):136-136.
  22.  22
    Remembering Kolmogorov: Harold H. McFadden : Kolmogorov in perspective. Series: History of mathematics. Vol. 20. American Mathematical Society/london Mathematical Society, 2000 , x+230pp, $51 PB.Paul M. B. Vitányi - 2011 - Metascience 20 (3):509-511.
    Remembering Kolmogorov Content Type Journal Article Pages 1-3 DOI 10.1007/s11016-011-9540-6 Authors Paul M. B. Vitányi, CWI, Science Park 123, 1098 XG Amsterdam, The Netherlands Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    McKinsey J. C. C.. Reducible Boolean functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 263–267.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):69-69.
  24.  35
    Carl G. JockuschJr., and David B. Posner. Double jumps of minimal degrees. The journal of symbolic logic, vol. 43 no. 4 , pp. 715–724. - Carl G. JockuschJr., and David B. Posner. Automorphism bases for degrees of unsotvability. Israel journal of mathematics, vol. 40 , pp. 150–164. - Richard L. Epstein. Initial segments of degrees below 0′. Memoirs of the American Mathematical Society, no. 241. American Mathematical Society, Providence1981, vi + 102 pp. - Richard A. Shore. The theory of the degrees below 0′. The journal of the London Mathematical Society, ser. 2 vol. 24 , pp. 1–14.M. Lerman - 1985 - Journal of Symbolic Logic 50 (2):550-552.
  25.  11
    W. V. Quine and Hao Wang. On ordinals. Bulletin of the American Mathematical Society, vol. 70 , pp. 297–298.Azriel Lévy - 1968 - Journal of Symbolic Logic 33 (1):113.
  26.  18
    Fred B. Wright. Ideals in apolyadic algebra. Proceedings of the American Mathematical Society, vol. 8 , pp. 544–546.Don Pigozzi - 1971 - Journal of Symbolic Logic 36 (3):542.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  17
    Ehud Hrushovski and Boris Zilber. Zariski geometries, Journal of the American Mathematical Society, vol. 9 , pp. 1–56.A. Pillay - 1999 - Journal of Symbolic Logic 64 (2):906-908.
  28.  17
    Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 , pp. 245–250.Donald A. Martin - 1973 - Journal of Symbolic Logic 38 (4):653.
  29.  22
    McLaughlin T. G.. Hereditarily retraceable isols. Bulletin of the American Mathematical Society, vol. 73 , pp. 113–115.Fred J. Sansone - 1968 - Journal of Symbolic Logic 33 (1):114-115.
  30.  33
    Reuben Hersh. Experiencing Mathematics: What Do We Do, When We Do Mathematics?. Providence, Rhode Island: American Mathematical Society, 2014. ISBN 978-0-8218-9420-0. Pp. xvii + 291. [REVIEW]Stephen Pollard - 2014 - Philosophia Mathematica 22 (2):271-274.
  31.  21
    Moti Gitik. Regular cardinals in models of ZF. Transactions of the American Mathematical Society, vol. 290 , pp. 41–68.Thomas Jech - 1994 - Journal of Symbolic Logic 59 (2):668-668.
  32.  14
    R. L. Vaught. Models of complete theories. Bulletin of the American Mathematical Society, vol. 69 , pp. 299–313.H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  17
    Koopman B. O.. The bases of probability. Bulletin of the American Mathematical Society, vol. 46 , pp. 763–774.Ernest Nagel - 1941 - Journal of Symbolic Logic 6 (1):34-35.
  34.  9
    Shoenfield J. R.. Quasicreative sets. Proceedings of the American Mathematical Society, vol. 8 , pp. 964–967.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-166.
  35. I[ω₂] can be the nonstationary ideal on Cof. Transactions of the American Mathematical Society, vol. 361.William J. Mitchell - 2011 - Bulletin of Symbolic Logic 17 (4):535-537.
  36.  22
    Leblanc Leon. Nonhomogeneous polyadic algebras. Proceedings of the American Mathematical Society, vol. 13 , pp. 59–65.Donald Monk - 1964 - Journal of Symbolic Logic 29 (1):53-53.
  37.  23
    Donder Hans-Dieter. Regularity of ultrafilters and the core model. Israel journal of mathematics, vol. 63 , pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some stationary subsets of P. Proceedings of the American Mathematical Society, vol. 102 , pp. 1000–1004. - Walker D. J.. On the transversal hypothesis and the weak Kurepa hypothesis. The journal of symbolic logic, vol. 53 , pp. 854–877. [REVIEW]Stewart Baldwin - 1990 - Journal of Symbolic Logic 55 (3):1313-1315.
  38.  7
    Greg Hjorth. Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75. American Mathematical Society, Providence, RI, 2000, xviii + 195 pp. - Greg Hjorth. A dichotomy theorem for turbulence. The Journal of Symbolic Logic, vol. 67 no. 4 , pp. 1520–1540. [REVIEW]Howard Becker - 2010 - Bulletin of Symbolic Logic 16 (3):403-405.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  56
    Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 , pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L. The journal of symbolic logic, vol. 56 , pp. 260–275. - Steve Jackson. A computation of. Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  12
    Quine W. V.. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 , pp. 561–569.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):116-117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  24
    Bradd Hart and Matthew Valeriote. A structure theorem for strongly abelian varieties with few models. The journal of symbolic logic, vol. 56 , pp. 832–852. - Bradd Hart and Sergei Starchenko. Addendum to “A structure theorem for strongly abelian varieties.”The journal of symbolic logic., vol. 58 , pp. 1419–1425. - Bradd Hart, Sergei Starchenko, and Matthew Valeriote. Vaught's conjecture for varieties. Transactions of the American Mathematical Society, vol. 342 , pp. 173–196. - B. Hart and S. Starchenko. Superstable quasi-varieties. Annals of pure and applied logic, vol. 69 , pp. 53–71. - B. Hart, A. Pillay, and S. Starchenko. Triviality, NDOP and stable varieties. Annals of pure and applied logic., vol. 62 , pp. 119–146.Ralph McKenzie - 1999 - Journal of Symbolic Logic 64 (4):1820-1821.
  42.  12
    Nerode A.. Linear automaton transformations. Proceedings of the American Mathematical Society, vol. 9 , pp. 541–544.Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (2):173-174.
  43.  39
    Halmos Paul R.. Free monadic algebras. Proceedings of the American Mathematical Society, vol. 10 , pp. 219–227. Reprinted in Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 85–95. [REVIEW]Aubert Daigneault - 1962 - Journal of Symbolic Logic 27 (4):469-469.
  44.  8
    W. Kubiś and V. Uspenskij. A compact group which is not Valdivia compact. Proceedings of the American Mathematical Society, vol. 133 (2005), no. 8, pp. 2483–2487. - W. Kubiś and H. Michalewski. Small Valdivia compact spaces. Topology and its Applications, vol. 153 (2006), no. 14, pp. 2560–2573. - M. Burke and W. Kubiś and S. Todorčević. Kadec norms on spaces of continuous functions. Serdica. Mathematical Journal, vol. 32 (2006), no. 2–3, pp. 227–258. - W. Kubiś. Compact spaces generated by retractions. Topology and its Applications, vol. 153, (2006), no. 18, pp. 3383–3396. [REVIEW]Mirna Džamonja & Grzeoorz Plebanek - 2009 - Bulletin of Symbolic Logic 15 (2):227-228.
  45.  8
    J. C. E. Dekker. Two notes on recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 4 , pp. 495–501. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (1):73-74.
  46.  18
    Dekker J. C. E. and Myhill J.. Some theorems on classes of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 89 , pp. 25–59. [REVIEW]Martin Davis - 1962 - Journal of Symbolic Logic 27 (1):84-84.
  47.  3
    Rice H. G.. Recursive and recursively enumerable orders. Transactions of the American Mathematical Society, vol. 83 , pp. 277–300. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):375-375.
  48.  24
    Robinson Julia. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 , pp. 703–718. [REVIEW]Martin Davis - 1951 - Journal of Symbolic Logic 16 (4):280-280.
  49.  23
    Wilson E. Singletary. A complex of problems proposed by Post. Bulletin of the American Mathematical Society, vol. 70 , pp. 105–109. See Correction, ibid., p. 826. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (2):273-274.
  50.  20
    R. S. Pierce. A note on free algebras. Proceedings of the American Mathematical Society, vol. 14 , pp. 845–846.Philip Dwinger - 1968 - Journal of Symbolic Logic 33 (1):125.
1 — 50 / 1000