BLC 2023
The BLC2023 will be held on Thursday afternoon to Saturday lunchtime, September 79^{th}, 2023 in Room 2.04 of the Fry Building at the School of Mathematics, University of Bristol.
Following on the BLC, colocated in the Fry Building will be Johannes Stern’s “Working with Truth” workshop; this will be the Saturday 9th in the afternoon and on Sunday 10th. (A separate registration is required for this.)
Speakers for the BLC will include:
 Sandra Müller (TU Vienna)
 Paul Shafer (Leeds)
 Juan Aguilera (Ghent and TU Vienna)
 Vicenzo Mantova (Leeds)
 Carlo Nicolai (KCL)
 Elaine Pimentel (UCL)
 Juliette Kennedy (Helsinki)
 Anupam Das (Birmingham)
 Ali Enayat (U. of Gothenburg)
 Abstracts  where received  are below.

We anticipate that there will a timetabled slot for a small number of probably shorter contributed talks. If you wish to be considered for giving such a talk please forward a title and abstract to Philip Welch (p.welch@bristol.ac.uk).
Participants are also encouraged to bring posters of their work for display.
On the Thursday evening there will be a General Meeting of the BLC.
On the Thursday evening there will also be a conference dinner on the harbourfront, 7.30pm, at the
Riverstation
.
Timetable
Thursday
14.00  15.00 Lecture V. Mantova
Quasiminimality of complex exponentiation: are we there yet?
15.00  15.30 Tea
15.30 16.30 Lecture S. Müller
Generic absoluteness for the definable powerset of the universally Baire sets
16.30  17.30 Lecture J. Kennedy Extracting syntax from semantics
17.45  18.30 BLC Annual Meeting
19.30 Dinner
Friday
9.00 10.00 Lecture C. Nicolai NonWellfounded Properties
10.00 10.30 Tea/Coffee
10.30  11.30 Lecture P. Shafer Usual theorems of unusual strength
11.30  11.55 Contributed Talk: P.Dopico
A rose by any other name: more supervaluationstyle truth without supervaluations
12.00  12.25 Contributed Talk: P. Brocci
Minimal variants of axiomatic theories of truth
Lunch
14.00  15.00 Lecture Lecture J. Aguilera. Some results on Gödel logics
15.00  15.30 Tea
15.30  16.30 Lecture A. Das On the proof theoretic strength of circular reasoning
Saturday
9.30 10.30 Lecture A. Enayat Satisfaction classes, truth theories, and nonstandard models of arithmetic
10.30 11.00 Tea/Coffee
11.00  12.00 Lecture E. Pimentel Axioms as rules: How to reason with mathematical theories
See Fry Building on the map: https://tinyurl.com/52umd8r7
Other maps and travel information:
http://www.bris.ac.uk/maps/travel/
Travel: From Heathrow the express coach is direct and is almost the easiest way to get to Bristol. The Bristol Bus/Coach station is within a fairly stiff 10/15 min. walk of Fry and Berkeley Square Hotel. In Bristol, bus number 8 from the train station (or from near the Bus Station) will take you very near the Berkeley Square Hotel; (“Park street Top”) they also stop at “The Triangle West” (5 mins walk to Fry). Bus Number 8 continues on to the Rodney Hotel (“by the Quadrant pub'', in Clifton).
Rodney Hotel to Fry Building walking route
For Accommodation: The Rodney Hotel (in Clifton) and The Berkeley Square Hotel will house most speakers. Postgrads may wish to consider Toad Lodge http://www.toadlodge.uk.com or as usual AirBNB

