Archives of: saf

Special session on Large cardinals and combinatorial set theory, Ann Arbor, October 20-21, 2018

Paul Larson and Andrés E Caicedo are co-organizing a special session at the Fall Central Sectional Meeting 2018 in Ann Arbor, on Large cardinals and combinatorial set theory. The session will take place Saturday October 20 and Sunday October 21.

Special Session on Large Cardinals and Combinatorial Set Theory

 

 

 

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

Organizers

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  

Contacts

Please address all correspondence related to the conference to: TopAlgebra2018@gmail.com

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”

Description

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.

Lodging

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 appalachiansettheory@gmail.com

  • 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)

http://www2.kobe-u.ac.jp/~mkikuchi/saml2018/

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.)

Scope:
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

Parties:
The reception will be held on September 18th evening at Takigawa Memorial
Hall
(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.

Registration:
Send an e-mail to Teruyuki Yorioka yorioka@shizuoka.ac.jp 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 mkikuchi@kobe-u.ac.jp
Teruyuki Yorioka yorioka@shizuoka.ac.jp

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.

Speakers:

 

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:
Registration: until June 8th
Abstract submission: until June 8th
Arrival date: July 1st; departure date: July 6th.

Fee
Conference Fee – 100 euros
Fee for an accompanying person – 50 euros

 

1) Thanks to a grant received from the Secretariat of science of municipality of Vojvodina, we will be able to provide accomodation (bed and breakfast) for a considerable number of participants. Advantage will be given to participants giving a talk at the conference.

2) Several transfers will be organized free of charge from the Belgrade airport on July 1st and to the airport on July 6th. The times of transfers will be announced in advance, and for each of them seats will be available for participants who notify organizers on time.

3) Due to this new info, the registration deadline (including abstract submission) is prolonged until June 8th.

Contact e-mail: settop@dmi.uns.ac.rs

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
(TBA)

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)


Tutorial:

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 (rds@wwu.de) 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