Index
In lieu of an abstract, here is a brief excerpt of the content:

I N D E X NUMBERS in italic print indicate pages on which either photographs or illustrations related to the subject matter may be found. Interviews and manuscripts as listed on pp. 495-498 of the bibliography have also been indexed (in boldface); Robinson's papers are included under "Publications, Abraham Robinson," listed by years keyed to the bibliography as well. Cities may be found according to their English spellings, and names are transliterated in their usual or preferred forms with alternatives in parentheses. Thus KoIn is indexed under Cologne; Matiyasevich (Matijasevic) and Mal'cev (Malcev, Maltsev) indicate alternative transliterations. Institutions are usually listed by city, sometimes by county; for example, Harvard University is found under Cambridge (USA); where locations are ambiguous or not well known, the institution is indexed directly (see, for example, IBM). Named mathematical theorems are indexed together under Theorems. Readers interested in Hubert's Nulktellensatz, for example, will find it listed there (along with Ritt's and Riickert's). Abramsky, Chimen, 40-41, 92-93, 98-99, 106, 109-110, 112, 115-117, 247; Abramsky R-1976, 40, 93, 98, 107, 109-110, 138 Abramsky, Miriam, 112, 114, 116-117, 247 Achtentuch, Feiwel, 4 Achtentuch, Moses, 5 Achtentuch, Sender, 5 Aczel, Peter, 370 Adler, Andrew, 416 Aeronautics (see Applied mathematics) Agmon, Shmuel, 259 d'Alembert, Jean Le Rond, 282, 352, 362 Algebra, 46, 54-55, 135, 139, 162, 173, 180-181, 218, 232, 298, 440, 437 Birkhoff-Witt ring, 281 Boolean algebra, 166, 180, 288, 415, 433 cylindric algebras, 172, 319 fields, 166, 173, 209-212, 214-216, 227-228, 236-237, 268, 270, 418419 , 437, 440-442; algebraic number fields and prime factorization, 343-344; algebraically closed fields, 172-174, 176, 212, 223-226, 236237 , 270, 273-275, 280, 437, 441442 , 446, 463; differentially closed fields, 273-275, 280, 300; fields of characteristic 0, 173, 177, 214, 225226 , 236, 268, 418-419; fields of characteristic/), 176; nonarchimedean , 227-228, 434-435; p-adic fields, 411, 459; real-closed ordered fields, 235-236, 270, 280, 440-442 lattice theory, 440 Lie (algebras/groups), 281, 285, 348 metamathematics of, 156-157, 160161 , 164, 168, 172-174, 213-214, 236-237, 206-213, 223-227, 232, 236-237, 263, 267-268, 318-319, 375-376, 413 nonassociative algebras, 135 ordered abelian groups, 275-276 quasi-fields, 103-106, 134 relations, 134-136 rings, 281, 298 skew fields, 281 trees, 134-135 Allenby, E.H.H. (Lord), 42 American Friends of the Hebrew University , 302 American Mathematical Society, 160, 212, 233, 235, 282, 392, 397-398, 454 summer institutes, 232 Summer Institute in Logic (Cornell), 232-239 Transactions, 172, 275 American Philosophical Association, 219 538 - Index Amira, Benjamin (Binyamin), 43, 47, 5051 , 137, 171 Amitsur, Shimshon, 259, 298 Amsterdam Amsterdam Logic Symposium (1954), 210-211,222-223 Dutch Royal Academy of Sciences Proceedings , 282, 319, 461 University of, 218 Analysis Banach spaces, 208-348 Banach-Mazur limits, 317 complex, 198, 299, 318, 346, 358-360, 451 delta functions, 394 differential equations, 273-275, 319 Haar measure, 374 Hubert space, 347, 417 hyperbolic differential equations, 159 summability, 136, 152-154, 207-208, 318 Anderson, Alan, 371 d'Angicourt, M., 350 Annals of Mathematical Logic, 409 Anscombe, F.J., 372 Anti-Semitism, 16, 23, 44, 49, 57, 79, 109 Applied mathematics (see also Mathematics ), 107, 109, 132, 135, 137, 142, 202-205, 264-266, 368, 468, 471474 aeronautical research, 107-108, 118120 , 136, 140, 144, 152, 157, 159, 178, 186-187, 196-207; aerodynamics , 129, 180, 194, 247; delta wings, 145-146, 158, 196-197; Hadamard theory, 200; nonuniform supersonic flow, 195; shock transmission and stress, 136, 200, 202-204; supersonic design, 107, 120, 136, 145146 , 157, 178, 193-197, 200; turbulence , 180; wind tunnels, 141, 186, 200; wing theory, 107, 120, 136, 140, 157, 159, 178, 193-194, 197202 , 204, 264, 369 computing, 142, 235-239, 261, 440 differential equations, 194, 197, 201, 204, 212, 266 fluid dynamics/mechanics, 128, 160, 185, 193-194, 198-201, 204-205, 264-266 hyperbolic partial differential equations , 136, 159, 197-198 mathematical economics, 265 Navier-Stokes equations, 201, 286 quantum physics, 265 Arnold, Matthew, 369 Aronszajn, Nachman, 327-328 Artin, Emil, 166, 215-216, 283, 301, 376, 411 Artin, Michael, 418 Artzy, Rafael, 298 Ascher, Grete, 34, 36 ASL: Association for Symbolic Logic (see also Annals of Mathematical Logic andJournal of Symbolic Logic), 159-161, 164, 171-172, 205, 208, 212-213, 219, 233, 282, 317-318, 327-329, 397-398, 410,426...


pdf