## An assistant professor position in mathematical logic, Charles University in Prague, Deadline: 31 October 2014

The Department of Algebra invites applications for a tenure-track position at the rank of assistant professor in the area of mathematical logic. The expected starting date is January 1, 2015 or soon afterwards and is negotiable.

Areas of special interest are:
(i) interactions of logic with computational complexity theory, or
(ii) model theory (any of its facets).
However, strong candidates in all areas of mathematical logic will be considered. Candidates are required to have a proven international research record corresponding to their career stage and a postdoctoral experience.

A successful candidate is expected to pursue an active research program, teach advanced and introductory classes in Czech and/or English and possibly supervise undergraduate and graduate students. Teaching in Czech is not required. (English is sufficient since the advanced classes may be taught in English even in standard undergraduate programs.)

The expected duration of the initial contract is three years. Such a position is renewable under a mutual agreement for another three years (and possibly for further three years, depending on the career stage). These new contracts depend on how successfully the assistant professor carries out research and teaching duties. Then, subject to a separate review process (called a habilitation), a promotion to the rank of associate professor is usual. This promotion is usually connected with a tenure. However, if the candidate’s career is already advanced with a strong research record, the initial period can be substantially reduced and you can progress to the promotion very fast.

Electronic applications accompanied by:

a curriculum vitae
a proof of PhD in a relevant field
a list of publications
a description of pedagogical experience

should be sent to Mrs. Eva Ramesova at ramesova@karlin.mff.cuni.cz.
The candidate should also arrange for two letters of recommendation to be sent directly to the same address. Informal inquiries are welcome and may be sent to Prof. Jan Krajicek at krajicek@karlin.mff.cuni.cz.
The application deadline is October 31, 2014.

Early applications are encouraged; applications may be processed as they are received.

We may invite the best candidates for an interview during October – mid November; after that the final round of selection will follow.

## Giorgio Laguzzi: Roslanowski and Spinas dichotomies

Monday, July 14, 2014, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Giorgio Laguzzi (Universität Hamburg)

Title: Roslanowski and Spinas dichotomies

## Yair Hayut: Stationary reflection at successors of singulars

Forcing seminar (Tel Aviv University)
Yair Hayut will speak this Tuesday (8/7/14)
(9:10-11, Schreiber 209) his abstract :
Stationary reflection at successors of singulars
I will show how to get, starting with ω supercompact cardinals, a model in which every stationary set at some specific, predefined, successor of singular reflects. This is a simplification of results of Shelah and Magidor for the 80′s and 90′s. The reflection properties obtained this way are indestructible by closed enough forcing, so we can separate some combinatorical properties this way.  For this end, I define the approachability property and show its relations to preservation of stationary sets under closed forcing notions.
If time permits, I’ll show how to obtain Shelah’s model, in which every stationary set that can reflect reflects in the same way.

## Christopher Eagle: Model theory of abelian real rank zero C*-algebras

27 June 2014, 13:30–15:00

Fields institute, Room 210

Speaker: Christopher Eagle

Title: Model theory of abelian real rank zero C*-algebras

Abstract: We consider algebras of the form $C(X)$, where $X$ is a $0$-dimensional compact Hausdorff space, from the point of view of continuous model theory.  We characterize these algebras up to elementary equivalence in terms of invariants of the Boolean algebra $CL(X)$ of clopen subsets of $X$.  We also describe several saturation properties that $C(X)$ may have, and relate these to topological properties of $X$ and saturation of $CL(X)$.  We will discuss some consequences of saturation when we view $C(X)$ as a $C^*$-algebra.  All the necessary background on continuous logic will be provided. This is joint work with Alessandro Vignati.

## Postdoctoral position in mathematical logic (3y), Freiburg (Germany), Deadline: 25 July 2014

Postdoctoral position in mathematical logic (3y), Freiburg (Germany), Deadline: 25 July 2014

The Section for Mathematical Logic of the Universitaet Freiburg invites
applications for an Assistant’s position at level A13 or E13. Fulltime
position, start date: 01.10.2014
The teaching load is four hours per week during the term in a field of mathematical logic or in the beginners’ education in mathematics.
Prerequisites are a Ph.D. and possibly further research in set theory. Moreover, there is the possibility to obtain the habilitation degree. There is the possibility to prolong the contract by another three years.
Employment as a civil servant is subject to certain conditions, among them a Ph.D. with grade at least magna cum laude (if graded at all). The position can be filled by October 1, 2014 or later.

Applicants please send a cv, certificates, transcripts, a publication list
and a research proposal and the filled-in application form
(http://www.zuv.uni-freiburg.de/formulare/bewerbungsbogen_englisch.pdf)
per e-mail to Prof. Dr. Heike Mildenberger. The address is
heike.mildenberger@math.uni-freiburg.de
See further informations at http://logik.mathematik.uni-freiburg.de

The contract is a fixed-term contract for 3 years . The salary will be determined in accordance with A13 or E13. The university is currently seeking to increase the amount of female employees and is thus especially pleased to receive applications from qualified females.

Please send applications including a printout of the application form and
the usual documentation to the following address by 25.07.2014.
Applications should be marked with the reference number 8839
contact Heike Mildenberger at Tel. +49 761 2035603 or E-mail
heike.mildenberger@math.uni-freiburg.de.

## Thilo Weinert: On Partitioning Linearly Ordered Quadruples in Canonical Non-Choice-Contexts

Forcing seminar (Tel Aviv University)

June 24th 2014, 9-11

Speaker: Thilo Weinert

Title: On Partitioning Linearly Ordered Quadruples in Canonical Non-Choice-Contexts

Abstract: attached!

## Otmar Spinas: “Das Problem mit Silver Amoeba”

Monday, June 23, 2014, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Otmar Spinas (Kiel)

Title: “Das Problem mit Silver Amoeba”

Abstract:

Ich werde die offene Frage eroertern, ob ein Amoeba für Silver-Forcing existiert, das keine Cohen reelle Zahlen adjungiert. In der Sprache der kardinalen Invarianten ist dies die Frage, ob konsistenterweise die Ueberdeckungszahl des mageren Ideals kleiner als die Additivitaet des Silver-Ideals ist.

## Egbert Thümmel: Reaping number and π-weight in exponent Boolean algebras

Wednesday, June 25, 2014, 11:00
Prague – CTS

Speaker: Egbert Thümmel

Title: Reaping number and π-weight in exponent Boolean algebras

## Mirna Dzamonja: Embeddings of graphs with no large cliques

Monday, June 16, 2014, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Mirna Dzamonja (University of East Anglia, Norwich, UK)

Title: Embeddings of graphs with no large cliques

Abstract:

We shall discuss embeddings between graphs omitting large
cliques and in particular we shall prove that for kappa singular of
cofinality kappa there is no universal graph of size kappa omitting
cliques of size kappa, just in ZFC.

## David Chodounsky: Suslin partitions and non-productivity of Y-c.c.

Wednesday, June 18, 2014, 11:00
Prague – CTS

Speaker: David Chodounsky (IM AS CR)

Title: Suslin partitions and non-productivity of Y-c.c.