Wednesday, March 4 from 3 to 4pm
Room: Math 124
Speaker: Samuel Coskey (BSU)
Title: An introduction to continuous logic
Abstract: Continous logic is a proper generalization of first order logic where the usual binary truth values are replaced by the unit interval $[0,1]$. The models for this logic are metric structures, which are metric spaces together with continuous functions and $[0,1]$-valued relations. Just as ordinary logic has typical applications in discrete math, continuous logic has applications in analysis. In this talk we will introduce just the basic concepts and theory of continuous logic.
Tuesday, March 3, 2015, 17:15
Wrocław University of Technology, 215 D-1
Speaker: Szymon Żeberski (Wrocław University of Technology)
Title: An example of a capacity for which all positive Borel sets are thick
The result is obtained together with Michał Morayne. We will show an example of a capacity on Cantor’s cube for which all positive Borel sets can be partitioned into continuum many positive Borel sets.
Place: Fields Institute, Room 210
Date and time: Friday 27 February 2015 (13:30-15:00)
Speaker: Frank Tall
Title: Some observations on the Baireness of C_k(X) for a locally compact space X
Abstract: The area in-between Empty not having a winning strategy and Nonempty having a winning strategy in the Banach-Mazur game has attracted interest for many decades. We answer some questions Marion Scheepers asked when he was here last year, and also prove results related to his recent paper with Galvin and to a paper of Gruenhage and Ma. Our tools include PFA(S)[S] and non-reflecting stationary sets.
Wednesday, March 4, 2015, 11:00
Prague – IM AS CR, Zitna 25, seminar room, front building, third floor
Speaker: Jonathan Verner (Faculty of Philosophy and Arts, Charles University in Prague)
Title: Dynamical systems on ω* and weak-P-points
Friday Set Theory Seminar (HUJI)
We shall meet on February 27th (this Friday) in the Hebrew University
math department building in Room 110, at 10 am.
Speaker: Ralf Schindler (Münster)
Title: Martin’s Maximum, Woodin’s (*), or both?
Abstract: There are two plausible strong axioms available on the market
which both imply that there are $\aleph_2$ reals, Martin’s Maximum
and Woodin’s (*). It is still unknown if these two are compatible with
each other; this question leads to studying apparently unrelated issues
from descriptive inner model theory. We will present some joint
work with D. Aspero and H. Woodin.
We would like to announce a post-doctoral position in the Departament of
Mathematics of the University of SÃ£o Paulo (Brazil) within the scope of
the set-theoretic aspects of Banach spaces and related structures, to work
in a joint project of Christina Brech and Piotr Koszmider (IM PAN, Warsaw)
who will spend 3 months each year in SÃ£o Paulo during the project.
This position is for a period of 12 months, starting between April and September 2015.
Candidates interested in related fields such as applications of forcing in
analysis or set-theoretic aspects of C*-algebras, or planning to develop
their interests in these directions are welcome. The extended group
includes Valentin Ferenczi, Eloi Medina Galego and Artur Tomita and other
postdocs such as Dana Bartosova and Brice Mbombo.
The postdoc has no teaching duties and will receive a modest monthly
stipend of BRL 4100,00 (tax free). It also comprehends partial travel
support and BRL 4100,00 as a support for the first expenses upon arrival,
besides some small amount of money for traveling. These values should be
compatible with a modest life in SÃ£o Paulo, for example sharing an
apartment close to a trendy neighborhood or renting an individual studio
in regular neighborhood close to the campus.
The candidates must have obtained their PhD not more than 7 years before
the starting date of the position and must submit their CV together with
the name and e-mail address of two people who could give a recommendation
letter to firstname.lastname@example.org by March 15th.
For further information about this position, please send us a message at email@example.com or firstname.lastname@example.org.
We kindly ask you to forward this message to anyone you know that might be
interested in this position.
All the best,
Christina and Piotr
Wednesday, February 11 from 3 to 4pm
Room: Math 124
Speaker: Randall Holmes (BSU)
Title: Preliminaries for Proving the Consistency of NF
Abstract: We will discuss some preliminary machinery intended for use in a consistency proof of Quine’s set theory New Foundations.
No particular familiarity with New Foundations is presupposed.