DOCSLIB.ORG

Notices of the American Mathematical Society

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notices of the American Mathematical Society OF THE AMERICAN MATHEMATICAL SOCIETY ISSU! NO. 116 OF THE AMERICAN MATHEMATICAL SOCIETY Edited by Everett Pitcher and Gordon L. Walker CONTENTS MEETINGS Calendar of Meetings ••••••••••••••••••••••••••••••••••.• 874 Program of the Meeting in Cambridge, Massachusetts •••.•.••••..•• 875 Abstracts for the Meeting- Pages 947-953 PRELIMINARY ANNOUNCEMENTS OF MEETINGS •••••••••••••••••.•• 878 AN APPEAL FOR PRESERVATION OF ARCHIVAL MATERIALS .•••••••••• 888 CAN MATHEMATICS BE SAVED? ••••••••••.••••••••..•.•••••••.. 89 0 DOCTORATES CONFERRED IN 1968-1969 ••••••••••••••.••••••.•••• 895 VISITING MATHEMATICIANS .•••••••••••••••••••••••••..•••••.. 925 ANNUAL SALARY SURVEY ••••••••••••.••••.••••.•.•.••••••.•• 933 PERSONAL ITEMS •••••••••••••••••••••••••••••...•••••••••• 936 MEMORANDA TO MEMBERS Audio Recordings of Mathematical Lectures ••••••••..•••••.•••.• 940 Travel Grants. International Congress of Mathematicians ••..•.•••••.• 940 Symposia Information Center ••••.•• o o • o ••••• o o •••• 0 •••••••• 940 Colloquium Lectures •••••••••••••••••••••••.• 0 ••••••••••• 941 Mathematical Sciences E'mployment Register .•.••••••..•. o • o ••••• 941 Retired Mathematicians ••••• 0 •••••••• 0 ••••••••••••••••• 0 •• 942 MOS Reprints .•••••• o •• o ••••••••••••••••••••••• o •••••• 942 NEWS ITEMS AND ANNOUNCEMENTS •••••. o •••••••••••••••• 877, 932, 943 ABSTRACTS PRESENTED TO THE SOCIETY •••••.••••.•.•.••..•..•• 947 RESERVATION FORM. o •••••••••••••••••••••••••••••••••••••• 1000 MEETINGS Calendar of Meetings NOTE: This Calendar lists all of the meetings which have been approved by the Council up to the date at which this issue of the c/{oficti) was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change. This is particularly true of the meetings to which no numbers have yet been assigned. Meet· Deadline ing Date Place for No. Abatracta• 668 October 25, 1969 Cambridge, Massachusetts Sept. 9, 1969 Oct. 8, 1969 669 November 21-22, 1969 Baton Rouge, Louisiana 670 November 22, 1969 Claremont, California O•;t. 8, 1969 671 November 29, 1969 Ann Arbor, Michigan Oct. 8, 1969 672 January 22-26, 1970 Miami, Florida Nov. 6, 1969 673 March 25-28, 1970 New York, New York Jan. 28, 1970 674 April 14-18, 1970 Madison, Wisconsin Feb. 27, 1970 675 April 25, 1970 Davis, California Feb. 27, 1970 August 24-28, 1970 Laramie, Wyoming (75th Summer Meeting) January 21-25, 1971 Atlantic City, New Jersey (77th Annual Meeting) *The abstracts of papers to be presented in person at the meetings must be received in the Head­ quarters Offices of the Society in Providence, Rhode Island, on or before these deadlines. The dead­ lines also apply to news items. The next deadline date for by-title abstracts will be October 30, 1969. OTHER EVENTS December 2 7, 1·969 Symposium on Some Mathematical Questions Boston, Massachusetts in Biology --··-~..>-·. -- --. - The c}/otictiJ of the American Mathematical Society is published by the Society in .January, February, April, June, August, October, November and December. Price per annual volume is $10.00. Price per copy $3.00. Special price for copies sold at registration desks of meetings of the Society, $1.00 per copy. Subscriptions, orders for back numbers (back issues of the last two years only are available) and inquiries should be addressed to the American Mathematical Society, P. 0. Box 6248, Providence, Rhode Island 02904. Second-class postage paid at Providence, Rhode Island, and· additional mailing offices. Copyright©, 1969 by the American Mathematical Society Printed in the United Stat~s of America The Six Hundred Sixty-Eighth Meeting Massachusetts Institute of Technology Cambridge, Massachusetts October 25, 1969 The six hundred sixty-eighth meet­ floor of Building 2. It will open at 9.:00 ing of the American Mathematical Society a.m. will be held at the Massachusetts Institute Parking space will be available in of Technology on Saturday, October 25, the East Parking Garage on the M.I.T. 1969. grounds, at the corner of Main and Vassar By invitation of the Committee to Streets. Select Hour Speakers for Eastern Sec­ M.I. T. is an eight-minute walk from tional Meetings, Professor Hy~an Bass the Kendall Square station of the Cam­ of Columbia University will give an ad­ bridge-Dorchester subway; the convenient dress entitled "K2 of global fields" at entrance is then at the northwest corner of 11:00 a.m., and Professor john T. Tate the Hayden Memorial Library. Those of Harvard University will give an ad­ coming by taxi or bus will find it con­ dress entitled "K2 of global fields" at venient to use the main entrance, 77 Massa­ 2:00 p.m. Both lectures will be presented chusetts Avenue. Taxi fare from Logan in the Compton Auditorium, Room 26-100. Airport is about $3.50. There will be sessions for contri­ Lunch will be served in an M.I.T. buted papers at 9:30 a.m. and 3:15p.m. cafeteria and the Student Center cafeteria. in Rooms 2-190 and 2-390. A list of nearby restaurants in Boston and Registration will be on the first Cambridge will be available. PROGRAM OF THE SESSIONS The time limit for each contributed paper is 10 minutes. The contributed papers are scheduled at 15 minute intervals. To maintain this schedule, the time limit will be strictly enforced. SATURDAY, 9:30A.M. Session on Analysis I, Room 2-190 9:30-9:40 { 1) An estimate for general pseudo-differential operators Professor Samuel Zaidman, Universite de Montreal {668-3) 9:45-9:55 {2) A nonspectral generator of a bounded group Professor Matthew Hackman, University of Washington {668-21) 10:00-10:10 {3) Functional-analysis identities for biadditive mappings on modules with non­ associative scalars Professor Anthony J. Penico, University of Missouri, Rolla {668-19) 10:15-10:25 (4) Some characterizations of strictly convex Banach spaces. Preliminary report Professor Ellen Torrance, Mount Holyoke College {668-2) l5) WITHDRAWN. 875 SATURDAY, 9:30A.M. Session on Algebra, Room 2-390 9:30-9:40 (6) An existence theory for pairwise balanced designs Professor Richard M. Wilson, Ohio State University ( 668-1 0) (Introduced by Professor D. K. Ray-Chaudhuri) 9:45-9:55 ( 7) Small regular local No ether lattices Professor Kenneth P. Bogart, Dartmouth College ( 668-5) 10:00-10:10 ( 8) Structure of incidence algebras and their automorphism groups Mr. Richard P. Stanley, Harvard University (668-8) 10:15-10:25 ( 9) Topologies on objects of categories Professor Hayon Kim*, Loyola College, and Professor Basil A. Rattray, McGill University (668-9) 10:30-10:40 ( 1 0) An extension of classical Galois theory to inseparable fields Professor Nickolas Heerema, Florida State University (668-11) SATURDAY 3:15P.M. Session on Analysis II, Room 2-190 3:15-3:25 ( 11) On the Sheffer A-type of certain modified polynomial sets. Preliminary report Professor James Ward Brown, University of Michigan (668-12) 3:30-3:40 (12) Utilizing additive functionals to define stopping times to obtain preassigned distributions Dr. Itrel E. Monroe, Dartmouth College (668-20) 3:45-3;55 (13) Borel vindicated Professor Leon W. Cohen, University of Maryland ( 668-6) 4:00-4:10 ( 14) Semigroup theory and finite time stability for a class of partial differential equations Professor Dahsoong Yu, University of Oklahoma (668-14) 4:15-4:25 (15) A constructive method for the solution of the stability problem Professor James L. Howland*, University of Ottawa, and Professor John A. Senez, Sir George Williams University (668-13) 4:30-4:40 (16) The stationary observer and the Klein-Gordon equation Dr. RobertS. Strichartz, Cornell University (668-18) SATURDAY, 3:15P.M. Session on Logic and Topology, Room 2-390 3:15-3:25 ( 1 7) Systems of ramified set theory using constructive ordinals Mr. James R. Royse, San Francisco State College (668-17) 3:30-3:40 ( 18) Two hierarchies of reducibilities. Preliminary report Mr. Alan L. Selman, Pennsylvania State University (668-15) *For papers with more than one author, an asterisk follows the name of the author who plans to present the paper at the meeting. 876 3:45-3:55 (19) Boolean algebras as functors Mr. Andre Joyal, Universite de Montreal ( 668-7) (Introduced by Professor Gonzalo E. Reyes) 4:00-4:10 (20) Generalized reals Professor F. Gonzalez Asenjo, University of Pittsburgh (668-4) 4:15-4:25 ( 21) Symmetric generalized topological structures Dr. Charles J. Mozzochi, 18 Tuxis Road, Madison, Connecticut (668-1) 4:30-4:40 (22) Absolute reducibility of maps of at most 19 regions Professor Ruth A. Bari, George Washington University (668-22) Leonard Gillman Austin, Texas Associate Secretary NEWS ITEMS AND ANNOUNCEMENTS OPERATIONS RESEARCH SPECIAL YEAR LECTURESHIPS IN FUNCTIONAL ANALYSIS The Operations Research Society of The following people will take part America is continuing its Visiting Lec­ in the Special Year in Functional Analysis tureship Program for the 1969-1970 aca­ being held at Indiana University during its demic year with sponsorship from the Na­ Sesquicentennial celebration, 19 69-19 70: tional Science Foundation. The program September 15-21, S. K. Berberian; Sep­ has the following aims: to stimulate exist­ tember 22-26, Peter Rosenthal and Charles ing operations research courses and pro­ Berger; September 29-0ctober 4, Donald grams in universities and colleges which Sarason; October 6-10, Lewis Coburn; do not at present offer degrees in opera­ October 13-17, Henry Helson and Allen tions research; to aid and motivate the Shields; October 20-26, Tosio Kato (tenta­ starting of new operations research tive); October 27-November 2, R. G. Doug­ courses and curricula; to motivate able las (tentative) and Harold Widom; Novem­ students towards careers in operations ber 3-9, Peter Lax and Shizuo Kakutani; research; to provide education and infor­ November 10-16, Chandler Davis and mation on the nature and scope of opera­ James G. Glimm; November 17-23, Ken­ tions research; and to provide information neth Hoffman (tentative); December 1-6, and advice to students, student counselors, William Donoghue, Jr.
Load more

