Interaction of advancing fronts and meniscus profiles formed by surface-tension-gradient-driven liquid films
 Evans, P Münch, A SIAM Journal on Applied Mathematics volume 66 issue 5 1610-1631 (25 Oct 2006)
Linear stability of a ridge
 King, J Münch, A Wagner, B Nonlinearity volume 19 issue 12 (01 Dec 2006)
Landau-Levich problem for non-Newtonian liquids.
 Afanasiev, K Münch, A Wagner, B Physical review. E, Statistical, nonlinear, and soft matter physics volume 76 issue 3 Pt 2 036307 (18 Sep 2007)
Quantifying hydrodynamic slip: a comprehensive analysis of dewetting profiles.
 Fetzer, R Münch, A Wagner, B Rauscher, M Jacobs, K Langmuir : the ACS journal of surfaces and colloids volume 23 issue 21 10559-10566 (06 Oct 2007)
Bulk and shear viscosities in lattice Boltzmann equations
 Dellar, P Physical Review E - Statistical, Nonlinear, and Soft Matter Physics volume 64 issue 3 I 312031-3120311 (01 Sep 2001)
Preface
 Jarosch, A Hewitt, I Annals of Glaciology volume 57 issue 72 (01 Jul 2016)
Coarse-grained modeling of DNA–RNA hybrids
 Ratajczyk, E Sulc, P Turberfield, A Doye, J Louis, A Journal of Chemical Physics volume 160 issue 11 (18 Mar 2024)
Evaluating medical AI systems in dermatology under uncertain ground truth
 Stutz, D Cemgil, A Roy, A Matejovicova, T Barsbey, M Strachan, P Schaekermann, M Freyberg, J Rikhye, R Freeman, B Matos, J Telang, U Webster, D Liu, Y Corrado, G Matias, Y Kohli, P Doucet, A Karthikesalingam, A Medical Image Analysis volume 103 (01 Jul 2025)
Thu, 15 May 2025
17:00
L3

Feferman's Completeness Theorem

Michael Rathjen
(University of Leeds)
Abstract

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of uniform reflections. This result is commonly known as Feferman's completeness theorem. The talk aims to give one or two new proofs of Feferman's completeness theorem that, we hope, shed new light on this mysterious and often overlooked result.

Moreover, one of the proofs furnishes sharp bounds on the order types of well-orders necessary to attain completeness.

(This is joint work with Fedor Pakhomov and Dino Rossegger.)

Subscribe to