Archives of: saf

Set-Theoretic Topology and Topological Algebra

Professor Alexander Vladimirovich Arhangelskii more than forty-five years works at the Faculty of Mechanics and Mathematics, of which over thirty years in the position of professor. A.V. Arhangelskii is a pupil of Academician P.S. Alexandroff, who, together with P.S. Uryson founded the Russian (Soviet) topological school. And to this day the Russian topological school is one of the best in the world. His scientific results became classical and laid the foundation for such scientific areas as topological algebra, spaces of continuous functions, topological homogeneity. He wrote more than 330 works, more than fifty times A.V. Arhangelskii was an invited speaker at international conferences and symposiums. Monographs of A.V. Arhangel’skii “Topological function spaces”, “Cantor set theory”, “Finite-dimensional vector spaces”, “Topological groups and related structures” (joint with M.G. Tkachenko) and joint with V.I. Ponomarev textbook “Fundamentals of General Topology in Problems and Exercises” became reference books for many mathematicians and translated into foreign languages. He established in Russia an authoritative scientific school: among the students of A.V. Arhangelskii 37 candidates and doctors of science, among them more than 20 professors.

Topics include:
  1. Set-Theoretic Topology
  2. Mappings and Spaces
  3. Topological groups
  4. Topological function spaces


Lomonosov Moscow State University, Механико-математический факультет

Programme Committee:

V.A. Sadovnichy (chairman) – Academician, rector of Moscow Lomonosov State University S.P. Gul’ko – Head of the Department of Mathematical Analysis and Theory of Functions of Tomsk State University J. van Mill – professor University of Amsterdam (Nerthelands) M.G. Tkachenko – professor Universidad Autonoma Metropolitana (Mexico) V.V. Uspenskii – professor  Ohio University (USA) V.V. Filippov – professor Faculty of Mechanics and Mathematics of Moscow Lomonosov State University M.M. Choban – Academician AN Moldova,  Head of the Department of Algebra, Geometry and Topology of Tiraspol State University

Organizing Committee:

V.N. Chubarikov (co-chairman) – Acting Dean of the Faculty of Mechanics and Mathematics of Moscow Lomonosov State University Yu.V. Sadovnichy (co-chairman) – Head of the Department of General Topology and Geometry of Faculty of Mechanics and Mathematics of Moscow Lomonosov State University D.P. Baturov – associate professor of Orel State University A.N. Karpov – associate professor of Faculty of Mechanics and Mathematics of Moscow Lomonosov State University K.L. Kozlov – professor of Faculty of Mechanics and Mathematics of Moscow Lomonosov State University O.I. Pavlov – associate professor of RUDN University E.A. Reznichenko – associate professor of Faculty of Mechanics and Mathematics of Moscow Lomonosov State University O.V. Sipacheva – principal researcher of Faculty of Mechanics and Mathematics of Moscow Lomonosov State University A.N. Yakivchik – associate professor of Faculty of Mechanics and Mathematics of Moscow Lomonosov State University I.V. Yaschenko – principal of the Center for Pedagogical Excellence in the City of Moscow  


Please address all correspondence related to the conference to:

Cost of participation

The conference fee is 1000 roubles.

Appalachian Set Theory workshop: Dilip Raghavan, June 2, 2018

Appalachian set theory

Saturday, June 2, 2018

8:30 a.m. – 4:30 p.m. with coffee and lunch breaks

Carnegie Mellon University

Refreshments in Wean Hall 6220

Breakfast and coffee starting at 7:30

Dilip Raghavan : “Boolean ultrapowers and iterated forcing”


In joint work with Saharon Shelah, we develop a new method for proving consistency results on cardinal invariants, particularly results involving the invariant . This method can be used with a wide range of forcing notions, including arbitrary ccc posets. However the method always requires a supercompact cardinal κ in the ground model and produces forcing extensions in which the desired invariants sit above κ. Another feature of our method is that it generalizes to cardinal invariants above ω, and can be used to give uniform consistency proofs that work at any regular cardinal. It can also be used to treat situations where three cardinal invariants must be separated. In particular, our technique solves various long standing open problems about cardinal invariants at uncountable regular cardinals. All the results use Boolean ultrapowers, studied by Keisler and other model theorists in the 1960s. I will aim to give a fairly self contained introduction to this method and to some to its applications to the theory of cardinal invariants.

