Results for 'Vietnam Mathematical Society'

974 found
Order:
  1.  8
    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.  28
    The Cham of Vietnam: History, Society, and Art.Bruce Lockhart & Tran Ky Phuong - 2013 - Philosophy East and West 63 (2).
  4.  22
    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).
  5.  9
    Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  49
    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.
  7. 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.
  8.  32
    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.
  9.  64
    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.
  10.  35
    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.
  11.  44
    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.
  12.  60
    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.
  13.  31
    A. H. Lachlan. On a problem of G. E. Sacks. Proceedings of the American Mathematical Society, vol. 16 , pp. 972–979.Gustav B. Hensel - 1967 - Journal of Symbolic Logic 32 (1):125.
  14.  47
    Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 , pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 , pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 , pp. 43–55.Gustav B. Hensel - 1971 - Journal of Symbolic Logic 36 (2):341-342.
  15.  58
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  51
    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.
  17.  30
    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.  80
    Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
  19.  39
    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.
  20.  36
    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.
  21.  41
    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.
  22.  42
    (1 other version)Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 , pp. 385–391.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
  23.  23
    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.  39
    Paul J. Cohen. A minimal model for set theory. Bulletin of the American Mathematical Society, vol. 69 , pp. 537–540.William B. Easton - 1965 - Journal of Symbolic Logic 30 (2):250-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  46
    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.
  26.  45
    “Increasing the Utility of the Society”: The Colloquium Lectures of the American Mathematical Society.Karen Hunger Parshall - 2015 - Philosophia Scientiae 19-2 (19-2):153-169.
    This study traces the creation—in 1896—and evolution—through the outbreak of World War II—of the Colloquium lecture series of the American Mathematical Society (AMS). It documents how this innovation fostered a new sort of mathematical exchange and, in so doing, allowed the AMS to serve more effectively both as an agent of research-level mathematical communication and as a more truly national mathematical organization.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  39
    C. J. Mozzochi. The Fermat Diary. xii + 196 pp., frontis., illus., apps., bibl., index.Providence, R.I.: American Mathematical Society, 2000. $29. [REVIEW]Albert Lewis - 2002 - Isis 93 (1):156-156.
    This is the diary of an observant mathematician who documented the drama of the resolution of Fermat's Last Theorem as it unfolded around him from 1993 to 1995. Pierre Fermat claimed around 1637, in the most famous marginalia in the history of mathematics, to have a proof of the theorem that xn + yn = zn has no whole number solutions for n greater than 2. The other principal figure is the British mathematician Andrew Wiles, who emigrated to Princeton University (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  44
    Andreas Baudisch, A new uncountably categorical group, Transactions of the American Mathematical Society, vol. 348 , pp. 3889–3940. [REVIEW]Gregory Cherlin - 1999 - Journal of Symbolic Logic 64 (2):905-906.
  29.  31
    (1 other version)Birkhoff Garrett. Lattice theory. Revised edition. American Mathematical Society Colloquium publications, vol. 25. American Mathematical Society, New York 1948, xiii + 283 pp. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):59-60.
  30.  36
    Robert W. Robinson. Simplicity of recursively enumerable sets.The journal of symbolic logic, vol. 32 , pp. 162–172. - Robert W. Robinson. Two theorems on hyperhypersimple sets. Transactions of the American Mathematical Society, vol. 128 , pp. 531–538. - A. H. Lachlan. On the lattice of recursively enumerable sets.Transactions of the American Mathematical Society, vol. 130 , pp. 1–37. - A. H. Lachlan. The elementary theory of recursively enumerable sets. Duke mathematical journal, vol. 35 , pp. 123–146. [REVIEW]James C. Owings - 1970 - Journal of Symbolic Logic 35 (1):153-155.
  31.  20
    Hirano Jirô. Einige Bermerkungen zum v. Neumannschen Axiomensystem der Mengenlehre. Proceedings of the Physico-mathematical Society of Japan, 3 s. vol. 19 , pp. 1027–1045. [REVIEW]W. V. Quine - 1938 - Journal of Symbolic Logic 3 (2):121-122.
  32.  25
    Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, and Charles Steinhorn, London Mathematical Society Lecture Note Series. Cambridge University Press, 2011, 356 pp. [REVIEW]Michael Benedikt - 2013 - Bulletin of Symbolic Logic 19 (1):112-115.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  67
    Charles W. Curtis. Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer. xvi + 287 pp., illus., apps., bibl., index.Providence, R.I.: American Mathematical Society, 1999. $49. [REVIEW]Leo Corry - 2002 - Isis 93 (1):126-126.
    Charles W. Curtis is a prominent mathematician who has made important contributions to the field of representation theory. His textbooks in this field have been classics for a long time. In Pioneers of Representation Theory he has set out to present the historical development of the main ideas of the discipline, from the work of Georg Ferdinand Frobenius in the 1890s up to 1960. In addition to Frobenius, the book focuses mainly on three other “pioneers”: William Burnside, Issai Schur, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  25
    Julia Robinson. Existential definability in arithmetic. Transactions of the American Mathematical Society, Bd. 72 , S. 437–449. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (2):182-183.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  56
    Kamel Hyman. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 , pp. 342–344. [REVIEW]Hugo Ribeiro - 1957 - Journal of Symbolic Logic 22 (4):370-371.
  36.  77
    Rose Alan. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 , pp. 587–591. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.
  37.  27
    P. G. Lejeune Dirichlet. Lectures on Number Theory. Supplements by, R. Dedekind. Translated by, John Stillwell. xx + 275 pp., apps., index. Providence, R.I.: American Mathematical Society, 1999. $49. [REVIEW]Catherine Goldstein - 2002 - Isis 93 (4):718-718.
  38.  19
    Set theory, Annual Boise Extravaganza in Set Theory conference, March 13–15, 1992, April 10–11, 1993, March 25–27,1994, Boise State University, Boise, Idaho, edited by Tomek Bartoszyński and Marion Scheepers, Contemporary mathematics, vol. 192, American Mathematical Society, Providence1996, xii + 184 pp. [REVIEW]Martin Goldstern - 1997 - Journal of Symbolic Logic 62 (2):680-683.
  39.  40
    Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 , pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 , pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 , pp. 39–44. [REVIEW]Forbes D. Lewis - 1974 - Journal of Symbolic Logic 39 (1):186-187.
  40.  43
    Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 , pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 , pp. 394–402. [REVIEW]Lars Lofgren - 1972 - Journal of Symbolic Logic 37 (2):411.
  41.  67
    Orey Steven. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 , pp. 72–84. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
  42.  23
    Kino Akiko. A consistency-proof of a formal theory of Ackermann's ordinal numbers. Journal of the Mathematical Society of Japan, vol. 10 , pp. 287–303. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):392-392.
  43.  34
    I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 , pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 , pp. 191–230. [REVIEW]Hilbert Levitz - 1967 - Journal of Symbolic Logic 32 (1):127-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  32
    Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 , pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 , pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43. [REVIEW]Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  48
    Stone M. H.. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, vol. 41 . pp. 375–481. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):88-89.
  46.  31
    A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 , pp. 204–212. [REVIEW]Robert McNaughton - 1964 - Journal of Symbolic Logic 29 (4):210-212.
  47.  41
    Judy Roitman. Height and width of superatomic Boolean algebras. Proceedings of the American Mathematical Society, vol. 94 , pp. 9–14. - James E. Baumgartner and Saharon Shelah. Remarks on superatomic Boolean algebras. Annals of pure and applied logic, vol. 33 , pp. 109–129. [REVIEW]Martin Weese - 1989 - Journal of Symbolic Logic 54 (3):1108-1109.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48.  13
    Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp. [REVIEW]Sam Buss - 2012 - Bulletin of Symbolic Logic 18 (4):576-578.
  49.  29
    Bernstein B. A.. Postulate-sets for Boolean rings. Transactions of the American Mathematical Society, vol. 55 , pp. 393–400. [REVIEW]Alonzo Chubch - 1944 - Journal of Symbolic Logic 9 (2):54-54.
  50.  60
    J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 , pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
1 — 50 / 974