Partition Relation Perspectives Jean A. Larson

Total Page:16

File Type:pdf, Size:1020Kb

Partition Relation Perspectives Jean A. Larson Partition Relation Perspectives Jean A. Larson The Role of the Hiigher Infinite in Mathematics and Other Disciplines Newton Institute, Cambridge England, 12/15/15 Mirna's doctoral work In 1993, Mirna Dzamonja received her PhD under the direction of Ken Kunen at the University of Wisconsin, Madison. Mirna's early career I From 1993-1995, Mirna was a postdoctoral fellow at the Hebrew University of Jerusalem. I From 1995-1998, she was a visiting assistant professor at the University of Wisconsin, Madison. I I first met her at an Annual Association of Symbolic Logic Meeting held in Madison in March 1996. University of East Anglia UEA Mirna has been at the University of East Anglia since 1998. Mirna's students Mirna's students I Katherine Thompson, University of East Anglia (UEA) 2003. I Grace Piper, UEA, 2003 I Firoz Shaikh, UEA, 2007 I Alexander Primavesi, UEA, 2011 I Omar Selim, 2012 I Gregor Dolinar, University of Ljubljana, 2013 I Sharifa Al Mahrouqi, UEA, 2013 Her co-authors Uri Abraham Lorenz Halbeisen Justin Tatch Moore Arthur Apter Joel David Hamkins Charles Morgan Taras Banakh Michael Hruˇs´ak Eva Murtinov´a Tomek Bartoszy´nski Istv´anJuh´asz Grzegorz Plebanek Robert Bonnet P´eterKomj´ath Anatoli Plichko Piotr Borodulin-Nadzieja Ken Kunen Saharon Shelah James Cummings Jean Larson Katherine Thompson Gregor Dolinar William Mitchell Jouko V¨a¨an¨anen Sy-David Friedman Source: MathSciNet Balanced BHT Theorem Balanced Baumgartner-Hajnal-Todorcevic (BHT) Theorem, 1993 For every regular uncountable κ, ξ < κ, and k < !, κ + 2 (2 ) ! (κ + ξ)k : This theorem has a very nice proof using ideals that come from chains of elementary submodels. Balanced BHT Theorem Ari Brodsky's Balanced BHT Theorem for Trees, 2014 For every infinite regular cardinal κ, ξ with 2jξj < κ, and k < !, <κ 2 non- 2 -special tree ! (κ + ξ)k : Brodsky developed a theory of stationary subsets of trees in order to prove this theorem and also used ideals that come from chains of elementary submodels. Polarized Partitions and Cardinal Invariants Theorem (Paul Erd}osand Richard Rado, 1956) @ @ 1;1 The Continuum Hypothesis implies 1 1 ! 9 ! 2 θ θ 1;1 Here ! means for every function c : θ × ! ! 2 ! ! 2 there are A ⊆ θ and B ⊆ ! such that jAj = θ, B is infinite and c (A × B) is constant. Polarized Partitions and Cardinal Invariants Theorem (Shimon Garti and Saharon Shelah, 2014) ! It is consistent with ZFC, that all cardinals θ with @1 ≤ θ ≤ 2 , θ θ 1;1 ! ! ! 2 Earlier they had shown the partition relation was true for θ < s (splitting number) and here show it is true for r < θ (reaping number). Their model has @1 = r =< s = @2 = c. Question: is it consistent that r < s and c > @2. Topological reduction of colors Claribet Pi~nahas investigated for given countable ordinals α and beta, the minimum number of colors m needed, so that if pairs from α are colored with finitely many colors (at least 2), then there is a topological copy of beta whose pairs realize at most m colors. 2 This may be expressed compactly as (8` > 1)(α !top (β)`;m). Theorem (Pi~na,2013, 2015) !·n 2 2 I for all n > 1, (8` > 1)(! !top (! + 1)`;6), but !·n 2 2 (! 9top (! + 1)9;5). !k 1 2 I for all k > 1, (8` > 1)(! !top (! )`;6), but !k 2 2 ! 9top (! + 1)3(k+1);5. Topological Pigeonhole Principle Building on the ordinal pigeonhold principle of Eric Milner and ord Richard Rado which calculates P (αi ), and work of Bill Weiss, of Prikry and Solovay, and of Shelah, Jacob Hilton constructed a pigeonhole principle for ordinal topological spaces. Here is the theorem he describes as his main breakthrough. Theorem (Jacob Hilton, JSL, to appear) Suppose 0 < α1; α2; : : : ; αk < !1. 1. Ptop(!α1 + 1;!α2 + 1;:::;!αk + 1) = !α1#α2#:::#αk + 1. ord 2. Ptop(!α1 ;!α2 ;:::;!αk ) = !P (α;α2,...,αk ). a ap a ap If α = ! 0 · m0 + ··· + ! · mp and β = ! 0 · n0 + ··· + ! · np where a0 > a1 > ··· > ap and m0; m1;::: mp; n0; n1;::: np < !, then the Hessenberg sum (natural sum) is defined by a ap α#β = ! 0 · (m0 + n0) + ··· + ! · (mp + np) Topological Pigeonhold Principle There is a reason why powers of ! and their successors appear so often. We say X and Y are biembeddable and write X ≡ Y if X is homeomorphic to a subspace of Y and Y is homeomorphic to a subspace of X . Lemma (Hilton) n If Y ≡ V and Xi ≡ Ui for all i < κ, then Y !top (Xi )i<κ if and n only if V !top (Ui )i<κ. Topological Ramsey numbers In their search for Ramsey numbers of ordinal topological spaces, Caicedo and Hilton looked at two kinds of goals: Rtop when the goals were homeomorphic to given ordinal spaces and Rcl when the goals that were both order-isomorphic to given ordinal spaces and closed in their own supremum. top As noted above, Hilton proved a pigeonhole principle P (αi )i<κ for goals that were topological spaces and Caicedo and Hilton found many cases of Hilton's proof carried over to the closed cl pigeonhole principle, P (αi )i<κ, and they computed the values in the remaining cases quite handily. Topological Ramsey numbers top They write R (αi )i<κ for the topological Ramsey number, namely the least ordinal β such that 2 β !top (αi )i<κ cl Similarly, they write R (αi )i<κ for the closed Ramsey number, namely the least ordinal β such that 2 β !cl (αi )i<κ Topological Ramsey numbers Paul Erd}osand Eric Milner proved the following theorem for ordinal partition relations: Theorem (Erd}os, Milner) If !α ! (!1+β; k)2, then !α+β ! (!1+β; 2k)2. Andres Caicedo and Jacob Hilton found a counterpart which they call the Weak topological Erd}os-MilnerTheorem. Theorem (Caicedo, Hilton) Let α and β be countable non-zero ordinals, and let k > 1 be a positive integer. If !α β 2 ! !top (! ; k) ; then !α·β β 2 ! !top (! ; k + 1) ; Topological Ramsey numbers In a corollary to their main theorem, Caicedo and Hilton prove these Ramsey numbers coincide in certain cases and give upper bounds for them. Theorem (Caicedo, Hilton) Suppose 0 < α < !1 and k, m and n are positive integers. 1. Rtop(α; k) is countable. 2. Rtop(!!α ; k + 1) = Rcl(!!α ; k + 1) ≤ !!α·k . 3. Rtop(!!α + 1; k + 1) = Rcl(!!α + 1; k + 1) and the common value is bounded by !!α·k + 1 if α is infinite, and bounded by !!(n+1)·k−1 + 1 if α = n is finite. 4. Rtop(!n ·m; k +2) = Rcl(!n ·m; k +2) ≤ !!k ·n ·R(m; k +2)+1. Topological Ramsey Theory Question: is there a topological partition ordinal α > !? 2 That is, is there α > ! for which α !top (α; 3) ? Question: is it possible to reduce the computation of Rtop(α; k) to finite combinatorial problems, even for α < !2? Halpern-L¨auchliTheorem Copies of illustrations of a k-dense subset and a k-x-dense subset from Ramsey Theory by Todorcevic: Q Q A k-dense matrix (k-~x-dense matrix) for i<d Ti is i<d Xi where each Xi is a k-dense matrix (k-xi -dense matrix). Halpern-L¨auchliTheorem (Asymmetric Version of the Halpern-L¨auchliTheorem) For every coloring of the finite product of finitely branching trees, Q i<d Ti = K0 [ K1, either I K0 contains a k-dense matrix for every integer k, or Q I there is some ~x 2 i<d Ti so that K1 contains a k-~x-dense matrix for every interger k. Halpern-L¨auchliTheorem Laver's Conjecture: For every (level set) coloring of the infinite product of downwards Q closed perfect i<! Ti = K0 [ K1, there is some j < 2 and some Q ~x 2 i<! Ti such that for each k < !, Kj contains a k-~x-dense (level set) matrix. Joint work with Dˇzamonjaand Mitchell Theorem (Denis Devlin, 1979) n n Q ! (Q)<!;tn and Q 9 (Q)<!;tn−1; where tn is the nth tangent number. For regular cardinals κ, there is a natural order ≤Q extending κ> κ> lexicographic order on 2 such that Qκ = h 2; ≤Q i is a κ-dense linear order. Joint work with Dˇzamonjaand Mitchell Theorem (Dˇzamonja, Larson, Mitchell, 2009) + For every positive integer m there is tm < ! such that for any cardinal κ which is measurable after generically adding λ many 2m Cohen subsets of κ where λ ! (κ)2κ , the κ-dense linear order Qκ satisfies m m κ ! ( )κ) + and κ ( )κ) + ; Q Q <!;tm Q 9 Q <!;tm −1 + where tm is the cardinality of a finite set of trees. + + Furthermore, for m ≥ 3, tm > tm: t3 = 16 < 20 = t3 ; + + t4 = 272 < 776 = t4 ; t5 = 7936 < 151; 184 = t5 . Joint work with Dˇzamonjaand Mitchell A key tool: Theorem (Saharon Shelah, 1988) Suppose that m < ! and κ is a cardinal which is measurable in the generic extension obtained by adding λ Cohen subsets of κ where 2m λ ! (κ)2κ . Then for any coloring d of the m-element antichains of κ>2 into σ < κ colors, and any well-ordering ≺ of the levels of κ>2, there is a strong embedding e : κ>2 ! κ>2 and a dense set of elements w such that I e(s) ≺ e(t) for all s ≺ t from Cone(w), and I d(e[a]) = d(e[b]) for all ≺-similar m-element antichains a and b of Cone(w).
Recommended publications
  • An Invitation to Model-Theoretic Galois Theory
    AN INVITATION TO MODEL-THEORETIC GALOIS THEORY. ALICE MEDVEDEV AND RAMIN TAKLOO-BIGHASH Abstract. We carry out some of Galois’ work in the setting of an arbitrary first-order theory T . We replace the ambient algebraically closed field by a large model M of T , replace fields by definably closed subsets of M, assume that T codes finite sets, and obtain the fundamental duality of Galois theory matching subgroups of the Galois group of L over F with intermediate exten- sions F ≤ K ≤ L. This exposition of a special case of [11] has the advantage of requiring almost no background beyond familiarity with fields, polynomials, first-order formulae, and automorphisms. 1. Introduction. Two hundred years ago, Evariste´ Galois contemplated symmetry groups of so- lutions of polynomial equations, and Galois theory was born. Thirty years ago, Saharon Shelah found it necessary to work with theories that eliminate imaginar- ies; for an arbitrary theory, he constructed a canonical definitional expansion with this property in [16]. Poizat immediately recognized the importance of a theory already having this property in its native language; indeed, he defined “elimina- tion of imaginaries” in [11]. It immediately became clear (see [11]) that much of Galois theory can be developed for an arbitrary first-order theory that eliminates imaginaries. This model-theoretic version of Galois theory can be generalized be- yond finite or even infinite algebraic extensions, and this can in turn be useful in other algebraic settings such as the study of Galois groups of polynomial differential equations (already begun in [11]) and linear difference equations. On a less applied note, it is possible to bring further ideas into the model-theoretic setting, as is done in [10] for the relation between Galois cohomology and homogeneous spaces.
    [Show full text]
  • Prizes and Awards Session
    PRIZES AND AWARDS SESSION Wednesday, July 12, 2021 9:00 AM EDT 2021 SIAM Annual Meeting July 19 – 23, 2021 Held in Virtual Format 1 Table of Contents AWM-SIAM Sonia Kovalevsky Lecture ................................................................................................... 3 George B. Dantzig Prize ............................................................................................................................. 5 George Pólya Prize for Mathematical Exposition .................................................................................... 7 George Pólya Prize in Applied Combinatorics ......................................................................................... 8 I.E. Block Community Lecture .................................................................................................................. 9 John von Neumann Prize ......................................................................................................................... 11 Lagrange Prize in Continuous Optimization .......................................................................................... 13 Ralph E. Kleinman Prize .......................................................................................................................... 15 SIAM Prize for Distinguished Service to the Profession ....................................................................... 17 SIAM Student Paper Prizes ....................................................................................................................
    [Show full text]
  • On a Generalization of the Hadwiger-Nelson Problem
    On a generalization of the Hadwiger-Nelson problem Mohammad Bardestani, Keivan Mallahi-Karai October 15, 2018 Abstract For a field F and a quadratic form Q defined on an n-dimensional vector space V over F , let QGQ, called the quadratic graph associated to Q, be the graph with the vertex set V where vertices u; w 2 V form an edge if and only if Q(v − w) = 1. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger-Nelson problem. In the present paper, we will prove that for a local field F of characteristic zero, the Borel chromatic number of QGQ is infinite if and only if Q represents zero non-trivially over F . The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009 [6]. 1 Introduction The celebrated Hadwiger-Nelson problem asks for the minimum number of colors required to color n R such that no two points at distance one from each other have the same color. Recall that the chromatic number of a graph G, denoted by χ(G), is the least cardinal c such that the vertices of G can be partitioned into c sets (called color classes) such that no color class contains an edge in G. Hence, the Hadwiger-Nelson problem is the question of finding χ(Gn), where Gn is the graph with vertex set n V (Gn) = R , where the adjacency of vertices x; y 2 V (Gn) is defined by the equation Q(x − y) = 1; 2 2 n here, Q(x1; : : : ; xn) = x1 + ··· + xn is the canonical positive-definite quadratic form on R .
    [Show full text]
  • Letter from the President
    Letter from the President Dear EATCS members, As usual this time of the year, I have the great pleasure to announce the assignments of this year’s Gódel Prize, EATCS Award and Presburger Award. The Gödel Prize 2012, which is co-sponsored by EATCS and ACM SIGACT, has been awarded jointly to Elias Koutsoupias, Christos H. Papadimitriou, Tim Roughgarden, Éva Tardos, Noam Nisan and Amir Ronen. In particular, the prize has been awarded to Elias Koutsoupias and Christos H. Papadimitriou for their paper Worst-case equilibria, Computer Science Review, 3(2): 65-69, 2009; to Tim Roughgarden and Éva Tardos for their paper How Bad Is Selfish Routing? , Journal of the ACM, 49(2): 236-259, 2002; and to Noam Nisan and Amir Ronen for their paper Algorithmic Mechanism Design, Games and Economic Behavior, 35: 166-196, 2001. As you can read in the laudation published in this issue of the bulletin, these three papers contributed highly influential concepts and results that laid the foundation for an explosive growth in algorithmic game theory, a trans-disciplinary combination of the theory of algorithms and the theory of games that has greatly enriched both fields. The purpose of all three papers was to improve our understanding of how the internet and other complex computational systems behave when users and service providers in these systems act selfishly. On behalf of this year’s Gödel Prize Committee (consisting of Sanjeev Arora, Josep Díaz, Giuseppe F. Italiano, Daniel ✸ ❇❊❆❚❈❙ ♥♦ ✶✵✼ ❊❆❚❈❙ ▼❆❚❚❊❘❙ Spielman, Eli Upfal and Mogens Nielsen as chair) and the whole EATCS community I would like to offer our congratulations and deep respect to all of the six winners! The EATCS Award 2012 has been granted to Moshe Vardi for his decisive influence on the development of theoretical computer science, for his pre-eminent career as a distinguished researcher, and for his role as a most illustrious leader and disseminator.
    [Show full text]
  • Arxiv:1704.03853V4
    TAME STRUCTURES VIA CHARACTER SUMS OVER FINITE FIELDS CHIEU-MINH TRAN Abstract. We show that the theory of algebraically closed fields with mul- tiplicative circular orders has a model companion ACFO. Using number- theoretic results on character sums over finite fields, we show that if F is an algebraic closure of a finite field, and ◁ is any translation-invariant circular order on the multiplicative group F×, then (F, ◁) is a model of ACFO. Our re- sults can be regarded as analogues of Ax’s results in [1] which utilize counting points over finite fields. 1. Introduction Throughout, F will be an algebraic closure of a finite field. We are interested in the following question: Are there natural expansions of F by order-type relations which are also model-theoretically tame? There is no known order-type relation on F which interacts in a sensible way with both addition and multiplication. This is in stark contrast to the situation with the field C of complex numbers where addition and multiplication are compatible with the Euclidean metric induced by the natural order on R. It is not hard to see the reason: the additive group of F is an infinite torsion group of finite exponent, so even finding an additively compatible order-type relation seems unlikely. On the other hand, the multiplicative group F× is a union of cyclic groups, so it is fairly natural to consider circular orders ◁ on F× which are compatible with the multiplicative structure. In this paper, we will show that the resulting structures (F, ◁) give a positive answer to some aspects of the above question.
    [Show full text]
  • UOLUME 49 Contemporary MATHEMATICS
    Complex Differential Geometry and Nonlinear Differential Equations Proceedings of a Summer Research Conference held August12-18,1984 AMERICAn MATHEMATICAL SOCIETY UOLUME 49 http://dx.doi.org/10.1090/conm/049 COnTEMPORARY MATHEMATICS Titles in This Series Volume 1 Markov random fields and their 15 Advanced analytic number theory. applications, Ross Kindermann and Part 1: Ramification theoretic J. Laurie Snell methods. Carlos J. Moreno 2 Proceedings of the conference 16 Complex representations of on integration. topology, and GL(2. K) for finite fields K, geometry in linear spaces. llya Piatetski-Shapiro William H. Graves. Editor 17 Nonlinear partial differential 3 The closed graph and P-closed equations, Joel A. Smoller. Editor graph properties in general topology, T. R. Hamlett and 18 Fixed points and nonexpansive L. L. Herrington mappings, Robert C. Sine. Editor 4 Problems of elastic stability and 19 Proceedings of the Northwestern vibrations, Vadim Komkov. Editor homotopy theory conference. 5 Rational constructions of Haynes R. Miller and Stewart B. modules for simple Lie algebras. Priddy, Editors George B. Seligman 20 Low dimensional topology, 6 Umbral calculus and Hopf algebras, Samuel J. Lomonaco. Jr.. Editor Robert Morris. Editor 21 Topological methods in nonlinear 7 Complex contour integral functional analysis, S. P. Singh. representation of cardinal spline S. Thomeier. and B. Watson. Editors functions, Walter Schempp 22 Factorizations of b" 1, b 8 Ordered fields and real algebraic ± = 2, 3, 5, 6, 7, 10,11,12 up to high geometry, D. W. Dubois and powers. John Brillhart. D. H. Lehmer. T. Recio. Editors J. L. Selfridge. Bryant Tuckerman. and 9 Papers in algebra.
    [Show full text]
  • Mathematical Sciences Meetings and Conferences Section
    OTICES OF THE AMERICAN MATHEMATICAL SOCIETY Richard M. Schoen Awarded 1989 Bacher Prize page 225 Everybody Counts Summary page 227 MARCH 1989, VOLUME 36, NUMBER 3 Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences This calendar lists all meetings which have been approved prior to Mathematical Society in the issue corresponding to that of the Notices the date this issue of Notices was sent to the press. The summer which contains the program of the meeting. Abstracts should be sub­ and annual meetings are joint meetings of the Mathematical Associ­ mitted on special forms which are available in many departments of ation of America and the American Mathematical Society. The meet­ mathematics and from the headquarters office of the Society. Ab­ ing dates which fall rather far in the future are subject to change; this stracts of papers to be presented at the meeting must be received is particularly true of meetings to which no numbers have been as­ at the headquarters of the Society in Providence, Rhode Island, on signed. Programs of the meetings will appear in the issues indicated or before the deadline given below for the meeting. Note that the below. First and supplementary announcements of the meetings will deadline for abstracts for consideration for presentation at special have appeared in earlier issues. sessions is usually three weeks earlier than that specified below. For Abstracts of papers presented at a meeting of the Society are pub­ additional information, consult the meeting announcements and the lished in the journal Abstracts of papers presented to the American list of organizers of special sessions.
    [Show full text]
  • Mathematics People
    NEWS Mathematics People Tardos Named Goldfarb and Nocedal Kovalevsky Lecturer Awarded 2017 von Neumann Éva Tardos of Cornell University Theory Prize has been chosen as the 2018 AWM- SIAM Sonia Kovalevsky Lecturer by Donald Goldfarb of Columbia the Association for Women in Math- University and Jorge Nocedal of ematics (AWM) and the Society for Northwestern University have been Industrial and Applied Mathematics awarded the 2017 John von Neu- (SIAM). She was honored for her “dis- mann Theory Prize by the Institute tinguished scientific contributions for Operations Research and the to the efficient methods for com- Management Sciences (INFORMS). binatorial optimization problems According to the prize citation, “The Éva Tardos on graphs and networks, and her award recognizes the seminal con- work on issues at the interface of tributions that Donald Goldfarb computing and economics.” According to the prize cita- Jorge Nocedal and Jorge Nocedal have made to the tion, she is considered “one of the leaders in defining theory and applications of nonlinear the area of algorithmic game theory, in which algorithms optimization over the past several decades. These contri- are designed in the presence of self-interested agents butions cover a full range of topics, going from modeling, governed by incentives and economic constraints.” With to mathematical analysis, to breakthroughs in scientific Tim Roughgarden, she was awarded the 2012 Gödel Prize computing. Their work on the variable metric methods of the Association for Computing Machinery (ACM) for a paper “that shaped the field of algorithmic game theory.” (BFGS and L-BFGS, respectively) has been extremely in- She received her PhD in 1984 from Eötvös Loránd Univer- fluential.” sity.
    [Show full text]
  • LOGICAL DREAMS Saharon Shelah Institute of Mathematics The
    Paper Sh:E23, version 2002-11-20 11. See https://shelah.logic.at/papers/E23/ for possible updates. LOGICAL DREAMS Saharon Shelah Institute of Mathematics The Hebrew University Jerusalem, Israel Rutgers University Mathematics Department New Brunswick, NJ USA Abstract. We discuss the past and future of set theory, axiom systems and inde- pendence results. We deal in particular with cardinal arithmetic. Contents Reading instructions 0. Introductory remarks 1 What does mathematical logic do for you? 2 The glory of proven ignorance 3 Set theory and additional axioms 4 ZFC indecisiveness 5 Is ZFC really so weak? 6 Concluding remarks 2000 Mathematics Subject Classification. 03-02, 03Exx. Key words and phrases. mathematical logic, set theory, independence, incompleteness, forcing, large cardinals. I would like to thank Alice Leonhardt for the beautiful typing. This paper is based on my lecture (and the preparations to the lecture) during the conference Mathematical Challenges of the 21th Century. Publication E23 Typeset by AMS-TEX 1 Paper Sh:E23, version 2002-11-20 11. See https://shelah.logic.at/papers/E23/ for possible updates. 2 SAHARON SHELAH Annotated Content Reading instructions. x0 Introductory remarks. [How to read; what this article tries to do; what is cardinal arithmetic.] x1 What does mathematical logic do for me? [Why is it needed; what is this animal ZFC; thesis: general results; the Jeffersonian thesis for the best framework; the scale thesis.] x2 The glory of proven ignorance. [G¨odel'sdiet, Cohen's fattening; independence in number theory; primes are random; the Riemann hypothesis, consistency strength.] x3 Set theory and additional axioms.
    [Show full text]
  • Arkitekten Andrea Branzi En Av Rolf Schock-Pristagarna 2018
    Saharon Shelah, Ronald Coifman, Andrea Branzi och Barbara Hannigan. Bilden är hämtad från Rold Schockprisens hemsida, www.rolfschockprisen.se. Foto: Yael Shelah, Yale University, Francesco Brigida och Elmer-de-Haas. 2018-03-15 17:32 CET Arkitekten Andrea Branzi en av Rolf Schock-pristagarna 2018 Konstakademien har tillsammans med Kungliga Vetenskapsakademien och Kungliga Musikaliska akademien utsett årets fyra Rolf Schock-pristagare, som tilldelas till 400 000 kronor per prisområde, sammanlagt 1,6 miljoner kronor. Priset för de visuella konsterna tilldelas Andrea Branzi. Rolf Schock, lämnade vid sin bortgång 1986 efter sig en stor förmögenhet, som förvaltas av stiftelsen The Schock Foundation och priset delas ut varje år i enlighet med önskemålen i hans testamente. Årets prisutdelning äger rum på Konstakademien den 15 oktober. Priset för de visuella konsterna tilldelas Andrea Branzi,italiensk arkitekt, designer, debattör och författare, född 1938, och en av grundarna till studion Archizoom Associati, som med sitt projekt No-stop city i slutet av 60-talet bidrog till att formulera arkitektur som kritik och teori. No-stop city visar på de yttersta konsekvenserna av den sena kapitalismens urbana utveckling. Det var en Superarchitettura, en superarkitektur, bestående av superproduktion och superkonsumtion. Tillsammans med andra italienska grupper, som Superstudio, inledde de en förnyelse av inte bara italiensk design utan formulerade en design i en bred kulturell och politisk kontext. Denna, så kallade Radikal design eller Anti-design, fick sitt internationella genombrott med utställningen Italy: The New Domestic Landscape på MOMA 1972. Andrea Branzi har haft en nyckelroll i designriktningar som Global Tools, Alchimia och Memphis. Bland hans mer kända möbler finns Superonda sofa, 1966, Mies chair, 1968, och den modulära Safari sofa, 1968; alla avsedda att ifrågasätta reglerna för hur vi bor.
    [Show full text]
  • In Memoriam: James Earl Baumgartner (1943-2011)
    In memoriam: James Earl Baumgartner (1943–2011) J.A. Larson Department of Mathematics University of Florida, Gainesville Gainesville, FL 32611–8105, USA October 9, 2018 Abstract James Earl Baumgartner (March 23, 1943 – December 28, 2011) came of age mathematically during the emergence of forcing as a fun- damental technique of set theory, and his seminal research changed the way set theory is done. He made fundamental contributions to the development of forcing, to our understanding of uncountable or- ders, to the partition calculus, and to large cardinals and their ideals. He promulgated the use of logic such as absoluteness and elementary submodels to solve problems in set theory, he applied his knowledge of set theory to a variety of areas in collaboration with other math- ematicians, and he encouraged a community of mathematicians with engaging survey talks, enthusiastic discussions of open problems, and friendly mathematical conversations. arXiv:1705.02219v1 [math.HO] 2 May 2017 1 Overview of Baumgartner’s Life James E. Baumgartner was born on March 23, 1943 in Wichita, Kansas. His high school days included tennis, football, and leading roles in school plays. In 1960 he entered the California Institute of Technology, but stayed only two years, moving to the University of California, Berkeley in 1962, in part because it was co-educational. There he met and married his wife Yolanda. He continued his interest in drama and mathematics as an undergraduate, earned his A.B. in mathematics in 1964, and continued study as a graduate 1 student. Baumgartner [9, page 2] dated his interest in set theory to the four week long 1967 UCLA Summer Institute on Axiomatic Set Theory.1 The mathematics for his dissertation was completed in spring 1969, and Baumgartner became a John Wesley Young Instructor at Dartmouth College in fall 1969.
    [Show full text]
  • Of the American Mathematical Society June/July 2018 Volume 65, Number 6
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society June/July 2018 Volume 65, Number 6 James G. Arthur: 2017 AMS Steele Prize for Lifetime Achievement page 637 The Classification of Finite Simple Groups: A Progress Report page 646 Governance of the AMS page 668 Newark Meeting page 737 698 F 659 E 587 D 523 C 494 B 440 A 392 G 349 F 330 E 294 D 262 C 247 B 220 A 196 G 145 F 165 E 147 D 131 C 123 B 110 A 98 G About the Cover, page 635. 2020 Mathematics Research Communities Opportunity for Researchers in All Areas of Mathematics How would you like to organize a weeklong summer conference and … • Spend it on your own current research with motivated, able, early-career mathematicians; • Work with, and mentor, these early-career participants in a relaxed and informal setting; • Have all logistics handled; • Contribute widely to excellence and professionalism in the mathematical realm? These opportunities can be realized by organizer teams for the American Mathematical Society’s Mathematics Research Communities (MRC). Through the MRC program, participants form self-sustaining cohorts centered on mathematical research areas of common interest by: • Attending one-week topical conferences in the summer of 2020; • Participating in follow-up activities in the following year and beyond. Details about the MRC program and guidelines for organizer proposal preparation can be found at www.ams.org/programs/research-communities /mrc-proposals-20. The 2020 MRC program is contingent on renewed funding from the National Science Foundation. SEND PROPOSALS FOR 2020 AND INQUIRIES FOR FUTURE YEARS TO: Mathematics Research Communities American Mathematical Society Email: [email protected] Mail: 201 Charles Street, Providence, RI 02904 Fax: 401-455-4004 The target date for pre-proposals and proposals is August 31, 2018.
    [Show full text]