Conference celebrating Philip Welch’s 60th Birthday, March 22 – 23, 2014

Conference celebrating Philip Welch’s 60th Birthday

22 March 2014 to 23 March 2014

Organisers: Kentaro Fujimoto, Leon Horsten

A two day conference will be held to celebrate the work of Philip Welch on his 60th birthday.

The Conference is partly supported by the Heibronn Institute as a Heilbronn Day, by the British Logic Colloquium, by the Bristol Centre for Science & Philosophy, and by the School of Mathematics.

Please be aware that at this stage the conference programme is subject to change.

March 22nd

0930 -1045 Hugh Woodin, Generic Absoluteness, Determinacy, and the Form of Ultimate L
1045 – 1115 Break
1115 -1230 Peter Koepke, Felix Hausdorff and the Foundations of Mathematics
1230 -1430 Lunch
1430 -1545 Volker Halbach,  Self-Reference in Arithmetic
1545 -1615 Break
1615 -1730 Peter Koellner, An Inconsistency in the Large Cardinal Hierarchy?


March 23rd

0930 – 1045 John Steel, Gödel’s Program
1045 – 1115 Break
1045 – 1200 David Asperó, The Consistency of a Club-Guessing Failure at the Successor of a Regular Cardinal
1115 – 1230 Lunch
1430 – 1545 Hannes Leitgeb, Probabilistic Theories of Type-Free Truth and Probability
1545 -1615 Break
1615 -1730 Menachem Magidor, The Set Theory of Generalized Logics


Gödel’s Program, Jon Steel

Set theorists have discovered many mutually incompatible natural theories extending ZFC. It is possible that these incompatibilities will be resolved by interpreting all such theories in a useful common framework theory.

Self-Reference in Arithmetic, Volker Halbach

A Gödel sentence is often described as a sentence saying about itself that it is not provable and a Henkin sentence as a sentence stating its own provability. We discuss what it could mean for a sentence to ascribe to itself a property such as provability or unprovability. The starting point will be the answer Kreisel gave to Henkin’s problem. We describe how the properties of the supposedly self-referential sentences depend on the chosen coding, the formulae expressing the properties and the way a fixed point for the formula is obtained. Some further examples of self-referential sentences are considered such as sentences that ‘say of themselves’ that they are $\Sigma^0_n$-true (or $\Pi^0_n$-true) and their formal properties are investigated.

Probabilistic Theories of Type-Free Truth and Probability, Hannes Leitgeb

I will give a survey of recent results and theories concerning (i) probability measures for sentences that can speak about their own truth or falsity, and (ii) probability measures for sentences that can speak about their own probability. As I am going to show, one of the crucial issues in that area of research is sigma-additivity: does it have to be given up for type-free probability?

Felix Hausdorff and the Foundations of Mathematics, Peter Koepke

Exactly 100 years ago, after a long phase of foundational uncertainty Felix Hausdorff’s “Grundzüge der Mengenlehre” (Foundationas of Set Theory) established set theory as a comprehensive field of mathematics. Hausdorff advocated set theory as a universal foundation of mathematics. He followed David Hilbert’s axiomatic method and formalism. Hausdorff’s position corresponds closely to the anti-metaphysical stance in his philosophical book “Das Chaos in Kosmischer Auslese” (Chaos in Cosmic Selection). A formalist like Hausdorff selects consistent axiom systems from the chaos of mathematical possibilities, guided by various criteria. Not least by intellectual and aesthetics criteria.

The Consistency of a Club-Guessing Failure at the Successor of a Regular Cardinal, David Asperó

I answer a question of Shelah by showing that if $\kappa$ is a regular cardinal such that $2^{<\kappa}=\kappa$, then there is a $\kappa$-closed partial order preserving cofinalities and forcing that for every club-sequence $\langle C_\delta : \delta\in E^{\kappa^+}_\kappa\rangle$ with $otp(C_\delta)=\kappa$ for all $\delta$, there is a club $D\subseteq\kappa^+$ such that $\{ i<\kappa\mid \{C_\delta(i+1),C_\delta(i+2)\}\subseteq D\}$ is bounded for every $\delta$. This forcing is built as an iteration with $<\kappa$-supports and with “regressive partial symmetric systems of submodels” as side conditions.

An Inconsistency in the Large Cardinal Hierarchy? Peter Koellner

The hierarchy of large cardinals provides us with a canonical means to climb the hierarchy of consistency strength. There have been  any purported inconsistency proofs of various large cardinal axioms. For example, there have been many proofs purporting to show that measurable cardinals are inconsistent. But to date the only proofs that have stood the test of time are those which are rather transparent and simple, the most notable example being Kunen’s proof showing that Reinhardt cardinals are inconsistent. The Kunen result, however, makes use of AC. And long standing open question is whether Reinhardt cardinals are consistent in the context of ZF.

In this talk I will survey the simple inconsistency proofs and then raise the question of whether perhaps the large cardinal hierarchy outstrips AC, passing through Reinhardt cardinals and reaching far beyond. There are two main motivations for this investigation. First, it is of interest in its own right to determine whether the hierarchy of consistency strength outstrips AC. Perhaps there is an entire “choicless” large cardinal hierarchy, one which reaches new consistency strengths and has fruitful applications. Second, since the task of proving an inconsistency result becomes easier as one strengthens the hypothesis, in the search for a deep inconsistency it is reasonable to start with outlandishly strong large cardinal assumptions and then work ones way down. This will lead to the formulation of large cardinal axioms (in the context of ZF) that start at the level of a Reinhardt cardinal and pass upward through Berkeley cardinals (due to Woodin) and far beyond. Bagaria, Woodin, and myself have been charting out this new hierarchy. I will discuss what we have found so far.

Generic Absoluteness, Determinacy, and the Form of Ultimate L, Hugh Woodin

The current scenarios forecast the construction of two flavors of Ultimate L with very different properties. We discuss emerging evidence that there is in fact just one flavor.

The Set theory of Generalized Logics, Menachem Magidor

A generalized logic is a mechanism of extending first order logic in order to express properties of mathematical structures or of elements of such structures. A prime example is higher order logic, like second order logic. A generalized logic is typically sensitive to the set theoretical frame work in which the mathematical structure is embedded. This creates an interesting interplay between properties of the logic, like compactness, Skolem-Lowenheim theorems etc. and the underlying Set Theory.

The interaction can go both ways: A desired properties of the logic under consideration can be used as a motivation for new axioms for Set Theory, for new notions of large cardinals, etc. On the other hand analysis of the possible properties of a given logic in different set theoretic universes can give some insight into the the strength of the logic and its relations with other logics.For instance a typical (admittedly vague) problem is the extent by which a given logic is really logic, or is it Set Theory in disguise.

In this talk we shall show some examples of such interplay .


Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.

This site uses Akismet to reduce spam. Learn how your comment data is processed.