Suggested reading

Local information

The nearest airport is Pittsburgh International Airport. The Supershuttle shared van service is cheaper but slower than taking a taxi from the airport.


VERY IMPORTANT NOTE ABOUT LODGING: A block of rooms earmarked for attendees has been set aside at a local hotel (the Shadyside Inn). If we are covering your lodging expenses then we will need to make a reservation for you. Please don’t make your own reservation if we have promised you support, this will cause confusion and may make it impossible for us to reimburse you.

Participant travel support

Funds provided by the National Science Foundation will be used to reimburse some participant transportation and lodging expenses. Priority will be given to students and faculty who do not hold federal research grants. Please request such funds as far in advance of the meeting as possible by sending the following information to the email address

  • Your name, university affiliation, mailing address, phone number and email address
  • Your nationality and visa status
  • Your professional status and some additional information:
    • Undergraduate students: please describe your background in set theory
    • Graduate students: please tell us your year and the name of your thesis advisor if you have one
    • Faculty: please tell us whether you hold a federal research grant
  • A brief statement about your interest in the workshop

Takeuti Memorial Symposium, Kobe, September 18 – 20, 2018

AML 2018 – Takeuti Memorial Symposium

Symposium on Advances in Mathematical Logic 2018

Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017)

September 18 (Tue) – 20 (Thu), 2018

Kobe, Japan


Dear all,

We are pleased to announce the international conference

SAML 2018 / Takeuti Memorial Symposium
Symposium on Advances in Mathematical Logic 2018
Dedicated to the Memory of Professor Gaisi Takeuti (1926-2017)

This will take place from September 18th to 20th, 2018,
at the Takigawa Memorial Hall, Rokkodai Campus, Kobe University, in Japan.

Program comittee:
Toshiyasu Arai (Chiba)
Makoto Kikuchi (Kobe)
Satoru Kuroda (Gunma Prefectural Women’s University)
Mitsuhiro Okada (Keio University)
Teruyuki Yorioka (Shizuoka)

Confirmed invited speakers:
Samuel R. Buss (San Diego)
Wilfried Sieg (CMU)
Mariko Yasugi (Kyoto)
(Other invited speakers will be announced later.)

Mathematical logic and related areas including (but not restricted to)
proof theory, set theory, computability theory, model theory, philosophical
logic, theoretical computer science, philosophy of mathematics.

Contributed talks:
Each contributed talk is planned to be approx. 30 min
(this may change according to the number of talks).

Proceedings Volume:
The proceedings volume of selected and revised papers based on the talks
will be published after the symposium.

Important Dates (tentative):
Deadline of abstracts for contributed talks: July 31, 2018
Symposium: September 18-20, 2018
Deadline of full papers for the proceedings volume: March, 2019
Publication of the proceedings volume: December 2019

The reception will be held on September 18th evening at Takigawa Memorial
(conference venue). It will cost 4,000JPY (tentative).
The banquet (Toshiyasu Arai 60th birthday celebration) will be held on
September 19th evening.
It will cost 12,000JPY (tentative). The place will be announced later.

Send an e-mail to Teruyuki Yorioka with subject “SAML2018”, and please provide the following information.
The deadline of the registration is July 31st, 2018.

  • Name:
  • Affiliation:
  • E-mail:
  • Contributed talk: (yes/no) if yes, please attach title and abstract (about5 to 10 lines)
  • Parties: Reception (yes/no), Banquet (yes/no)

For any inquiry concerning the workshop, please contact

Makoto Kikuchi
Teruyuki Yorioka

Generalised Baire Spaces, Amsterdam, August 22-24, 2018

KNAW Academy Colloquium

Generalised Baire Spaces

Amsterdam, The Netherlands

Master Class: 22 August 2018 / Colloquium: 23–24 August 2018