Recommended publications
  • DEGREE-L MAPS INTO LENS SPACES and FREE CYCLIC ACTIONS on HOMOLOGY 3-SPHERES*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 37 (1990) 131-136 131 North-Holland DEGREE-l MAPS INTO LENS SPACES AND FREE CYCLIC ACTIONS ON HOMOLOGY 3-SPHERES* E. LUST and D. SJERVE Department of Mathematics, The University of British Columbia, Vancouver, BC, Canada V6T 1 Y4 Received 20 September 1988 Revised 7 August 1989 If M is a closed orientable 3-manifold with H,(M) = Z,, then there is a lens space L,, unique up to homotopy, and a degree-l map f: A4+ L,,. As a corollary we prove that if 6 is a homology 3-sphere admitting a fixed point free action by Z,, then the regular covering fi + It?/??, is induced from the universal covering S3 --f L,,,, by a degree-l map f: 6/Z, + L,,,. AMS (MOS) Subj. Class.: Primary 57M99 homology 3-spheres degree-l maps lens spaces 1. Introduction In this paper we will be concerned with the existence of degree-l mapsf: M + L,, where M is a closed orientable 3-manifold and L,, is some lens space. If H,(M) = Z,, such maps exist and the lens space L,, is unique up to homotopy equivalence (see Theorem 3.4). If fi is a homology 3-sphere and p : A? -+ M is a regular covering with the cyclic group Z,, as its covering group, then H,(M) =Z,, and the covering p : A? + M is induced from the universal covering q : S3 -+ L,, by means of a degree-l map f: M + L,, (see Th eorem 3.5).
    [Show full text]
  • LEGENDRIAN LENS SPACE SURGERIES 3 Where the Ai ≥ 2 Are the Terms in the Negative Continued Fraction Expansion P 1 = A0 − =: [A0,...,Ak]
    LEGENDRIAN LENS SPACE SURGERIES HANSJORG¨ GEIGES AND SINEM ONARAN Abstract. We show that every tight contact structure on any of the lens spaces L(ns2 − s + 1,s2) with n ≥ 2, s ≥ 1, can be obtained by a single Legendrian surgery along a suitable Legendrian realisation of the negative torus knot T (s, −(sn − 1)) in the tight or an overtwisted contact structure on the 3-sphere. 1. Introduction A knot K in the 3-sphere S3 is said to admit a lens space surgery if, for some rational number r, the 3-manifold obtained by Dehn surgery along K with surgery coefficient r is a lens space. In [17] L. Moser showed that all torus knots admit lens space surgeries. More precisely, −(ab ± 1)-surgery along the negative torus knot T (a, −b) results in the lens space L(ab ± 1,a2), cf. [21]; for positive torus knots one takes the mirror of the knot and the surgery coefficient of opposite sign, resulting in a negatively oriented lens space. Contrary to what was conjectured by Moser, there are surgeries along other knots that produce lens spaces. The first example was due to J. Bailey and D. Rolfsen [1], who constructed the lens space L(23, 7) by integral surgery along an iterated cable knot. The question which knots admit lens space surgeries is still open and the subject of much current research. The fundamental result in this area is due to Culler– Gordon–Luecke–Shalen [2], proved as a corollary of their cyclic surgery theorem: if K is not a torus knot, then at most two surgery coefficients, which must be successive integers, can correspond to a lens space surgery.
    [Show full text]
  • THE DOUTHIT FAM IL Y TREE
    THE DOUTHIT FAM ILy TREE Volume 5, Number 2 (707) 839-4180 December 1985 Marilyn Lauck, editor 1915 Cliff Av, McKinleyville, CA 95521 CALIFORNIA REUNION servers, coffee pot technician (I make rot­ ten coffee), ice cream makers, entertainers After having a long discussion with both (talent not a necessity), hosts and hostesses, the Ramada Inn and the J oily Giant con­ cars for carpooling to and from picnic, ference center at Humboldt State Uni­ cleanup crew, etc. If you can fill any of versity to find the best location for next these positions, return the form at the back summer's reunion, I did the only thing any of the newsletter. Your help is greatly ap­ reasonable person could do-flipped a coin. preciated. Actually, it didn't quite come to that, but the decision was truly a tough one. When AUGUST GENEALOGY CONFERENCE all the pluses and minuses were added up, however, the Ramada Inn was the winner. David and I were fortunate enough to be able to attend and have a booth at the RESERVATIONS to the Ramada Inn, Motel National Genealogy Conference in Salt Six, etc., should be made early as summer­ Lake City, August 6-9. While there, we time is the tourist season here. The Ramada were very excited and pleased to meet four Inn has 78 rooms and Motel Six has 81 of our Douthit "cousins." June Johnson of rooms, so if you want to insure having a Bountiful, Utah and Norma Pasqualino of room close to the reunion activities, make Brewster, New York, who were already your reservations early.
    [Show full text]
  • Tourism-Related Resources of S. 17Th Ave
    Historic Resource Survey: Tourism-Related Resources of South 17th Avenue Phoenix, Arizona Historic Resource Survey: Tourism-Related Resources of South 17th Avenue Phoenix, Arizona Prepared by MOTLEY DESIGN GROUP LLC 1114 Grand Avenue Phoenix, AZ 85007 For THE CITY OF PHOENIX 200 West Washington St. Phoenix, AZ 85003 MDG Project 13-021 May, 2014 Tourism Related Resources of South 17th Avenue Phoenix, Arizona Page 1 PROJECT INFORMATION This report was initiated by the City of Phoenix Neighborhood Services Department in partnership with the City of Phoenix Historic Preservation Office as partial mitigation for proposed demolition of the Triangle Motor Court, located at 1121 South 17th Avenue, to make way for future redevelopment. Project Team: Prime Consultant/Historical Architect: Robert Graham, AIA Motley Design Group, LLC 1114 Grand Avenue Phoenix, AZ 85007 (602) 254-5599 Historian: Vincent Murray Arizona Historical Research 5025 N. Central Ave. Suite 575 Phoenix, Arizona 85012 (480) 829-0267 METHODOLOGY The survey area for this study was defined by the City of Phoenix Historic Preservation Office as 17th Avenue from the Southern Pacific Railroad Tracks south to Buckeye Road and was assumed to encompass 8 motels known at that time to exist in this area. The consultants analyzed the survey area from aerial photographs and identified two additional potential motels bringing the total to 10. The area was field surveyed and this figure was verified. The 10 properties were inventoried using standard Arizona Historic Property Inventory Forms. All resources were photographed digitally. The field information, photographs, and historical data were combined in an Access database for outputting into the standard format.
    [Show full text]
  • Product of Invariant Types Modulo Domination–Equivalence
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by White Rose Research Online Archive for Mathematical Logic https://doi.org/10.1007/s00153-019-00676-9 Mathematical Logic Product of invariant types modulo domination–equivalence Rosario Mennuni1 Received: 31 October 2018 / Accepted: 19 April 2019 © The Author(s) 2019 Abstract We investigate the interaction between the product of invariant types and domination– equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is. Keywords Domination · Domination–equivalence · Equidominance · Product of invariant types Mathematics Subject Classification 03C45 To a sufficiently saturated model of a first-order theory one can associate a semigroup, that of global invariant types with the tensor product ⊗. This can be endowed with two equivalence relations, called domination–equivalence and equidominance.This paper studies the resulting quotients, starting from sufficient conditions for ⊗ to be well-defined on them. We show, correcting a remark in [3], that this need not be always the case. Let S(U) be the space of types in any finite number of variables over a model U of a first-order theory that is κ-saturated and κ-strongly homogeneous for some large κ. For any set A ⊆ U, one has a natural action on S(U) by the group Aut(U/A) of automorphisms of U that fix A pointwise. The space Sinv(U) of global invariant types consists of those elements of S(U) which, for some small A, are fixed points of the action Aut(U/A) S(U).
    [Show full text]
  • Stable Theories
    Sh:1 STABLE THEORIES BY S. SHELAH* ABSTRACT We study Kr(~,) = sup {I S(A)] : ]A[ < ~,) and extend some results for totally transcendental theroies to the case of stable theories. We then inves- tigate categoricity of elementary and pseudo-elementary classes. 0. Introduction In this article we shall generalize Morley's theorems in [2] to more general languages. In Section 1 we define our notations. In Theorems 2.1, 2.2. we in essence prove the following theorem: every first- order theory T of arbitrary infinite cardinality satisfies one of the possibilities: 1) for all Z, I A] -- z ~ I S(A)[ -<__z + 2 ITI, (where S(A) is the set of complete consistent types over a subset A of a model of T). 2) for all •, I AI--x I S(A I =<x ~T~, and there exists A such that I AI--z, IS(A) I _>- z "o. 3) for all Z there exists A, such that [A[ = Z, IS(A)] > IAI. Theories which satisfy 1 or 2 are called stable and are similar in some respects to totally transcendental theories. In the rest of Section 2 we define a generalization of Morley's rank of transcendence, and prove some theorems about it. Theorems whose proofs are similar to the proofs of the analogous theorems in Morley [2], are not proven here, and instead the number of the analogous theorem in Morley [2] is mentioned. In Section 3, theorems about the existence of sets of indiscernibles and prime models on sets are proved. * This paper is a part of the author's doctoral dissertation written at the Hebrew University of Jerusalem, under the kind guidance of Profeossr M.
    [Show full text]
  • Knots and Links in Lens Spaces
    Alma Mater Studiorum Università di Bologna Dottorato di Ricerca in MATEMATICA Ciclo XXVI Settore Concorsuale di afferenza: 01/A2 Settore Scientifico disciplinare: MAT/03 Knots and links in lens spaces Tesi di Dottorato presentata da: Enrico Manfredi Coordinatore Dottorato: Relatore: Prof.ssa Prof. Giovanna Citti Michele Mulazzani Esame Finale anno 2014 Contents Introduction 1 1 Representation of lens spaces 9 1.1 Basic definitions . 10 1.2 A lens model for lens spaces . 11 1.3 Quotient of S3 model . 12 1.4 Genus one Heegaard splitting model . 14 1.5 Dehn surgery model . 15 1.6 Results about lens spaces . 17 2 Links in lens spaces 19 2.1 General definitions . 19 2.2 Mixed link diagrams . 22 2.3 Band diagrams . 23 2.4 Grid diagrams . 25 3 Disk diagram and Reidemeister-type moves 29 3.1 Disk diagram . 30 3.2 Generalized Reidemeister moves . 32 3.3 Standard form of the disk diagram . 36 3.4 Connection with band diagram . 38 3.5 Connection with grid diagram . 42 4 Group of links in lens spaces via Wirtinger presentation 47 4.1 Group of the link . 48 i ii CONTENTS 4.2 First homology group . 52 4.3 Relevant examples . 54 5 Twisted Alexander polynomials for links in lens spaces 57 5.1 The computation of the twisted Alexander polynomials . 57 5.2 Properties of the twisted Alexander polynomials . 59 5.3 Connection with Reidemeister torsion . 61 6 Lifting links from lens spaces to the 3-sphere 65 6.1 Diagram for the lift via disk diagrams . 66 6.2 Diagram for the lift via band and grid diagrams .
    [Show full text]
  • Connes on the Role of Hyperreals in Mathematics
    Found Sci DOI 10.1007/s10699-012-9316-5 Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics Vladimir Kanovei · Mikhail G. Katz · Thomas Mormann © Springer Science+Business Media Dordrecht 2012 Abstract We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in func- tional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being “vir- tual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnera- ble to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace − (featured on the front cover of Connes’ magnum opus) V.
    [Show full text]
  • Here Is Important Information About Housing Accommodations for Convocation 2017
    Here is important information about housing accommodations for Convocation 2017. St. Anne Retreat Center used to be a convent, there are very few double rooms (only four, actually), and they have all been reserved already. There are elevators in both buildings. The first floor bathroom in one building is designated “Handicap Accessible”, but there is still a lip at the edge of the shower. No roll-in showers are available. Most of the rooms at St. Anne Retreat Center have no air conditioning. This can be a problem in June in Kentucky, USA! If you need air conditioning and register by mail, please write a note on the registration form requesting a room with air conditioning and state why you need it. If you register online, please also send an email to [email protected] detailing your need for air conditioning. If all the air conditioned rooms have been assigned before your registration is received, we will let you know. Local Motels: If you prefer, there are motels in the vicinity, although the nearest ones are all booked up because of other events. In a motel you would be assured of air conditioning, bathrooms are more likely to be wheelchair friendly, and double rooms for couples would be an option. If you choose to stay off-site, your registration fee of $205 would cover all meals at St. Anne Retreat Center, as well as Convocation booklets and other materials. Arrangements for transportation to and from a motel to Convocation would be up to you. The following is a list of motels that are not too far from the Convocation site.
    [Show full text]
  • Washington University Record, January 23, 1992
    Washington University School of Medicine Digital Commons@Becker Washington University Record Washington University Publications 1-23-1992 Washington University Record, January 23, 1992 Follow this and additional works at: http://digitalcommons.wustl.edu/record Recommended Citation "Washington University Record, January 23, 1992" (1992). Washington University Record. Book 572. http://digitalcommons.wustl.edu/record/572 This Article is brought to you for free and open access by the Washington University Publications at Digital Commons@Becker. It has been accepted for inclusion in Washington University Record by an authorized administrator of Digital Commons@Becker. For more information, please contact [email protected]. tnapY o* WASHINGTON • UNIVERSITY- IN • ST- LOUIS Vol. 16 No. 17/Jan. 23, 1992 Krantz awarded Chauvenet Prize Steven G. Krantz, Ph.D., professor of Chauvenet illustrates a strong tradition mathematics at Washington University, of teaching and research in our has been awarded the 1992 Chauvenet mathematics department." Prize, one of the most prestigious Several complex variables is a awards for expository writing in broad mathematical subject that mathematics. touches on a wide range of other Krantz received the the award and parts of mathematics including an honorarium at the Mathematical algebra, differential geometry, partial Association of America's business differential equations, algebraic- meeting Jan. 10 in Baltimore. geometry and Banach algebras. He won the prize, given by the The Chauvenet Prize is named Mathematical Association of America, after William Chauvenet, a brilliant for his paper, "What is several com- mathematician and scientist who, plex variables?" published in The among his other distinctions, was American Mathematical Monthly 94 Washington University's second (1987).
    [Show full text]
  • Self-Similarity in the Foundations
    Self-similarity in the Foundations Paul K. Gorbow Thesis submitted for the degree of Ph.D. in Logic, defended on June 14, 2018. Supervisors: Ali Enayat (primary) Peter LeFanu Lumsdaine (secondary) Zachiri McKenzie (secondary) University of Gothenburg Department of Philosophy, Linguistics, and Theory of Science Box 200, 405 30 GOTEBORG,¨ Sweden arXiv:1806.11310v1 [math.LO] 29 Jun 2018 2 Contents 1 Introduction 5 1.1 Introductiontoageneralaudience . ..... 5 1.2 Introduction for logicians . .. 7 2 Tour of the theories considered 11 2.1 PowerKripke-Plateksettheory . .... 11 2.2 Stratifiedsettheory ................................ .. 13 2.3 Categorical semantics and algebraic set theory . ....... 17 3 Motivation 19 3.1 Motivation behind research on embeddings between models of set theory. 19 3.2 Motivation behind stratified algebraic set theory . ...... 20 4 Logic, set theory and non-standard models 23 4.1 Basiclogicandmodeltheory ............................ 23 4.2 Ordertheoryandcategorytheory. ...... 26 4.3 PowerKripke-Plateksettheory . .... 28 4.4 First-order logic and partial satisfaction relations internal to KPP ........ 32 4.5 Zermelo-Fraenkel set theory and G¨odel-Bernays class theory............ 36 4.6 Non-standardmodelsofsettheory . ..... 38 5 Embeddings between models of set theory 47 5.1 Iterated ultrapowers with special self-embeddings . ......... 47 5.2 Embeddingsbetweenmodelsofsettheory . ..... 57 5.3 Characterizations.................................. .. 66 6 Stratified set theory and categorical semantics 73 6.1 Stratifiedsettheoryandclasstheory . ...... 73 6.2 Categoricalsemantics ............................... .. 77 7 Stratified algebraic set theory 85 7.1 Stratifiedcategoriesofclasses . ..... 85 7.2 Interpretation of the Set-theories in the Cat-theories ................ 90 7.3 ThesubtoposofstronglyCantorianobjects . ....... 99 8 Where to go from here? 103 8.1 Category theoretic approach to embeddings between models of settheory .
    [Show full text]
  • More Model Theory Notes Miscellaneous Information, Loosely Organized
    More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A ! M with A ⊆ M finite, and any a 2 M, f extends to a partial elementary map A [ fag ! M. As a consequence, any partial elementary map to M is extendible to an automorphism of M. Atomic models (see below) are homogeneous. A prime model of T is one that elementarily embeds into every other model of T of the same cardinality. Any theory with fewer than continuum-many types has a prime model, and if a theory has a prime model, it is unique up to isomorphism. Prime models are homogeneous. On the other end, a model is universal if every other model of its size elementarily embeds into it. Recall a type is a set of formulas with the same tuple of free variables; generally to be called a type we require consistency. The type of an element or tuple from a model is all the formulas it satisfies. One might think of the type of an element as a sort of identity card for automorphisms: automorphisms of a model preserve types. A complete type is the analogue of a complete theory, one where every formula of the appropriate free variables or its negation appears. Types of elements and tuples are always complete. A type is principal if there is one formula in the type that implies all the rest; principal complete types are often called isolated. A trivial example of an isolated type is that generated by the formula x = c where c is any constant in the language, or x = t(¯c) where t is any composition of appropriate-arity functions andc ¯ is a tuple of constants.
    [Show full text]