Abstracts:
Juan Aguilera:
“Some results on Gödel logics”
I will survey some results concerning modeltheoretic and computabilitytheoretic aspects of Gödel logics and in particular of scattered Gödel logics. These were introduced by Gödel in his proof that intuitionistic logic is not finitevalued. They are extensions of intuitionistic logic which take truth values in some closed subset of the unit interval. Even though they appear tame and are weaker than classical firstorder logic, their proper study requires the use of highly noncomputable Turing degrees and relatively large uncountable cardinals.
Anupam Das:
“On the proof theoretic strength of circular reasoning"
Classical approaches to logic and computation model inductive reasoning by recursion. However such a ‘black box’ approach admits no finer decomposition of inductive reasoning. Contrast this with, say, the use of an ωrule in proof theory, recovering a metalogical analysis at the cost of finite presentability. However there is another, perhaps more drastic, approach: circular reasoning. Here the dependency graph of a proof need not be wellfounded but is typically regular, akin to lowlevel computational models with loops while nonetheless enjoying excellent metalogical properties. Naturally, such ‘proofs’ may admit fallacious reasoning, and so one typically employs some global correctness condition inspired by ωautomaton theory to ensure logical soundness. Nowadays cyclic and nonwellfounded proof systems are a common technique for demonstrating metalogical properties of systems incorporating (co)induction, including modal logics, predicate logics, type systems and algebras. The tools employed in cyclic proof theory are diverse, exhibiting beautiful interplays between proof theory, automata theory, reverse mathematics and other areas. In this talk I will address a question at the heart of this subject: how strong is circular reasoning? In particular I will survey a recent line of work addressing this question in the setting of arithmetic, comparing cyclic systems to their usual inductive counterparts.”
Ali Enayat
“Satisfaction classes, truth theories, and nonstandard models of arithmetic”
At first approximation, a satisfaction class on a nonstandard model M of arithmetic or set theory is a binary relation S on M that shares many of the salient features of the usual Tarskian satisfaction relation on M, but in sharp contrast to the Tarskian satisfaction relation, a satisfaction class is required to decide the `truth' of some (or even all) nonstandard formulas of M. This notion was brought to prominence in the 1970's, thanks to the fine efforts of a number of logiciansespecially in Polandincluding Krajewski, Kotlarski, Lachlan, Murawski, Ratajczyk, Kossak,and Schmerl. A notable precursor is a 1963 paper of Abraham Robinson, which probed the subtle obstacles in the development of a coherent Tarskistyle semantic framework for first order formulas of nonstandard length.
The flurry of activity in the 1970's and 1980's primarily focused on models PA and revealed two distinct `flavors' of satisfaction classes: full satisfaction classes and inductive satisfaction classes. The past decade has witnessed a renewed interest in the subject, especially due to the intimate relation between full satisfaction classes and the lively subject of axiomatic theories of truth in philosophical logic. In this talk I will present a survey of a number of modeltheoretic and prooftheoretic results regarding satisfaction classes and the closely associated topic of truth theories, with special emphasis on the latest developments.
Juliette Kennedy
“Extracting syntax from semantics”
If a model class is a class of structures of the same similarity type closed under isomorphism, under what conditions can the class be said to have a natural syntax, or a natural logic? How to think about model classes that have no syntax, no notion of formula? More generally, does syntax always supervene on semantics? In this talk we present some old and new results dealing with these questions.
Vicenzo Mantova
“Quasiminimality of complex exponentiation: are we there yet?”
No! But we sure are trying. More than 20 years ago, Zilber asked if complex exponentiation is quasiminimal, meaning that in the language of fields with an exponential function, every definable subset of ℂ is either countable or the complement of a countable set. He then proposed that ℂ is "exponentiallyalgebraically closed" (EAC), which is an even stronger statement. I will motivate the conjecture using a slightly alternative history, starting from work of Keisler about the quantifier 𝐐 "there exist uncountably many". I will then survey the progress on the EAC conjecture and its variations, including, very notably, the unconditional quasiminimality theorem of complex raising to powers by Gallinaro and Kirby.
Sandra Müller
“Generic absoluteness for the definable powerset of the universally Baire sets”
Universally Baire sets play an important role in studying canonical models with large cardinals. But to reach higher large cardinals more complicated objects, for example, canonical subsets of universally Baire sets come into play. Inspired by inner model theory, we introduce the definable powerset of the universally Baire sets and show that, after collapsing a large cardinal, the constructible universe of the definable powerset of the universally Baire sets is a model of determinacy and its theory cannot be changed by forcing. Even though the work is inspired by inner model theory, the techniques do not use any fine structure. This is joint work with Grigor Sargsyan. The talk will be introductory and all relevant concepts and ideas will be introduced.
Carlo Nicolai
"NonWellfounded Properties"
In the talk I investigate the simple, yet unexplored idea that satisfactory property theories could arise from suitable modifications of standard set theories. I will focus on three main desiderata for a property theory: mathematical adequacy (the theory should be able to recover the ontology of sets as extensional properties), selfapplication (selfapplicable property should provably exist), unification ("semantic" and set theoretic paradoxes should have a unified solution). I will survey some formal options based on a propertytheoretic version of the antifoundation axiom, and discuss a conception of properties, the graph conception, which underpins such options.
Elaine Pimentel.
“Axioms as rules: How to reason with mathematical theories”
One of the advantages of using sequent systems as a framework for logical reasoning is that the resulting calculi are often simple, have good proof theoretical properties (like cutelimination, consistency, etc) and can be easily implemented, eg using rewriting.
Hence it would be heaven if we could add axioms in mathematical theories to first order logics and reason about them using all the machinery already built for the sequent framework. Indeed, the general problem of extending standard prooftheoretical results obtained for pure logic to certain classes of nonlogical axioms has been the focus of attention for quite some time now.
The main obstacle for this agenda is that adding nonlogical axioms to systems while still maintaining the good proof theoretical properties is not an easy task. In fact, adding naively axioms to sequent systems often result in non cutfree systems. One way of circumventing this problem is by treating axioms as theories, added to the sequent context. This is already in Gentzen's consistency proof of elementary arithmetic. Now the derivations have only logical axioms as premises, and cut elimination applies.
But we can do better by transforming axioms into inference rules. In this talk, we will propose a systematic way of adding inference rules to sequent systems. The proposal will be based on the notions of focusing and polarities. We will also discuss how our framework escalates to hypersequents and systems of rules, and the application of this to modal logics, proofs explanation and SMT solvers.
This is a joint work with Dale Miller, Sonia Marin, Marco Volpe, Francesca Poggiolesi and Yoni Zohar.
Paul Shafer
"Usual theorems of unusual strength"
We survey recent results in reverse mathematics, highlighting theorems from the general mathematics literature whose logical strength is unusual in some way. The RivalSands theorem for partial orders is a Ramseytheoretic result concerning chains in partial orders of finite width. We show that the RivalSands theorem is equivalent to the ascending/descending sequence principle, which is a weak consequence of Ramsey's theorem for pairs (joint with Fiori Carones, Marcone, and Soldà). This gives the first example of a theorem from the modern literature that is characterized by the ascending/descending sequence principle. Ekeland's variational principle concerns approximate minima of lower semicontinuous functions that are bounded below. We show that the localized version of Ekeland's variational principle is equivalent to Pi^1_1CA_0, even when restricted to continuous functions (joint with FernándezDuque and Yokoyama). This is unusual because the much weaker system ACA_0 typically suffices to prove theorems about continuous functions. Caristi's fixed point theorem is a consequence of Ekeland's variational principle that concerns fixed points of arbitrary functions that are controlled by lower semicontinuous functions. We show that Caristi's theorem for Borel functions is equivalent to Towsner's transfinite leftmost path principle and therefore has the unusual position of being strictly between ATR_0 and Pi^1_1CA_0 (joint with FernándezDuque, Towsner, and Yokoyama).
Contributed Talks
Pietro Brocci
“Minimal variants of axiomatic theories of truth’’
In the first part of the talk, we will present and study the theory KFB, i.e. the minimal variant of the KripkeFeferman theory of truth which was introduced by J.P. Burgess. The theory exhibits desirable properties: it refutes the truthteller and it exceeds the prooftheoretic strength of the regular KripkeFeferman theory. In particular, the theory is as strong as ID_1, an impredicative theory.
In the second part, we explore if this strategy can be applied to obtain other minimal versions of axiomatic theories of truth. In particular, we focus on minimal variants of the theory PUTB introduced by Volker Halbach. We check that these disquotational theories refute the truthteller and achieve the same prooftheoretic strength as KFB.
In the last part, we prove some interpretability relationships between KFB and the new disquotational theories. Finally, we draw philosophical conclusions on the releationship between truth and impredicativity while also sketching further lines of research.
Pablo Dopico
“A rose by any other name: more supervaluationstyle truth without supervaluations”
One of the main shortcomings of Saul Kripke’s xedpoint semantics based on the Strong Kleene logic, presented for the rst time in [Kri75], is that it leaves many logical truths out of the extension of the truth predicate. Thus, as an alternative, Kripke suggests to construct the xedpoint models on the basis of the supervaluationist semantics advanced by van Fraassen [vF66]. What obtains is a supervaluatonist xedpoint semantics that has arguably constituted one of the most popular solutions to the paradoxes of selfreference.
However, the supervaluationist xedpoint theory of truth is not free from objections. The nal picture yields a noncompositional theory of truth whose evaluation scheme is highly intransparent and that cannot be Ncategorically axiomatized [FHKS15] like the KripkeStrong Kleene can. For this reason, Johannes Stern [Ste18] has recently advanced a theory (labelled SSK) that also meets the goal of the Kripkean supervaluationist theory (i.e., to include all rstorder logical truths) while allegedly accounting for the failure of composi tionality, and allowing for a Ncategorical axiomatization.
Our main contribution in this paper is to show that SSK is strikingly similar to a rather understudied theory: Vann McGee’s theory of de nite truth as presented in [McG91]. In the rst part of the paper, we present both theories and prove that McGee’s original theory coincides with the minimal xed point of Stern’s theory, modulo a suitable restriction of the language. In the second part, we show how to generalise McGee’s theory to any starting inductive set, and prove once again that these theories à la McGee coincide with Stern’s SSK xed points. On the basis of this, we submit that McGee’s theory is an alternative way of obtaining supervaluationstyle truth without supervaluations. Finally, in the last part of the paper, we o er a prooftheoretic analysis of what we consider to be the most natural rstorder axiomatization of McGee’s theory, showing that it has the same prooftheoretic strength as the wellknown theory KF.