Organisers. Lorenzo Galeotti, Benedikt Löwe, Philipp Lücke.
Descriptive set theory and set theory of the reals traditional deal with well-known and well-studied topological spaces such as the real numbers, Cantor space, and Baire space. In recent years, set theorists are increasingly interested in the uncountable analogues 2κ of the Cantor space (generalised Cantor space) and κκ of the Baire space (generalised Baire space) for uncountable cardinals κ.

While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.

The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Löwe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory like uncountable combinatorics, forcing, large cardinals, inner models and classical descriptive set theory and also involves techniques from classical model theory. The community met first at the Amsterdam Set Theory Workshop 2014 in November 2014, then at a satellite workshop to the German mathematics congress in Hamburg in September 2015, and finally at a workshop at the Hausdorff Center for Mathematics in Bonn in September 2016. This Academy Colloquium is a reunion of the community after a hiatus of two years.

The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium. The KNAW Master Class will take place on 22 August 2018.



Novi Sad Conference in Set Theory and General Topology, Novi Sad, July 2-5, 2018

The international conference “Novi Sad Conference in Set Theory and General Topology” SETTOP 2018 that will take place from July 2nd to July 5th 2018 in Novi Sad.

Confirmed invited speakers:
David Asperó (Norwich)
David Chodounský (Prague)
Natasha Dobrinen (Denver)
Vera Fischer (Vienna)
Heike Mildenberger (Freiburg)
Dilip Raghavan (Singapore)
Philip Schlicht (Bonn)
Stevo Todorčević (Toronto / Paris)

Program Committee:
Joan Bagaria (Barcelona)
Mirna Džamonja (Norwich)
Sy David Friedman (Vienna)
István Juhász (Budapest)
Miloš Kurilić (Novi Sad)

Participants can also present short talks.

Important dates:
Early Registration: until April 1st
Registration: until May 15th
Abstract submission: until June 1st
Arrival date: July 1st; departure date: July 6th.

Early Conference Fee – for paying before April 1st – 70 euros
Late Conference Fee – for paying after April 1st if registered before April 1st – 90 euros
Late Conference Fee – for paying after April 1st if registered after April 1st – 100 euros
Fee for an accompanying person – 50 euros

Contact e-mail:

Hoping to see you in Novi Sad,

on behalf of the Organizing Committee,
Aleksandar Pavlović and Boris Šobot

BLAST 2018, Denver, August 6-10, 2018

BLAST 2018
University of Denver, Colorado, USA
August 6-10, 2018

The tenth-anniversary installment of BLAST will be held at the University of Denver from August 6 to August 10, 2018.

Tutorial speakers:

  • Paul Gartside (University of Pittsburgh)
  • George Metcalfe (Universität Bern)
  • Drew Moshier (Chapman University)

Plenary speakers:

  • Dana Bartosova (Carnegie Mellon University)
  • Manuela Busaniche (National Scientific and Technical Research Council, Buenos Aires)
  • Mirna Dzamonja (University of East Anglia, UK)
  • David Fernandez-Breton (University of Michigan)
  • Wesley Holliday (UC Berkeley)
  • Agnes Szendrei (CU Boulder)

Local organizing committee:

  • Natasha Dobrinen
  • Wesley Fussner
  • Nick Galatos
  • Dan Hathaway
  • Gavin St. John

Program committee:

  • Natasha Dobrinen (Chair)
  • Nick Galatos

2018 North American ASL Meeting, Illinois, May 16-19, 2018


Association for Symbolic Logic

2018 North American Annual Meeting

May 16 – May 19, 2018

Western Illinois University • Macomb, Illinois


Invited Speakers:

Plenary Speakers:

JC Beall, University of Connecticut

A. Chernikov, University of California at Los Angeles
(Local distality and distal parts of stable theories)

B. Hart, McMaster University
(In defense of ultraproducts)

J. Knight, University of Notre Dame
(Roots of polynomials in generalized power series)

R. Nagloo, Bronx Community College
(Model theory and classical differential equations)

D. Sinapova, University of Illinois at Chicago
(Stronger tree properties and the SCH)

S. Solecki, University of Illinois at Urbana-Champaign
(Fra\”iss\’e limits and compact spaces)

A. Weiermann, Ghent University, Belgium
(Generalized Goodstein sequences and notation systems for finite numbers)


A. Marks, University of California at Los Angeles
(Descriptive set theory and geometric paradoxes)

T. Slaman, University of California at Berkeley
(Recursion theory and Diophantine approximation)

Special Sessions:
  • Computability (L. Bienvenu and K. Lange)
  • Logic and Philosophy (C. Franks)
  • Model Theory (J. Freitag and J. Marikova)
  • Proof Theory (H. Towsner)
  • Set Theory (D. Sinapova and A. Tserunyan)

First Girona inner model theory conference, Girona, July 16-27 2018

The first Girona inner model theory conference will take place on July 16-27 at the Philosophy Department of the University of Girona, Catalonia.

The conference is a sequel to previous conferences on inner model theory in Münster, Palo Alto, Berkeley and Irvine. Once more, the meeting will draw together researchers and advanced students with an interest in inner model theory, in order to communicate and further explore recent work. There will be courses and single talks Monday-Friday, with 2 1/2 hours of lectures in the morning and 2 1/2 hours of lectures in the afternoon. This will leave ample time for problem sessions, informal seminars, and other interactions.

The conference is organized by Ralf Schindler (Münster), John Steel (Berkeley) and Joan Vergés (Girona). Please contact Ralf Schindler ( if you intend to participate.

2nd Pan Pacific International Conference on Topology and Applications, November 13–17, 2017

The 2nd Pan Pacific International Conference on Topology and Applications (2nd PPICTA) had a special session in Set Theory, to which we now provide the slides.

(50min. talks)
1. David Chodounsky (Institute of Mathematics CAS)
Sacks indestructible ultrafilters and the HL property

2. David Fernández-Bretón (University of Michigan)
Algebraic Ramsey-Theoretic Statements with an Uncountable Flavour

3. Diego A. Mejía (Shizuoka University)
Ultrafilter limits in matrix iterations

4. Liuzhen Wu (Chinese Academy of Sciences)
Simultaneously reflection principle, successors of singulars and Jonsson cardinals

(30min. talks)
1. Joerg Brendle (Kobe University)
Constant prediction, strong porosity, and unsymmetric game ideals

2. Longyun Ding (Nankai University)
Equivalence relations and Borel reduction

3. Jialiang He (Sichuan University)
Tukey reduction on F_sigma ideal

4. Daisuke Ikegami (Tokyo Denki University)
On supercompactness of omega_1

5. Takayuki Kihara (Nagoya University)
Borel isomorphisms at the second level

6. Hiroshi Sakai (Kobe University)
On reflection principles of indescribable sets

7. André Ottenbreit Maschio Rodrigues (Kobe University)
Uncountable Fordor-type reflection principle and reflection of meta-Lindelöfness

11th Young Set Theory Workshop, Lausanne, June 25–29, 2018

The aims of the Young Set Theory workshops are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

This year’s Young Set Theory Workshop will take place at the Bernoulli Center in Lausanne, Switzerland, at the end of the Descpriptive set theory and Polish groups semester. While the organization of the workshop is independent of that of the semester, we hope the proximity will promote attendance of young researchers from extra-European countries.

Tutorial Speakers

  • Ilijas Farah (York University)
  • Assaf Rinot (Bar-Ilan University)
  • Christian Rosendal (University of Illinois at Chicago)
  • Dima Sinapova (University of Illinois at Chicago)

Invited Speakers

  • Hazel Brickhill (University of Kobe)
  • Diana Montoya (Kurt Gödel Research Center)
  • Gianluca Paolini (Hebrew University of Jerusalem)
  • Yann Pequignot (University of California, Los Angeles)

Invited LOCAL Speakers

  • Lorenz Halbeisen (ETH Zürich)
  • Gerhard Jäger (University of Bern)

Links to previous meetings: