Cross-Alps Logic Seminar

All seminars will be held remotely using Webex. Please write to luca.mottoros [at] unito.it to obtain a link and the access code.

Recordings of some talks are available at this page.

Upcoming:

TBA

Past:

  • June 16th, 2023, 16.00-17.00 (Online on Webex)

    A. Nies (University of Auckland) "Computably totally disconnected, locally compact groups" (Video).

    Abstract.

    In the first part of the talk I will introduce two notions of computable presentation of a totally disconnected, locally compact (t.d.l.c.) group, and show their equivalence. The first relies on standard notions of computability in the uncountable setting. The second restricts computation to a countable structure of approximations of the elements, the “meet groupoid” of compact open cosets. Based on this, I obtain various examples of computably t.d.l.c. groups, such as \(\operatorname{Aut}(T_d)\) and some algebraic groups over the field of \(p\)-adic numbers.
    In the second part I show that given a computable presentation of a t.d.l.c. group, the modular function and the Cayley-Abels graphs (in the compactly generated case) are computable. I give an example where the scale function fails to be computable.
    I explain why the class of computably t.d.l.c. groups is closed under most of the constructions studied by Wesolek.
    Time permitting, I will give a criterion when a computable presentation is unique up to computable isomorphism. Joint work with Alexander Melnikov.

    Hide abstract.

  • June 9th, 2023, 16.00-17.00 (Online on Webex)

    U. Kohlenbach (Technische Universität Darmstadt) "Proof mining: Recent developments" (Video).

    Abstract.

    In this talk we survey some recent developments in the project of applying proof-theoretic transformations to obtain new quantitative and qualitative information from given proofs in areas of core mathematics such as nonsmooth optimization, geodesic geometry and ergodic theory. We will discuss some of the following items:
    (1) Proof mining in the context of set-valued monotone and accretive operators with applications in nonsmooth optimization such as inconsistent feasibility theorems (partly joint work with Nicholas Pischke).
    (2) Recent linear rates of asymptotic regularity as well as rates of metastability for Tikhonov-regularization methods (joint work with Horaţiu Cheval and Laurenţiu Leuştean).
    (3) The extraction of uniform rates of convergence for the \(\varepsilon\)-capture in the Lion-Man game in a general geodesic setting from a proof that made iterated use of sequential compactness arguments (i.e. arithmetical comprehension). The extraction also qualitatively generalizes previously known results (joint work with Genaro López-Acedo and Adriana Nicolae).
    (4) Recent applications to ergodic theory (joint work with Anton Freund).

    Hide abstract.

  • May 25th, 2023, 09.30-10.30 (Sala Riunioni, DMIF, Udine)

    L. San Mauro (Technische Universität Wien) "Investigating the computable Friedman-Stanley jump".

    Abstract.

    The Friedman-Stanley jump, extensively studied by descriptive set theorists, is a fundamental tool for gauging the complexity of Borel isomorphism relations. In this talk, we focus on a natural computable analog of this jump operator, recently introduced by Clemens, Coskey, and Krakoff in the setting of computable reducibility of equivalence relations on the natural numbers. We show that the computable Friedman-Stanley jump gives benchmark equivalence relations going up the hyperarithmetic hierarchy and we unveil the intricate highness hierarchy that arises from it. This is joint work with Uri Andrews.

    Hide abstract.

  • May 19th, 2023, 16.00-17.00 (Online on Webex)

    J. Duparc (Université de Lausanne) "The Wadge order on the Cantor Space and on the Scott Domain" (Video).

    Abstract.

    The Cantor space — \(2^\mathbb{N}\) — and the Scott domain — \(\mathcal{P}(\mathbb{N})\) — are two topological spaces whose points are sets of integers. But if the Cantor space is equipped with a topology of positive and negative information (conveyed through characteristic functions via the product topology of the discrete topology on \(\{0,1\}\)), the Scott domain drops that condition of negative information, and only keeps the one of positive information through the topology generated by the basis \(\{\mathcal{O}_F\mid F\subseteq \mathbb{N},\ F \text{ finite}\}\) where \(\mathcal{O}_F=\{A\subseteq \mathbb{N} \mid F\subseteq A\}\).
    As a consequence, the Scott domain is not anymore Hausdorff (\(T_2\)), not even Fréchet (\(T_1\)) but only Kolmogorov (\(T_0\)). So, on one hand, the Scott domain seems far away from the Cantor space: it is not even metrizable while the latter is Polish. But on the other hand, they share some similarities: the Cantor space is universal for 0-dimensional Polish spaces, the Scott domain is universal for quasi-Polish spaces (de Brecht).
    More results by de Brecht suggest that a reasonable descriptive set theory still holds in the quasi-Polish setting. However, despite works by Becher, Grigorieff, Motto Ros, Schlicht, Selivanov, and others, much less is known about the Wadge order in this context, rather than in the Polish one.
    We outline the main features of the Wadge order on Borel subsets of the Cantor space and on Borel subsets of the Scott domain and compare these two (a joint work with Louis Vuilleumier).

    Hide abstract.

  • May 5th, 2023, 16.00-17.00 (Online on Webex)

    D. Sinapova (Rutgers University) "Mutual stationarity and the failure of SCH" (Video).

    Abstract.

    Mutual stationarity is a compactness type property for singular cardinals. Roughly, it asserts that given a singular cardinal \(\kappa\), stationary subsets of regular cardinals with limit \(\kappa\) have a “simultaneous witness” for their stationarity. This principle was first defined by Foreman and Magidor in 2001, who showed that it holds for every sequence of stationary sets of cofinality \(\omega\). They also showed that their ZFC result does not generalize to higher cofinality. Whether the principle can consistently hold for higher cofinalities remained open, until a few years ago Ben Neria showed that from large cardinals mutual stationarity at \(\langle\aleph_n\mid n<\omega\rangle\) can be forced for any fixed cofinality.
    We show that we can obtain mutual stationarity at \(\langle\aleph_n\mid n<\omega\rangle\) for any fixed cofinality together with the failure of SCH at \(\aleph_\omega\). This is joint work with Will Adkisson.

    Hide abstract.

  • April 21st, 2023, 16.00-17.00 (Online on Webex)

    M. Elekes (Rényi Institute and Eötvös Loránd University) "On various notions of universally Baire sets" (Video).

    Abstract.

    Universally Baire sets play a crucial role in set theory, and they are also very interesting from the point of view of descriptive set theory. However, there are at least a dozen different definitions, and many of these are non-equivalent (at least consistently). The goal of this talk is to clarify this situation, and also to give applications in the theory of so called Haar meagre sets. Joint work with Máté Pálfy.

    Hide abstract.

  • March 31st, 2023, 16.00-17.00 (Online on Webex)

    L. Patey (CNRS) "Canonical notions of forcing in Reverse Mathematics" (Video).

    Abstract.

    In Reverse Mathematics, a proof of non-implication from a statement P to a statement Q consists of creating a model of P which is not a model of Q. To this end, one usually create a complicated instance I of Q, and then, build iteratively a model of P containing I while avoiding every solution to I. The difficult part consists in building solutions to instances of P which will not compute any solution to I. This is usually done by forcing. Moreover, by some empirical observation, the notion of forcing used in a separation of P from Q usually does not depend on Q. For example, constructing models of WKL is usually done by forcing with Pi^0_1 classes. This tends to show that P admits a "canonical" notion of forcing. In this talk, we provide a formal framework to discuss this intuition, and study the canonical notions of forcing associated to some important statements in Reverse Mathematics. This is a joint work with Denis Hirschfeldt.

    Hide abstract.

  • March 17th, 2023, 16.00-17.00 (Online on Webex)

    V. Selivanov (Institute of Informatics Systems, Novosibirsk) "Boole vs Wadge: comparing basic tools of descriptive set theory".

    Abstract.

    We systematically compare \(\omega\)-Boolean classes and Wadge classes, e.g. we complement the result of W. Wadge that the collection of non-self-dual levels of his hierarchy coincides with the collection of classes generated by Borel \(\omega\)-ary Boolean operations from the open sets in the Baire space. Namely, we characterize the operations, which generate any given level in this way, in terms of the Wadge hierarchy in the Scott domain. As a corollary, we deduce the non-collapse of the latter hierarchy. Also, the effective version of this topic and its extension to \(k\)-partitions are developed.

    Hide abstract.

  • March 3rd, 2023, 16.00-17.00 (Online on Webex)

    D. Macpherson (University of Leeds) "Asymptotics of definable sets in finite structures" (Video).

    Abstract.

    A 1992 theorem of Chatzidakis, van den Dries and Macintyre, stemming ultimately from the Lang-Weil estimates, asserts, roughly, that if \(\phi(x,y)\) is a formula in the language of rings (where \(x,y\) are tuples) then the size of the solution set of \(\phi(x,a)\) in any finite field \(F\) of size \(q\) (where \(a\) is a parameter tuple from \(F\)) takes one of finitely many dimension-measure pairs as \(F\) and a vary: for a finite set \(E\) of pairs \((\mu,d)\) (\(\mu\) rational, \(d\) integer) dependent on \(\phi\), any set \(\phi(F,a)\) has size roughly \(\mu q^d\) for some \((\mu,d) \in E\).
    This led in work of Elwes, Steinhorn and myself to the notion of ‘asymptotic class’ of finite structures (a class satisfying essentially the conclusion of Chatzidakis-van den Dries-Macintyre). As an example, by a theorem of Ryten, any family of finite simple groups of fixed Lie type forms an asymptotic class. There is a corresponding notion for infinite structures of ‘measurable structure’ (e.g. a pseudofinite field, by the Chatzidakis-van den Dries-Macintyre theorem). Any ultraproduct of an asymptotic class is measurable, and in particular has supersimple theory (in the sense of stability theory).
    I will discuss a body of work with Sylvy Anscombe, Charles Steinhorn and Daniel Wolf which generalises this, incorporating a richer range of examples with fewer model-theoretic constraints; for example, the corresponding infinite ‘generalised measurable’ structures, for which the definable sets are assigned values in some ordered semiring, need no longer have ‘simple’ theory. I will also discuss a variant in which sizes of definable sets in finite structures are given exactly rather than asymptotically.

    Hide abstract.

  • January 27th, 2023, 16.00-17.00 (Online on Webex)

    K. Kowalik (University of Warsaw) "Reverse mathematics of some Ramsey-theoretic principles over a weak base theory" (Video).

    Abstract.

    The logical strength of Ramsey-theoretic principles has been one of the main areas of research in reverse mathematics. We study some of these combinatorial statements over a weak base theory RCA*_0, which is obtained from the usual RCA_0 by replacing Sigma^0_1 induction with Delta^0_1 induction. The weaker base theory allows for a finer analysis of the principles considered, but at the same time makes the notion of an infinite set unstable. Namely, it is consistent with RCA*_0 that there is an unbounded subset of natural numbers which is not in bijective correspondence with N. Thus, there are different ways of formalizing in RCA*_0 Ramsey-theoretic statements since they often assert the existence of some infinite sets (homogeneous sets for colourings, chains or antichains in partial orders etc.). For this reason, the reverse-mathematical zoo gets bigger over RCA*_0. However, there are certain general patterns of behaviour among our principles: some of them are Pi^0_3 conservative over RCA*_0 whereas some others imply I Sigma^0_1. In this talk I will present our main results on the topic and explain what it is like to work without assuming I Sigma^0_1. This is joint work with Marta Fiori Carones, Leszek Kolodziejczyk and Keita Yokoyama.

    Hide abstract.

  • January 13th, 2023, 16.00-17.00 (Online on Webex)

    V. Brattka (Universität der Bundeswehr München) "Some fascinating topics in logic around reducibilities" (Video).

    UNESCO World Logic Day Seminar


    Abstract.

    In mathematical logic and theoretical computer science a reducibility is a relation that allows one to describe the transformation of one problem A into another problem B. Such reducibilities can vary in terms of what kind of problems are eligible and they can also vary with respect to the way in which problem B can be used to solve problem A.
    Such reducibilities were first considered in computability theory, but they eventually conquered other areas related to logic, such as computational complexity theory, descriptive set theory, computable analysis, and reverse mathematics, where they turned out to be very powerful tools.
    Some particularly fascinating questions in mathematical logic are intrinsically tied to certain reducibilities. For instance, Post's problem and Martin's conjecture are related to Turing reducibility, the P-NP problem is based on polynomial-time reducibility.
    We will also discuss more recent types of reducibilities, such as the Wadge and the Weihrauch reducibilities and show how they might be helpful in addressing questions from descriptive set theory, such as the decomposability conjecture.

    Hide abstract.

Expand 2022
Hide 2022.
  • December 2nd, 2022, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    F. Parente (University of Turin) "Good ultrafilters and universality properties of forcing".

    Abstract.

    In 1964, Keisler introduced $\kappa$-good ultrafilters, which can be characterized as those ultrafilters which produce $\kappa$-saturated ultrapowers. The problem of finding an analogous characterization for ultrafilters on Boolean algebras has been considered by Mansfield (1971), Benda (1974), and Balcar and Franek (1982), who proposed and compared different notions of “goodness” for such ultrafilters. In the first part of my talk, I shall outline the different definitions introduced in the literature and show that they are in fact all equivalent, thus providing a complete characterization of those ultrafilters which produce $\kappa$-saturated Boolean ultrapowers. In the second part of the talk, I shall present a joint work with Matteo Viale, which started in 2015 during my Master's thesis and was recently revived during the last few months in Torino. The aim of our project is to study the universality properties of forcing. More precisely, we shall prove that, for many interesting signatures, every model of the universal theory of an initial segment of the universe can be embedded into a model constructed by forcing. To achieve this goal, we build good ultrafilters on forcing notions such as the Lévy collapsing algebra and Woodin's stationary tower.

    Hide abstract.

  • November 18th, 2022, 09.00-10.00 (Online on Webex)

    A. Conversano (Massey University) "Tools of o-minimality in the study of groups" (Video).

    Abstract.

    In this talk we will see how geometric invariants of definable sets in o-minimal structures can be used to understand the structure of groups in several categories.

    Hide abstract.

  • November 4th, 2022, 16.00-17.00 (Online on Webex)

    J. Emmenegger (University of Genoa) "Quotients and equality, (co)algebraically" (Video).

    Abstract.

    Doctrines were introduced by Lawvere as an algebraic tool to work with logical theories and their extensions. In fact, this algebraic character makes the theory of doctrines a suitable context where to address the question: "What is the theory obtained by (co)freely adding logical structure?" or the closely related question: "How to express additional logical structure in terms of what is already available?". More precisely, in the first case we ask whether a certain forgetful functor is adjoint and, in the second case, whether the adjunction obtained in this way is (co)monadic. After an introduction to doctrines and their connection to logic and type theory, I shall discuss the above questions in the case of two forgetful functors: the one from theories with conjunctions, equality and quotients to theories with conjunctions and equality, and the one that further forgets equality. Not surprisingly, the answers revolve around the concept of equivalence relation. I shall discuss applications to useful constructions in categorical logic and type theory, as well as to the theory of imaginary elements in the sense of Poizat. If time allows, I shall also describe how to lift this setting to Grothendieck fibrations (of which doctrines are a particular case) using groupoids instead of equivalence relations.

    Hide abstract.

  • October 21st, 2022, 16.00-17.00 (Online on Webex)

    C. Rosendal (University of Maryland) "Amenability, optimal transport and complementation in Banach modules" (Video).

    Abstract.

    Using tools from the theory of optimal transport, I will discuss a new characterisation of general amenable topological groups. Specifically, let G be an amenable topological group with no non-trivial homomorphisms to R and let d be a left-invariant continuous metric on G. Then one may find finitely supported probability measures on G that are almost invariant, with respect to the Wasserstein distance for the cost function d, under any given finite sets of translations by elements of G. On the other hand, I will also show how this fails in the amenable par excellence group Z. Time permitting, I will also indicate how this can be used to average potentially unbounded Lipschitz functions defined on spaces on which G acts isometrically.

    Hide abstract.

  • September 9th, 2022, 14.30-16.30 (Sala Riunioni, DMIF)

    V. Weinstein (University of Oulu) "STRUCTURAL REPRESENTATIONS IN ROBOT'S BRAIN".

    Abstract.

    Enactivist cognitive scientists argue against symbolic representation as a fundamental principle behind perception, semantics, and cognition in general. Here we build a mathematical model of emergence of structural representations in a brain of an interacting agent which is inline with enactivism. The main result is that under some very weak assumptions about the sensory feedback and on the robot's reward function, the robot will (surprisingly) end up reconstructing an isomorphic copy of its own environmental state space. A robot arm will be considered as a concrete example. We also point out that this framework is not limited to robotics, but is expected to generate hypotheses and explanations in any study of interactive intelligence, from biology to cognitive science and artificial intelligence. The mathematical tool we use is known as semiautomaton. However, continuous/topological versions of the main results are on their way. (Partial joint work with Steven LaValle and Basak Sakcak.)

    Hide abstract.

  • September 6th, 2022, 16.00-18.00 (Sala Riunioni, DMIF)

    V. Weinstein (University of Oulu) "FUZZY FILTERS AND CLASSIFICATION BY COUNTABLE STRUCTURES".

    Abstract.

    The Stone duality gives a neat way to go back-and-forth between totally disconnected Polish spaces and countable Boolean algebras. The main ingredient is the Stone space of all ultrafilters on a Boolean algebra. In this talk we introduce a weaker concept which we call the “fuzzy filter”. Using fuzzy filters instead of ultrafilters enables one to extend the class of spaces under consideration from totally disconnected ones to a larger class. As an application of this method, we solve anumber of open problems. We show that the following are completely classifiable by countable structures: the homeomorphism on 3-manifolds (also applicable to 2-manifolds; but this was known since 1971), wild embeddings of Cantor sets in R³. By classification in this talk we mean the classical Borel-reducibility (joint work with Martina Iannella).

    Hide abstract.

  • June 10th, 2022, 16.00-18.00 (Online on Webex)

    S. L'Innocente (University of Camerino) "A factorisation theory for generalised power series".

    Abstract.

    A classical tool in the study of real closed fields are the fields K((G)) of generalised power series (i.e., formal sums with well-ordered support) with coefficients in a field K of characteristic 0 and exponents in an ordered abelian group G. A fundamental result of Berarducci ensures the existence of irreducible series in the subring of generalised power series with non-positive exponents. This report aims at describing a factorisation theory in this context: a joint work with Vincenzo Mantova proves that every series admits a factorisation into a bounded number of irreducibles and a unique product, up to multiplication by a unit, of factors whose supports are finite and generate rational linear spaces of dimension one. Analogous results are deduced for the ring of omnific integers within Conway's surreal numbers, using a suitable notion of infinite product. In turn, Gonshor's conjecture is solved: the omnific integer omega 2 + omega + 1 is prime. Other possible generalizations will also be sketched.

    Hide abstract.

  • May 27th, 2022, 16.00-17.00 (Online on Webex)

    T. Nemoto (Hiroshima Institute of Technology) "Determinacy of infinite games and reverse mathematics" (Video).

    Abstract.

    Reverse mathematics is a program to classify mathematical theorems by set comprehension axioms in second order arithmetic [1]. In this program, it is presented that most of the theorems from undergraduate mathematics are equivalent to set comprehension axioms characterizing systems called "Big Five". Comparing to the systems of set theory, second order arithmetic is a rather weak system, which enables the classification of weak determinacy schemata for the classes in the very low level of the Wadge hierarchy. In this talk, we will see that determinacy of infinite games up to the defference hierarchy over \Sigma^0_3 makes a fine hierarchy in second order arithmetic. References [1] S. G. Simpson, Subsystems of second order arithmetic (2nd edition), Cambridge University Press, 2010 [2] T. Nemoto, Determinacy of Wadge classes and subsystems of second order arithmetic, Mathematical Logic Quarterly, Volume 55, Issue 2, February 2009, pp. 154 - 176. [3] A. Montalbán and R. A. Shore, The limits of determinacy in second order arithmetic: consistency and complexity strength, Israel J. Math., 204 (2014), 477--508.

    Hide abstract.

  • May 20th, 2022, 16.00-18.00 (Online on Webex)

    A. Marcone (University of Udine) "The transfinite Ramsey theorem" (Video).

    Abstract.

    In this talk I discuss generalizations of the classic finite Ramsey theorem that substitute "set of cardinality n" with the notion of alpha-large set, where alpha is a countable ordinal. The prototype of these results is the statement that Paris and Harrington showed unprovable in PA in 1977. Since then several extensions were proved, typically for ordinals up to epsilon_0. Our results extend this approach by dealing with ordinals (at least) up to Gamma_0 and using simultaneously alpha-large sets (almost) everywhere in the statements. Quite surprisingly, in many cases we obtain tight bounds on the generalized Ramsey numbers, in contrast with the classical finite case where tight bounds are known only for very few cases involving very small numbers. This is joint work with Antonio Montalbán.

    Hide abstract.

  • May 13th, 2022, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    U. Darji (University of Louisville) "Descriptive complexity and local entropy" (Slides,Video).

    Abstract.

    Blanchard introduced the concepts of Uniform Positive Entropy (UPE) and Complete Positive Entropy (CPE) as topological analogues of K-automorphism. He showed that UPE implies CPE, and that the converse is false. A flurry of recent activity studies the relationship between these two notions. For example, one can assign a countable ordinal which measures how complicated a CPE system is. Recently, Barbieri and García-Ramos constructed Cantor CPE systems at every level of CPE. Westrick showed that natural rank associated to CPE systems is actually a \Pi^1_1-rank. More importantly, she showed that the collection of CPE Z2-SFT's is a \Pi^1_1-complete set. In this talk, we discuss some results, where UPE and CPE coincide and others where we show that the complexity of certain classes of CPE systems is \Pi^1_1-complete. This is joint work with García-Ramos.

    Hide abstract.

  • April 8th, 2022, 16.00-17.00 (Online on Webex)

    A. Kechris (Caltech) "Countable sections for actions of locally compact groups" (Slides).

    Abstract.

    A Borel action of a Polish locally compact group on a standard Borel space admits a countable Borel section, i.e., a Borel set that meets every orbit in a countable nonempty set. It is a long standing open problem whether this property characterizes locally compact groups. I will discuss the history of this problem and some recent progress in joint work with M. Malicki, A. Panagiotopoulos and J. Zielinski.

    Hide abstract.

  • April 1st, 2022, 16.00-18.00 (Online on Webex)

    D. Evans (Imperial College London) "Amalgamation properties in measured structures" (Video).

    Abstract.

    In a paper published in 2008, Macpherson and Steinhorn introduced and studied structures in which each every definable set carries a well behaved dimension and measure: we refer to these as MS-measurable structures. Examples include totally categorical structures, pseudofinite fields and the random graph. MS-measurable structures are supersimple of finite SU-rank and we discuss some amalgamation properties which hold in MS-measurable structures, but not in all supersimple finite rank structures. We are interested in the question of whether every omega-categorical, MS-measurable structure is one-based. A construction of Hrushovski can be used to produce omega-categorical structures which are supersimple of finite SU-rank and not one-based: indeed, this construction is essentially the only known way to produce such structures. It is still an open question whether any of these Hrushovski constructions can be MS-measurable. However, I will discuss some work of myself and of my PhD student Paolo Marimon which uses the amalgamation results and other methods to show that at least some of the Hrushovski constructions are not MS-measurable.

    Hide abstract.

  • March 25th, 2022, 16.00-18.00 (Online on Webex)

    O. Ben-Neria (The Hebrew University of Jerusalem) "Mathias-type Criterion for the Magidor Iteration of Prikry forcings".

    Abstract.

    In his seminal work on the identity crisis of strongly compact cardinals, Magidor introduced a special iteration of Prikry forcings for a set of measurable cardinals known as the Magidor iteration. The purpose of this talk is to present a Mathias-type criterion which characterizes when a sequence of omega-sequences is generic for the Magidor iteration. The result extends a theorem of Fuchs who introduced a Mathias criterion for discrete products of Prikry forcings. We will present the new criterion, discuss several applications, and outline the main ideas of the proof

    Hide abstract.

  • March 18th, 2022, 16.00-17.30 (Online on Webex)

    D. Dzhafarov (University of Connecticut) "The SRT22 vs. COH problem" (Video).

    Abstract.

    I will give a brief introduction to the program of reverse mathematics, which seeks to answer the ancient question of which mathematical axioms are necessary to prove theorems of ordinary mathematics. I will then discuss a special theorem of combinatorics, Ramsey’s theorem, which has played an important role in this endeavor, and led to a tantalizing problem known as the SRT22 vs. COH problem. I will focus on this problem, talk about its history, and then briefly discuss its recent solution by Monin and Patey. I hope for the talk to be accessible to a general mathematical audience.

    Hide abstract.

  • March 11th, 2022, 16.00-18.00 (Sala Orsi, Palazzo Campana, Torino)

    A. Andretta (University of Turin) "Sierpiński's partitions with Sigma^1_2 pieces" (Video).

    Abstract.

    There are several statements in elementary geometry that depend on the size of the continuum, and most of them are modelled on the proof of a theorem of Sierpiński's. In the first part of the talk I will survey a few of these geometric statements and show how these are related to each other. In the second part I will show how imposing a definability condition on the pieces of Sierpiński's theorem yields a better bound on the size of the continuum.

    Hide abstract.

  • March 4th, 2022, 16.00-18.00 (Online on Webex)

    M. Skrzypczak (University of Warsaw) "The infinite tree - from Kolmogorov, Rabin, and Shelah to modern Theoretical Computer Science ".

    Abstract.

    The infinite binary tree (i.e. the free structure of two successors, aka S2S) seems to be a very simple and natural object. Nevertheless, due to its branching structure, it has rich abilities of modelling complex processes including e.g. nondeterminism, perfect information games, combinatorics of P(N), etc The fundamental result of Rabin from late 60's (sometimes called ""the mother of all decidability results"") proves that the Monadic Second-Order (MSO) theory of S2S is decidable. Since then, the structure of properties expressible in MSO over S2S has been intensively studied. Many of these studies were related to and/or motivated by descriptive set theory. During the talk I would like to make a broad overview of these relations, including issues of Wadge degrees, measurability (with relations to Kolmogorov), and uniformisability (Gurevich-Shelah). Although a lot of questions have been already answered, there still remain important and natural open problems in all three mentioned directions of research.

    Hide abstract.

  • January 13th, 2022, 17.00-18.00 (Online on Webex)

    M. Magidor (Hebrew University of Jerusalem) "Sets of reals are not created equal: regularity properties of subsets of the reals and other Polish spaces.".

    Abstract.

    A “pathological set” can be a non measurable set, a set which does not have the property of Baire (namely it is not a Borel set modulo a first category set).
    A subset $A \subseteq P^{\omega}(\mathbb{N})$ (=the infinite subsets of natural numbers) can be considered to be ”pathological” if it is a counterexample to the infinitary Ramsey theorem. Namely there does not exist an infinite set of natural numbers such that all its infinite subsets are in our sets or all its infinite subsets are not in the set.
    A subset of the Baire space $A\subseteq \mathbb{N}^{\mathbb{N}}$ can be considered to be “pathological” if the infinite game $G_A$ is not determined. The game $G_A$ is an infinite game where two players alternate picking natural numbers, forming an infinite sequence, namely a member of $\mathbb{N}^{\mathbb{N}}$. The first player wins the round if the resulting sequence is in $A$. The game is determined if one of the players has a winning strategy.
    A prevailing paradigm in Descriptive Set Theory is that sets that have a “simple description” should not be pathological. Evidence for this maxim is the fact that Borel sets are not pathological in any of the senses above.In this talk we shall present a notion of “super regularity” for subsets of a Polish space, the family of universally Baire sets. This family of sets generalizes the family of Borel sets and forms a $\sigma$-algebra. We shall survey some regularity properties of universally Baire sets , such as their measurability with respect to any regular Borel measure, the fact that they have an infinitary Ramsey property etc. Some of these theorems will require assuming some strong axioms of infinity. Most of the talk should be accessible to a general Mathematical audience, but in the second part we shall survey some newer results.

    Hide abstract.


Hide 2022.
Expand 2021
Hide 2021.
  • December 17th, 2021, 16.00-18.00 (Online on Webex)

    M. Rathjen (University of Leeds) "Well-ordering principles in Proof theory and Reverse Mathematics" (Video).

    Abstract.

    There are several familiar theories of reverse mathematics that can be characterized by well-ordering principles of the form (*) "if $X$ is well ordered then $f(X)$ is well ordered", where $f$ is a standard proof theoretic function from ordinals to ordinals (such $f$'s are always dilators). Some of these equivalences have been obtained by recursion-theoretic and combinatorial methods. They (and many more) can also be shown by proof-theoretic methods, employing search trees and cut elimination theorems in infinitary logic with ordinal bounds. One could perhaps generalize and say that every cut elimination theorem in ordinal-theoretic proof theory encapsulates a theorem of this type.

    Hide abstract.

  • December 10th, 2021, 16.00-17.00 (Online on Webex)

    J. Hirst (Appalachian State University) "Reverse mathematics and Banach's theorem" (Slides,Video).

    Abstract.

    The Schröder-Bernstein theorem asserts that if there are injections of two sets into each other, then there is a bijection between the sets. In his note "Un théorème sur les transformations biunivoques," Banach proved an extension of the Schröder-Bernstein theorem in which the values of the bijection between the sets depend directly on the injections. This talk will present some old theorems of reverse mathematics about restrictions of Banach's theorem. Also, we will look at preliminary results of work with Carl Mummert on restrictions of Banach's theorem in higher order reverse mathematics. The talk will not assume familiarity with reverse mathematics.

    Hide abstract.

  • December 3rd, 2021, 16.00-18.00 (Online on Webex)

    G. Goldberg (University of California, Berkeley) "The optimality of Usuba's theorem" (Video).

    Abstract.

    The method of forcing was introduced by Cohen in his proof of the independence of the Continuum Hypothesis and has since been used to demonstrate that a diverse array of set theoretic problems are formally unsolvable from the standard ZFC axioms. The technique allows one to expand a model of ZFC by adjoining to it a generic set. The resulting forcing extension is again a model of ZFC that may have a very different first order theory from the original structure; for example, according to one's tastes, one can build forcing extensions in which the Continuum Hypothesis is either true or false, demonstrating that the ZFC axioms can neither prove nor refute the Continuum Hypothesis. But does the forcing technique really show that the Continuum Hypothesis has no truth value? This seems to hinge on whether one believes that the true universe of sets (which the ZFC axioms attempt to axiomatize) could itself be a forcing extension of a smaller model of ZFC. This talk concerns a theorem of Usuba that bears on this question. I'll discuss recent work proving the optimality of the large cardinal hypothesis of Usuba's theorem and some applications of the associated techniques to questions outside the theory of forcing.

    Hide abstract.

  • November 26th, 2021, 16.00-17.00 (Online on Webex)

    A. Martin-Pizarro (University of Freiburg) "On abelian corners and squares" (Video).

    Abstract.

    Given an abelian group \(G\), a corner is a subset of pairs of the form \(\{ (x,y), (x+g, y), (x, y+g)\}\) with \(g\) non trivial. Ajtai and Szemerédi proved that, asymptotically for finite abelian groups, every dense subset \(S\) of \(G\times G\) contains a corner. Shkredov gave a quantitative lower bound on the density of the subset \(S\). In this talk, we will explain how model-theoretic conditions on the subset \(S\), such as local stability, will imply the existence of corners and of cubes for (pseudo-)finite abelian groups. This is joint work with D. Palacin (Madrid) and J. Wolf (Cambridge).

    Hide abstract.

  • November 19th, 2021, 16.00-17.00 (Aula 4, Palazzo Campana, Torino)

    A. Törnquist (University of Copenhagen) "Set-theoretic aspects of a proposed model of the mind in psychology" (Slides).

    Abstract.

    Jens Mammen (Professor Emeritus of psychology at Aarhus and Aalborg University) has developed a theory in psychology, which aims to provide a model for the interface between a human being (and mind), and the real world.
    This theory is formalized in a very mathematical way: Indeed, it is described through a mathematical axiom system. Realizations ("models") of this axiom system consist of a non-empty set $U$ (the universe of objects), as well as a perfect Hausdorff topology $\mathcal{S}$ on $U$, and a family $\mathcal{C}$ of subsets of $U$ which must satisfy certain axioms in relation to $\mathcal{S}$. The topology $\mathcal{S}$ is used to model broad categories that we sense in the world (e.g., all the stones on a beach) and the $\mathcal{C}$ is used to model the process of selecting an object in a category that we sense (e.g., a specific stone on the beach that we pick up). The most desirable kind of model of Mammen's theory is one in which every subset of $U$ is the union of an open set in $\mathcal{S}$ and a set in $\mathcal{C}$. Such a model is called "complete".
    Coming from mathematics, models of Mammen's theory were first studied in detail by J. Hoffmann-Joergensen in the 1990s. Hoffmann-Joergensen used the Axiom of Choice (AC) to show that a complete model of Mammen's axiom system, in which the universe $U$ is infinite, does exist. Hoffmann-Joergensen conjectured at the time that the existence of a complete model of Mammen's axioms would imply the Axiom of Choice.
    In this talk, I will discuss various set-theoretic aspects related to complete Mammen models; firstly, the question of "how much" AC is needed to obtain a complete Mammen model; secondly, I will introduce some cardinal invariants related to complete Mammen models and establish elementary ZFC bounds for them, as well as some consistency results.
    This is joint work with Jens Mammen.

    Hide abstract.

  • November 12th, 2021, 16.00-17.00 (Online on Webex)

    S. Müller (TU Wien) "Large Cardinals and Determinacy" (Video).

    Abstract.

    Determinacy assumptions, large cardinal axioms, and their consequences are widely used and have many fruitful implications in set theory and even in other areas of mathematics. Many applications, in particular, proofs of consistency strength lower bounds, exploit the interplay of determinacy axioms, large cardinals, and inner models. I will survey some recent results in this flourishing area. This, in particular, includes results on connecting the determinacy of longer games to canonical inner models with many Woodin cardinals, a new lower bound for a combinatorial statement about infinite trees, as well as an application of determinacy answering a question in general topology.

    Hide abstract.

  • November 5th, 2021, 16.00-18.00 (Online on Webex)

    A. Zucker (University of California San Diego) "Big Ramsey degrees in binary free amalgamation classes" (Video).

    Abstract.

    In structural Ramsey theory, one considers a "small" structure A, a "medium" structure B, a "large" structure C and a number r, then considers the following combinatorial question: given a coloring of the copies of A inside C in r colors, can we find a copy of B inside C all of whose copies of A receive just one color? For example, when C is the rational linear order and A and B are finite linear orders, then this follows from the finite version of the classical Ramsey theorem. More generally, when C is the Fraisse limit of a free amalgamation class in a finite relational language, then for any finite A and B in the given class, this can be done by a celebrated theorem of Nesetril and Rodl. Things get much more interesting when both B and C are infinite. For example, when B and C are the rational linear order and A is the two-element linear order, a pathological coloring due to Sierpinski shows that this cannot be done. However, if we weaken our demands and only ask for a copy of B inside C whose copies of A receive "few" colors, rather than just one color, we can succeed. For the two-element linear order, we can get down to two colors. For the three-element order, 16 colors. This number of colors is called the big Ramsey degree of a finite structure in a Fraisse class. Recently, building on groundbreaking work of Dobrinen, I proved a generalization of the Nešetril-Rödl theorem to binary free amalgamation classes defined by a finite forbidden set of irreducible structures (for instance, the class of triangle-free graphs), showing that every structure in every such class has a finite big Ramsey degree. My work only bounded the big Ramsey degrees, and left open what the exact values were. In recent joint work with Balko, Chodounský, Dobrinen, Hubicka, Konecný, and Vena, we characterize the exact big Ramsey degree of every structure in every binary free amalgamation class defined by a finite forbidden set.

    Hide abstract.

  • October 1st, 2021, 14.30-15.30 (DMIF, Sala Riunioni)

    M. Fiori Carones (University of Warsaw) "Different behaviour of CRT22 and COH over RCA0*".

    Abstract.

    The common base theory of reverse mathematics is the theory RCA0, which guarantees the existence of Delta01 -definable sets and where mathematical induction for Sigma01 -formulae holds. In 1986, Simpson and Smith introduced a different base theory, RCA0*, where induction is weakened to Delta01 -formulae. In more recent years Kolodziejczyk, Kowalik, Wong, Yokoyama started wondering about the strength of Ramsey’s theorem over RCA0*. In this talk we concentrate on two well known consequences of Ramsey’s theorem for pairs RT22, namely the Cohesive Ramsey theorem for pairs CRT22 and the Cohesion principle COH. Over RCA0 both follow from RT22, while we proved that only CRT22, and not COH, follows from RT22 over RCA0*.

    Hide abstract.

  • June 18th, 2021, 16.30-18.30 (Online on WebEx)

    C. Brech (Universidade de São Paulo) "Isomorphic combinatorial families" (Video).

    Abstract.

    We will recall the notion of compact and hereditary families of finite subsets of some cardinal $\kappa$ and their corresponding combinatorial Banach spaces. We present a combinatorial version of Banach-Stone theorem, which leads naturally to a notion of isomorphism between families. Our main result shows that different families on $\omega$ are not isomorphic, if we assume them to be spreading. We also discuss the difference between the countable and the uncountable setting. This is a joint work with Claribet Piña.

    Hide abstract.

  • June 11th, 2021, 16.30-18.30 (Online on WebEx)

    V. Gitman (CUNY Graduate Center) "The old and the new of virtual large cardinals" (Video).

    Abstract.

    The idea of defining a generic version of a large cardinal by asking that some form of the elementary embeddings characterizing the large cardinal exist in a forcing extension has a long history. A large cardinal (typically measurable or stronger) can give rise to several natural generic versions with vastly different properties. For a \emph{generic large cardinal}, a forcing extension should have an elementary embedding $j:V\to M$ of the form characterizing the large cardinal where the target model $M$ is an inner model of the forcing extension, not necessarily contained in $V$. The closure properties on $M$ must correspondingly be taken with respect to the forcing extension. Very small cardinals such as $\omega_1$ can be generic large cardinals under this definition. Quite recently set theorists started studying a different version of generic-type large cardinals, called \emph{virtual large cardinals}. Large cardinals characterized by the existence of an elementary embedding $j:V\to M$ typically have equivalent characterizations in terms of the existence of set-sized embeddings of the form $j:V_\lambda\to M$. For a virtual large cardinal, a forcing should have an elementary embedding $j:V_\lambda\to M$ of the form characterizing the large cardinal with $M\in V$ and all closure properties on $M$ considered from $V$'s standpoint. Virtual large cardinals are actually large cardinals, they are completely ineffable and more, but usually bounded above by an $\omega$-Erdös cardinal. Despite sitting much lower in the large cardinal hierarchy, they mimic the reflecting properties of their original counterparts. Several of these notions arose naturally out of equiconsistency results. In this talk, I will give an overview of the virtual large cardinal hierarchy including some surprising recent directions.

    Hide abstract.

  • June 4th, 2021, 16.30-18.30 (Online on WebEx)

    M. Pinsker (Vienna University of Technology) "Uniqueness of Polish topologies on endomorphism monoids of countably categorical structures" (Video).

    Abstract.

    "The automorphism group Aut(A) of a countable countably categorical structure A, viewed as a topological group equipped with the topology of pointwise convergence, carries sufficient information about the structure A to reconstruct it up to bi-interpretability. It turns out that in many cases, including the order of the rational numbers or the random graph, the algebraic group structure of Aut(A) alone is sufficient for this kind of reconstruction, since its topology is already uniquely determined by it. Which structures A have this property has been subject to investigations for many years. Sometimes, we wish to associate to the structure A other objects than Aut(A) which retain more information about A; for example, its endomorphism monoid End(A) or its polymorphism clone Pol(A) are such objects. As in the case for automorphism groups, these objects are naturally equipped with the topology of pointwise convergence on top of their algebraic structure. We consider the question of when the former is already uniquely determined by the latter. In particular, we show that the endomorphism monoid of the random graph has a unique Polish topology, namely that of pointwise convergence. In the first part of the talk, which I hope to make accessible to anyone, I present a history of the known and unknown results as well as our new ones, and outline the differences between groups and monoids in this context. In the second part, which I also hope to make accessible to anyone, I try to outline the proof methods for our new results. This is joint work with L. Elliott, J. Jonušas, J. D. Mitchell, and Y. Péresse."

    Hide abstract.

  • May 28th, 2021, 16.30-18.30 (Online on WebEx)

    D. Bartosova (University of Florida) "Short exact sequences and universal minimal flows" (Video).

    Abstract.

    We will investigate an interplay between short exact sequences of topological groups and their universal minimal flows in case one of the factors is compact. We will discuss possible and impossible extensions of the results in a few directions. An indispensable ingredient in our technique is a description of the universal pointed flow of a given group in terms of filters on the group, which we will describe.

    Hide abstract.

  • May 21st, 2021, 16.30-18.30 (Online on WebEx)

    L. Westrick (Penn State University) "Borel combinatorics fail in HYP" (Video).

    Abstract.

    Of the principles just slightly weaker than ATR, the most well-known are the theories of hyperarithmetic analysis (THA). By definition, such principles hold in HYP. Motivated by the question of whether the Borel Dual Ramsey Theorem is a THA, we consider several theorems involving Borel sets and ask whether they hold in HYP. To make sense of Borel sets without ATR, we formalize the theorems using completely determined Borel sets. We characterize the completely determined Borel subsets of HYP as precisely the sets of reals which are $\Delta^1_1$ in $L_{\omega_1^\mathrm{CK}}$. Using this, we show that in HYP, Borel sets behave quite differently than in reality. In HYP, the Borel dual Ramsey theorem fails, every $n$-regular Borel acyclic graph has a Borel $2$-coloring, and the prisoners have a Borel winning strategy in the infinite prisoner hat game. Thus the negations of these statements are not THA. Joint work with Henry Towsner and Rose Weisshaar.

    Hide abstract.

  • May 14th, 2021, 16.30-18.30 (Online on WebEx)

    R. Sklinos (Stevens Institute of Technology) "Fields interpretable in the free group" (Video).

    Abstract.

    After Sela and Kharlampovich-Myasnikov proved that nonabelian free groups share the same common theory, a model theoretic interest for the theory of the free group arose. Moreover, maybe surprisingly, Sela proved that this common theory is stable. Stability is the first dividing line in Shelah's classification theory and it is equivalent to the existence of a nicely behaved independence relation - forking independence. This relation, in the theory of the free group, has been proved (Ould Houcine-Tent and Sklinos) to be as complicated as possible (n-ample for all n). This behavior of forking independence is usually witnessed by the existence of an infinite field. We prove that no infinite field is interpretable in the theory of the free group, giving the first example of a stable group which is ample but does not interpret an infinite field.

    Hide abstract.

  • May 7th, 2021, 16.30-18.30 (Online on WebEx)

    M. Valenti (University of Udine) "Uniform reducibility and descending sequences through ill-founded orders" (Video).

    Abstract.

    We explore the uniform computational strength of the problem DS of computing an infinite descending sequence through an ill-founded linear order. This is done by characterizing its degree from the point of view of Weihrauch reducibility, and comparing it with the one of other classical problems, like the problem of finding a path through an ill-founded tree (known as choice on the Baire space). We show that, despite being ""hard"" to compute, the lower cone of DS misses many arithmetical problems (in particular, DS uniformly computes only the limit computable functions). We also generalize our results in the context of arithmetically or analytically presented quasi orders. In particular, we use a technique based on inseparable $\Pi^1_1$ sets to separate $\Sigma^1_1$-DS from the choice on Baire space.

    Hide abstract.

  • April 30th, 2021, 16.30-18.30 (Online on WebEx)

    S. Barbina (Open University) "The theory of the universal-homogeneous Steiner triple system" (Video).

    Abstract.

    A Steiner triple system is a set S together with a collection B of subsets of S of size 3 such that any two elements of S belong to exactly one element of B. It is well known that the class of finite Steiner triple systems has a Fraïssé limit, the countable homogeneous universal Steiner triple system M. In joint work with Enrique Casanovas, we have proved that the theory T of M has quantifier elimination, is not small, has TP2, NSOP1, eliminates hyperimaginaries and weakly eliminates imaginaries. In this talk I will review the construction of M, give an axiomatisation of T and prove some of its properties.

    Hide abstract.

  • April 23rd, 2021, 16.30-18.30 (Online on WebEx)

    F. Loregian (Tallinn University of Technology) "Functorial Semantics for Partial Theories" (Video).

    Abstract.

    We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case, our definition is syntactic: we use an appropriate class of string diagrams as terms. This allows for equational reasoning about the class of models defined by a partial theory. We demonstrate the expressivity of such equational theories by considering a number of examples, including partial combinatory algebras and cartesian closed categories. Moreover, despite the increase in expressivity of the syntax we retain a well-behaved notion of semantics: we show that our categories of models are precisely locally finitely presentable categories, and that free models exist.

    Hide abstract.

  • April 16th, 2021, 16.30-18.30 (Online on WebEx)

    A. Poveda (Hebrew University of Jerusalem) "Forcing iterations around singulars cardinals and an application to stationary reflection" (Video).

    Abstract.

    "In this talk we will give an overview of the theory of \Sigma-Prikry forcings and their iterations, recently introduced in a series of papers. We will begin motivating the class of \Sigma-Prikry forcings and showing that this class is broad enough to encompass many Prikry-type posets that center on countable cofinalities. Afterwards, we will present a viable iteration scheme for this family and discuss an application of the framework to the investigation of stationary reflection at the level of successors of singular cardinals. This is joint work with A. Rinot and D. Sinapova."

    Hide abstract.

  • April 9th, 2021, 16.30-18.30 (Online on WebEx)

    A. Berarducci (University of Pisa) "Asymptotic analysis of Skolem's exponential functions" (Video).

    Abstract.

    Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function $x$, and such that whenever $f$ and $g$ are in the set, $f+g$, $fg$ and $f^g$ are also in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz (1984) computed the order type of the fragment below $2^{2^x}$. They did so by studying the possible limits at infinity of the quotient $f(x)/g(x)$ of two functions in the fragment: if $g$ is kept fixed and $f$ varies, the possible limits form a discrete set of real numbers of order type $\omega$. Using the surreal numbers, we extend the latter result to the whole class of Skolem functions and we discuss some additional progress towards the conjecture of Skolem. This is joint work with Marcello Mamino (http://arxiv.org/abs/1911.07576, to appear in the JSL).

    Hide abstract.

  • March 26th, 2021, 16.30-18.30 (Online on WebEx)

    V. Dimonte (University of Udine) "The role of Prikry forcing in generalized Descriptive Set Theory" (Video).

    Abstract.

    In this seminar we want to take stock of some of the most important applications of the peculiarities of Prikry-like forcings on generalized descriptive set theory. In our case, with generalized descriptive set theory we mean the study of definable subsets of $\lambda^\omega$, with $\lambda$ uncountable cardinal of countable cofinality. It turns out that in this case there is a lot of symmetry with the classical case of Polish spaces, and we are going to provide three examples where the particular combinatorial structure of Prikry-like forcings comes in to save the day: an adequate definition of $\lambda$-Baire property for the generalized case, a generic absoluteness result under the very large cardinal I0, and the construction of a Solovay-like model for $\lambda^\omega$, i.e., the construction of a model where each subset of $\lambda^\omega$ either has cardinality less or equal then $\lambda$, or we can embed in it the whole $\lambda^\omega$.

    Hide abstract.

  • March 19th, 2021, 16.30-18.30 (Online on WebEx)

    G. Paolini (Turin) "Torsion-Free Abelian Groups are Borel Complete" (Video).

    Abstract.

    We prove that the Borel space of torsion-free Abelian groups with domain $\omega$ is Borel complete, i.e., the isomorphism relation on this Borel space is as complicated as possible, as an isomorphism relation. This solves a long-standing open problem in descriptive set theory, which dates back to the seminal paper on Borel reducibility of Friedman and Stanley from 1989.

    Hide abstract.

  • March 12th, 2021, 16.30-18.30 (Online on WebEx)

    C. Conley (Carnegie Mellon University) "Dividing the sphere by rotations" (Video).

    Abstract.

    We say that a subset A of the sphere r-divides it if r-many rotations of A perfectly tile the sphere's surface. Such divisions were first exhibited by Robinson (47) and developed by Mycielski (55). We discuss a colorful approach to finding these divisions which are Lebesgue measurable or possess the property of Baire. This includes joint work with J. Grebik, A. Marks, O. Pikhurko, and S. Unger.

    Hide abstract.

  • March 5th, 2021, 16.30-18.30 (Online on WebEx)

    N. de Rancourt (University of Wien) "A dichotomy for countable unions of smooth Borel equivalence relations" (Video).

    Abstract.

    I will present a dichotomy for equivalence relations on Polish spaces that can be expressed as countable unions of smooth Borel equivalence relations. It can be seen as an extension of Kechris-Louveau's dichotomy for hypersmooth Borel equivalence relations. A generalization of our dichotomy, for equivalence relations that can be expressed as countable unions of Borel equivalence relations belonging to certain fixed classes, will also be presented. This is a joint work with Benjamin Miller.

    Hide abstract.

  • February 26th, 2021, 16.30-18.30 (Online on WebEx)

    S. Barbina (Open University) "The theory of the universal-homogeneous Steiner triple system" (CANCELED).

    Abstract.

    A Steiner triple system is a set S together with a collection B of subsets of S of size 3 such that any two elements of S belong to exactly one element of B. It is well known that the class of finite Steiner triple systems has a Fraïssé limit, the countable homogeneous universal Steiner triple system M. In joint work with Enrique Casanovas, we have proved that the theory T of M has quantifier elimination, is not small, has TP2, NSOP1, eliminates hyperimaginaries and weakly eliminates imaginaries. In this talk I will review the construction of M, give an axiomatisation of T and prove some of its properties.

    Hide abstract.

  • February 19th, 2021, 16.30-18.30 (Online on WebEx)

    P. Shafer (University of Leeds) "An inside-outside Ramsey theorem in the Weihrauch degrees" (Video).

    Abstract.

    Recall Ramsey's theorem for pairs and two colors, which, in terms of graphs, may be phrased as follows: For every countably infinite graph $G$, there is an infinite set of vertices $H$ such that either every pair of distinct vertices from $H$ is adjacent or no pair of distinct vertices from $H$ is adjacent. The conclusion of Ramsey's theorem gives complete information about how the vertices in $H$ relate to each other, but it gives no information about how the vertices outside $H$ relate to the vertices inside $H$. Rival and Sands (1980) proved the following theorem, which weakens the conclusion of Ramsey's theorem with respect to pairs of vertices in $H$, but does add information about how the vertices outside $H$ relate to the vertices inside $H$: For every countably infinite graph $G$, there is an infinite set of vertices $H$ such that each vertex of $G$ is either adjacent to no vertices of $H$, to exactly one vertex of $H$, or to infinitely many vertices of $H$. We give an exact characterization of the computational strength of the Rival-Sands theorem by showing that it is strongly Weihrauch equivalent to the double-jump of weak König's lemma (which is the problem of producing infinite paths through infinite trees that are given by $\Delta^0_3$ approximations). In terms of Ramsey's theorem, this means that solving one instance of the Rival-Sands theorem is equivalent to simultaneously solving countably many instances of Ramsey's theorem for pairs and two colors in parallel. This work is joint with Marta Fiori Carones and Giovanni Soldà.

    Hide abstract.

  • February 12th, 2021, 16.30-18.30 (Online On WebEx)

    A. Kwiatkowska (University of Münster) "The automorphism group of the random poset".

    Abstract.

    "A number of well-studied properties of Polish groups concern the interactions between the topological and algebraic structure of those groups. Examples of such properties are the small index property, the automatic continuity, and the Bergman property. An important approach for proving them is showing that the group has ample generics. Therefore we are often interested whether a given Polish group has a comeager conjugacy class, i.e a generic element, a generic pair, or more generally, a generic n-tuple. After a survey on this topic, I will discuss a recent result joint with Aristotelis Panagiotopoulos, where we show that the automorphism group of the random poset does not admit a generic pair. This answers a question of Truss and Kuske-Truss."

    Hide abstract.

  • February 5th, 2021, 16.30-18.30 (Online on WebEx)

    M. Viale (University of Turin) "Tameness for set theory" (Video).

    Abstract.

    We show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship. Specifically we develop a general framework linking generic absoluteness results to model companionship and show that (with the required care in details) a -property formalized in an appropriate language for second or third order number theory is forcible from some T extending ZFC + large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. Part (but not all) of our results are a byproduct of the groundbreaking result of Schindler and Asperò showing that Woodin’s axiom (*) can be forced by a stationary set preserving forcing.

    Hide abstract.

  • January 29th, 2021, 16.30-18.30 (Online on WebEx)

    V. Fischer (University of Wien) "The spectrum of independence" (Video).

    Abstract.

    Families of infinite sets of natural numbers are said to be independent if for very two disjoint non-empty subfamilies the intersection of the members of the first subfamily with the complements of the members of the second family is infinite. Maximal independent families are independent families which are maximal under inclusion. In this talk, we will consider the set of cardinalities of maximal independent families, referred to as the spectrum of independence, and show that this set can be quite arbitrary. This is a joint work with Saharon Shelah.

    Hide abstract.

  • January 22nd, 2021, 16.30-18.30 (Online on WebEx)

    R. Schindler (University of Muenster) "Martin's Maximum^++ implies the P_max axiom (*)" (Video).

    Abstract.

    Forcing axioms spell out the dictum that if a statement can be forced, then it is already true. The P_max axiom (*) goes beyond that by claiming that if a statement is consistent, then it is already true. Here, the statement in question needs to come from a resticted class of statements, and ""consistent"" needs to mean ""consistent in a strong sense."" It turns out that (*) is actually equivalent to a forcing axiom, and the proof is by showing that the (strong) consistency of certain theories gives rise to a corresponding notion of forcing producing a model of that theory. This is joint work with D. Asperó building upon earlier work of R. Jensen and (ultimately) Keisler's ""consistency properties.""

    Hide abstract.

  • January 15th, 2021, 16.30-18.30 (Online on WebEx)

    A. Freund (TU Darmstadt) "Ackermann, Goodstein, and infinite sets" (Video).

    This seminar is part of the event World Logic Day 2021


    Abstract.

    In this talk, I show how Goodstein's classical theorem can be turned into a statement that entails the existence of complex infinite sets, or in other words: into an object of reverse mathematics. This more abstract approach allows for very uniform results of high explanatory power. Specifically, I present versions of Goodstein's theorem that are equivalent to arithmetical comprehension and arithmetical transfinite recursion. To approach the latter, we will study a functorial extension of the Ackermann function to all ordinals. The talk is based on a joint paper with J. Aguilera, M. Rathjen and A. Weiermann.

    Hide abstract.

  • January 8th, 2021, 16.30-18.30 (Online on WebEx)

    F. Calderoni (University of Illinois at Chicago) "The Borel structure on the space of left-orderings" (Video).

    Abstract.

    In this talk we shall present some results on left-orderable groups and their interplay with descriptive set theory. We shall discuss how Borel classification can be used to analyze the space of left-orderings of a given countable group modulo the conjugacy action. In particular, we shall see that if G is not locally indicable then the conjugacy relation on LO(G) is not smooth. Also, if G is a nonabelian free group, then the conjugacy relation on LO(G) is a universal countable Borel equivalence relation. Our results address a question of Deroin-Navas-Rivas and show that in many cases LO(G) modulo the conjugacy action is nonstandard. This is joint work with A. Clay.

    Hide abstract.


Hide 2021.
Expand 2020
Hide 2020.
  • December 18th, 2020, 16.30-18.30 (Online on WebEx)

    M. Eskew (Vienna) "Weak square from weak presaturation" (Video).

    Abstract.

    Can we have both a saturated ideal and the tree property on $\aleph_2$? Towards the negative direction, we show that for a regular cardinal $\kappa$, if $2^{<\kappa}\leq\kappa^+$ and there is a weakly presaturated ideal on $\kappa^+$ concentrating on cofinality $\kappa$, then $\square^*_\kappa$ holds. This partially answers a question of Foreman and Magidor about the approachability ideal on $\aleph_2$. A surprising corollary is that if there is a presaturated ideal $J$ on $\aleph_2$ such that $P(\aleph_2)/J$ is a semiproper forcing, then CH holds. This is joint work with Sean Cox.

    Hide abstract.

  • December 11th, 2020, 16.30-18.30 (Online on WebEx)

    A. Shani (Harvard University) "Anti-classification results for countable Archimedean groups" (Video).

    Abstract.

    We study the isomorphism relation for countable ordered Archimedean groups. We locate its complexity with respect to the hierarchy defined by Hjorth, Kechris, and Louveau, showing in particular that its potential complexity is $\mathrm{D}(\mathbf{\Pi}^0_3)$, and it cannot be classified using countable sets of reals as invariants. We obtain analogous results for the bi-embeddability relation, and we consider similar problems for circularly ordered groups and ordered divisible Abelian groups. This is joint work with F. Calderoni, D. Marker, and L. Motto Ros.

    Hide abstract.

  • December 4th, 2020, 16.30-18.30 (Online on WebEx)

    L. San Mauro (Vienna) "Revisiting the complexity of word problems " (Video).

    Abstract.

    The study of word problems dates back to the work of Dehn in 1911. Given a recursively presented algebra $A$, the word problem of $A$ is to decide if two words in the generators of $A$ refer to the same element. Nowadays, much is known about the complexity of word problems for algebraic structures: e.g., the Novikov-Boone theorem – one of the most spectacular applications of computability to general mathematics – states that the word problem for finitely presented groups is unsolvable. Yet, the computability theoretic tools commonly employed to measure the complexity of word problems (Turing or m-reducibility) are defined for sets, while it is generally acknowledged that many computational facets of word problems emerge only if one interprets them as equivalence relations. In this work, we revisit the world of word problems through the lens of the theory of equivalence relations, which has grown immensely in recent decades. To do so, we employ computable reducibility, a natural effectivization of Borel reducibility. This is joint work with Valentino Delle Rose and Andrea Sorbi.

    Hide abstract.

  • November 27th, 2020, 16.30-18.30 (Online on WebEx)

    M. Viale (Turin) "Tameness for set theory" (CANCELED).

    Abstract.

    We show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship. Specifically we develop a general framework linking generic absoluteness results to model companionship and show that (with the required care in details) a property formalized in an appropriate language for second or third order number theory is forcible from some $T$ extending ZFC + large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of $T$. Part (but not all) of our results are a byproduct of the groundbreaking result of Schindler and Asperò showing that Woodin’s axiom (*) can be forced by a stationary set preserving forcing.

    Hide abstract.

  • November 20th, 2020, 16.30-18.30 (Online on WebEx)

    P. Holy (Udine) "Large Cardinal Operators".

    Abstract.

    Many notions of large cardinals have associated ideals, and also operators on ideals. Classical examples of this are the subtle, the ineffable, the pre-Ramsey and the Ramsey operator. We will recall their definitions, and show that they can be seen to fit within a framework for large cardinal operators below measurability. We will use this framework to introduce a new operator, that is closely connected to the notion of a $T_\omega^\kappa$-Ramsey cardinal that was recently introduced by Philipp Luecke and myself, and we will provide a sample result about our framework that generalizes classical results of James Baumgartner.

    Hide abstract.

  • November 13th, 2020, 16.30-18.30 (Online on WebEx)

    C. Agostini (Turin) "Large cardinals, elementary embeddings and "generalized" ultrafilters", part 2 (Slides).

    Abstract.

    This talk is a survey on large cardinals and the relations between elementary embeddings and ultrafilters.

    A measurable cardinal is a cardinal $\kappa$ such that there exits a non-principal, $\kappa$-complete ultrafilter on $\kappa$. This has been the first large cardinal defined through ultrafilters. Measurable cardinals however have also an alternative definition: a cardinal is measurable if and only if it is the critical point of a (definable) elementary embedding of the universe into an inner model of set theory. Historically, this second definition has proven more suitable to define large cardinals. One may require that the elementary embedding satisfy some additional properties to obtain even larger cardinals, and measurable cardinals soon became the smallest of a series of large cardinals defined through elementary embeddings. Later on, a definition with ultrafilters has been discovered for many of these cardinals. Similarly to what happens for measurable cardinals, every elementary embedding generates an ultrafilter, and every ultrafilter generates an elementary embedding through the ultrapower of the universe. In this duality, properties of ultrafilters translate into properties of the embeddings, and vice versa. This lead in particular to the definition of two new crucial properties of ultrafilters: fineness and normality.

    In the first part of this talk, we will focus on the analysis and comprehension of these two properties of ultrafilters. In the second part, we will focus on the understanding of the "duality" between elementary embeddings and ultrafilters, with a particular attention on the ultrafilters/elementary embedding generated by Supercompact and Huge cardinals.

    Hide abstract.

  • November 6th, 2020, 16.30-18.30 (Online on WebEx)

    C. Agostini (Turin) "Large cardinals, elementary embeddings and "generalized" ultrafilters", part 1 (Slides).

    Abstract.

    This talk is a survey on large cardinals and the relations between elementary embeddings and ultrafilters.

    A measurable cardinal is a cardinal $\kappa$ such that there exits a non-principal, $\kappa$-complete ultrafilter on $\kappa$. This has been the first large cardinal defined through ultrafilters. Measurable cardinals however have also an alternative definition: a cardinal is measurable if and only if it is the critical point of a (definable) elementary embedding of the universe into an inner model of set theory. Historically, this second definition has proven more suitable to define large cardinals. One may require that the elementary embedding satisfy some additional properties to obtain even larger cardinals, and measurable cardinals soon became the smallest of a series of large cardinals defined through elementary embeddings. Later on, a definition with ultrafilters has been discovered for many of these cardinals. Similarly to what happens for measurable cardinals, every elementary embedding generates an ultrafilter, and every ultrafilter generates an elementary embedding through the ultrapower of the universe. In this duality, properties of ultrafilters translate into properties of the embeddings, and vice versa. This lead in particular to the definition of two new crucial properties of ultrafilters: fineness and normality.

    In the first part of this talk, we will focus on the analysis and comprehension of these two properties of ultrafilters. In the second part, we will focus on the understanding of the "duality" between elementary embeddings and ultrafilters, with a particular attention on the ultrafilters/elementary embedding generated by Supercompact and Huge cardinals.

    Hide abstract.

  • May 29th, 2020, 16.30-17.30 (Online)

    P. Holy (Udine) "Generalized topologies on 2^kappa, Silver forcing, and the diamond principle".

    Abstract.

    I will talk about the connections between topologies on 2^kappa induced by ideals on kappa and topologies on 2^kappa induced by certain tree forcing notions, highlighting the connection of the topology induced by the nonstationary ideal with kappa-Silver forcing. Assuming that Jensen's diamond principle holds at kappa, we then generalize results on kappa-Silver forcing of Friedman, Khomskii and Kulikov that were originally shown for inaccessible kappa: In particular, I will present a proof that also in our situation, kappa-Silver forcing satisfies a strong form of Axiom A. By a result of Friedman, Khomskii and Kulikov, this implies that meager sets are nowhere dense in the nonstationary topology. If time allows, I will also sketch a proof of the consistency of the statement that every Delta^1_1 set (in the standard bounded topology on 2^kappa) has the Baire property in the nonstationary topology, again assuming the diamond principle to hold at kappa (rather than its inaccessibility). This is joint work with Marlene Koelbing, Philipp Schlicht and Wolfgang Wohofsky.

    Hide abstract.

  • May 8th, 2020, 16.30-17.30 (Online)

    M. Fiori Carones (Monaco) "Unique orderability of infinite interval graphs and reverse mathematics".

    Abstract.

    Interval graphs are graphs whose vertices can be mapped to intervals of a linear order in such a way that intervals associated to adjacent vertices have non empty intersection. For each interval graph there exists an order whose incomparability relation corresponds to the adjacency relation of the graph. In general different orders can be associated to an interval graph. We are interested to capture the class of interval graphs which have a unique, up to duality, order associated to them. In particular, we prove that a characterisation known to hold for finite connected interval graphs holds for infinite connected interval graphs as well. Finally, we settled the strength of this characterisation in the hierarchy of subsystems of second order arithmetic. (Joint work with Alberto Marcone)

    Hide abstract.

  • April 24th, 2020, 16.00-18.00 (Online)

    L. Carlucci (Rome) "Questions and results about the strength of(variants of) Hindman's Theorem".

    Abstract.

    Measuring the logical and computational strength of Hindman's Finite Sums Theorem is one of the main open problems in Reverse Mathematics since the seminal work of Blass, Hirst and Simpson from the late Eighties. Hindman's Theorem states that any finite coloring of the positive integers admits an infinite set such that all non-empty finite sums of distinct elements from that set have the same color. The strength of Hindman's Theorem is known to lie between ACA_0 and ACA_0^+ or, in computability-theoretic terms, between the Halting Problem and the degree of unsolvability of first-order arithmetic. In recent years, following a suggestion of Blass, researchers have investigated variants of Hindman's Theorem in which the type of sums that are required to be monochromatic is restricted by some natural constraint. Restrictions on the number of terms have received particular attention, but other structural constraints give rise to interesting phenomena as well. The main open problem remains that of finding a non-trivial upper bound on Hindman's Theorem for sums of at most two elements. By work of Kolodziejczyk, Lepore, Zdanowski and the author, this theorem implies ACA_0, yet it is an open problem in Combinatorics (Hindman, Leader, Strauss 2003) whether a proof of it exists that does not also prove the full version of the theorem. We will review some of the results from the recent past on this and related questions and discuss a number of old and new open problems.

    Hide abstract.

  • April 1st, 2020, 14.30-16.30 (on-line)

    P. Holy (Udine) "Ideal Topologies".

    Abstract.

    The classical Cantor space is the space of all functions from the natural numbers to {0,1} with the topology induced by the bounded ideal -- that is the topology that is given by the basic clopen sets [f] for functions f from a bounded subset of the natural numbers to {0,1}. When generalizing this from the natural numbers to the so-called higher Cantor space on some regular and uncountable cardinal kappa, this is usually done by working with the bounded ideal on kappa. However, there are other natural ideals on such cardinals apart from the bounded ideal -- in particular there is always the nonstationary ideal on kappa. In this talk, I will define and investigate some basic properties of spaces on regular and uncountable cardinals kappa using topologies based on general ideals, and in particular on the nonstationary ideal on kappa. This is joint work with Marlene Koelbing (Vienna), Philipp Schlicht (Bristol) and Wolfgang Wohofsky (Vienna).

    Hide abstract.

  • March 13th, 2020, 14.00-16.00 (DMIF, Sala Riunioni)

    L. Carlucci (Rome) "Questions and results about the strength of (variants of) Hindman's Theorem" (CANCELED).

    Abstract.

    Measuring the logical and computational strength of Hindman's Finite Sums Theorem is one of the main open problems in Reverse Mathematics since the seminal work of Blass, Hirst and Simpson from the late Eighties. Hindman's Theorem states that any finite coloring of the positive integers admits an infinite set such that all non-empty finite sums of distinct elements from that set have the same color. The strength of Hindman's Theorem is known to lie between ACA_0 and ACA_0^+ or, in computability-theoretic terms, between the Halting Problem and the degree of unsolvability of first-order arithmetic. In recent years, following a suggestion of Blass, researchers have investigated variants of Hindman's Theorem in which the type of sums that are required to be monochromatic is restricted by some natural constraint. Restrictions on the number of terms have received particular attention, but other structural constraints give rise to interesting phenomena as well. The main open problem remains that of finding a non-trivial upper bound on Hindman's Theorem for sums of at most two elements. By work of Kolodziejczyk, Lepore, Zdanowski and the author, this theorem implies ACA_0, yet it is an open problem in Combinatorics (Hindman, Leader, Strauss 2003) whether a proof of it exists that does not also prove the full version of the theorem. We will review some of the results from the recent past on this and related questions and discuss a number of old and new open problems.

    Hide abstract.

  • March 3rd, 2020, 14.00-16.00 (DMIF, Sala Riunioni)

    P. Holy (Udine) "Ideal Topologies" (CANCELED).

    Abstract.

    The classical Cantor space is the space of all functions from the natural numbers to {0,1} with the topology induced by the bounded ideal -- that is the topology that is given by the basic clopen sets [f] for functions f from a bounded subset of the natural numbers to {0,1}. When generalizing this from the natural numbers to the so-called higher Cantor space on some regular and uncountable cardinal kappa, this is usually done by working with the bounded ideal on kappa. However, there are other natural ideals on such cardinals apart from the bounded ideal -- in particular there is always the nonstationary ideal on kappa. In this talk, I will define and investigate some basic properties of spaces on regular and uncountable cardinals kappa using topologies based on general ideals, and in particular on the nonstationary ideal on kappa. This is joint work with Marlene Koelbing (Vienna), Philipp Schlicht (Bristol) and Wolfgang Wohofsky (Vienna).

    Hide abstract.


Hide 2020.
Expand 2019
Hide 2019.
  • June 7th, 2019, 14.00-16.00 (DMIF, Sala Riunioni)

    V. Torres-Peréz (Vienna) "Compactness Principles and Forcing Axioms without Martin's Axiom ".

    Abstract.

    Rado's Conjecture (RC) in the formulation of Todorcevic is the statement that every tree $T$ that is not decomposable into countably many antichains contains a subtree of cardinality $\aleph_1$ with the same property. Todorcevic has shown the consistency of this statement relative to the consistency of the existence of a strongly compact cardinal. RC implies the Singular Cardinal Hypothesis, a strong form of Chang's Conjecture, the continuum is at most $\aleph_2$, the negation of $\Box(\theta)$ for every regular $\theta\geq\omega_2$, Fuchino's Fodor-type Reflection Principle, etc. These implications are very similar to the ones obtained from traditional forcing axioms such as MM or PFA. However, RC is incompatible even with $\mathrm{MA}_{\aleph_1}$. In this talk we will take the opportunity to give an overview of our results different coauthors obtained in the last few years together with recent ones. These new implications seem to continue suggesting that RC is a good alternative to forcing axioms. We will discuss to which extent this may hold true and where we can find some limitations. We will end the talk with some open problems and possible new directions. For example, we will also discuss some recent results with Liuzhen Wu and David Chodounsky regarding squares of the form $\Box(\theta, \lambda)$ and YPFA. This forcing axiom, a consequence of PFA, was introduced by David Chodounsky and Jindrich Zapletal, where they proved that it has similar consequences as PFA, such as the P-Ideal Dichotomy, $2^{\aleph_0}= \aleph_2$, all $\aleph_2$-Aronszajn trees are special, etc. However, YPFA is consistent with the negation of $\mathrm{MA}_{\aleph_1}$.

    Hide abstract.

  • January 29th, 2019, 17.00-18.30 (DMIF, Sala Riunioni)

    X. Shi (Beijing) "Large cardinals and generalized degree structures".

    Abstract.

    A central task of modern set theory is to study various extensions of ZF/ZFC, to some is to search for the “right” extension of the current foundation. Large cardinal axioms were proposed by G\"{o}del as candidates, originally to settle the continuum problem. It turns out that they serve nicely as scale for measuring the strength of most "natural" statements in set theory. Recursion theory is one of the big four branches of mathematical logic. Classical recursion theory studies the structure of Turing degrees. It has been extended/generalized to higher levels of computability/definability, as well as to higher ordinals/cardinals. However these results do not go beyond ZFC. Recent studies reveal that there are deep connections between the strength of large cardinals and the complexity of generalized degree structures. I will present the latest developments in this new research program -- higher degree theory.

    Hide abstract.


Hide 2019.
Expand 2018
Hide 2018.
  • September 26th, 2018, 16.30-18.00 (DMIF, Aula multimediale)

    P. Shafer (Leeds) "Describing the complexity of the "problem B is harder than problem A relation"".

    Abstract.

    Some mathematical problems are harder than others. Using concepts from computability theory, we formalize the "problem B is harder than problem A" relation and analyze its complexity. Our results express that this "harder than" relation is, in a certain sense, as complicated as possible, even when restricted to several special classes of mathematical problems.

    Hide abstract.

  • March 20th, 2018, 14.30-16.00 (DMIF, Sala Riunioni)

    W. Gomaa (Alexandria) "On the extension of computable real functions".

    Abstract.

    We investigate interrelationships among different notions from mathematical analysis, effective topology, and classical computability theory. Our main object of study is the class of computable functions defined over an interval with the boundary being a left-c.e. real number. We investigate necessary and sufficient conditions under which such functions can be computably extended. It turns out that this depends on the behavior of the function near the boundary as well as on the class of left-c.e. real numbers to which the boundary belongs, that is, how it can be constructed. Of particular interest a class of functions is investigated: sawtooth functions constructed from computable enumerations of c.e. sets.

    Hide abstract.


Hide 2018.
Expand 2017
Hide 2017.
  • November 21st, 2017, 17.00-18.30 (DMIF, Aula multimediale)

    V. Brattka (Munich) "How can one sort mathematical theorems".

    Abstract.

    It is common mathematical practice to say that one theorem implies another one. For instance, it is mathematical folklore that the Baire Category Theorem implies the Closed Graph Theorem and Banach's Inverse Mapping Theorem. However, after a bit of reflection it becomes clear that this notion of implication cannot be the usual logical implication that we teach to our undergraduate students, since all true theorems are logically equivalent to each other. What is actually meant by implication in this informal sense is rather something such as "one theorem is easily derivable from another one". However, what does "easily derivable" mean exactly? We present a survey on a recent computational approach to metamathematics that provides a formal definition of what "easily derivable" could mean. This approach borrows ideas from theoretical computer science, in particular the notion of a reducibility. The basic idea is that Theorem A is easily derivable from Theorem B if A is reducible to B in the sense that the input and output data of these theorems can be transferred into each other. In this case the task of Theorem A can be reduced to the task of Theorem B. Such reductions should at least be continuous and they are typically considered to be computable, which means that they can be performed algorithmically.The resulting structure is a lattice that allows one to sort mathematical theorems according to their computational content and phenomenologically, the emerging picture is very much in line with how mathematicians actually use the notion of implication in their daily practice.

    Hide abstract.

  • November 16th, 2017, 14.30-16.00 (DMIF, Sala Riunioni)

    R. Cutolo (Napoli) "Berkeley Cardinals and the search for V ".

    Abstract.

    The talk will focus on Berkeley cardinals, the strongest known large cardinal axioms, recently introduced by J. Bagaria, P. Koellner and W. H. Woodin. Berkeley cardinals are inconsistent with the Axiom of Choice; their definition is indeed formulated in the context of ZF (Zermelo-Fraenkel set theory without AC). Aim of the talk is to provide an account of their main features and the foundational issues involved. A noteworthy contribution to the topic is my result establishing the independence from ZF of the cofinality of the least Berkeley cardinal, which is in fact connected with the failure of AC; I will describe the forcing notion employed and give a sketch of the proof. In order to show that interesting mathematical consequences can be developed from Berkeley cardinals, I’ll then analyze the structural properties of the inner model $L(V_{delta+1})$ under the assumption that delta is a singular limit of Berkeley cardinals each of which is itself limit of extendible cardinals, lifting some of the theory of the large cardinal axiom I0 to a more general level. Finally, I will discuss the role of Berkeley cardinals within Woodin’s ultimate project of attaining a “definitive” description of the universe of set theory.

    Hide abstract.


Hide 2017.

Logic Working Group

Upcoming:

TBA

Past:

  • June 23rd, 2023, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    M. Bailetti (Wesleyan University) "Dividing lines and notions of maximality in first-order theories".

    Abstract.

    In the classification of first-order theories, many “dividing lines” have been defined in order to understand the complexity and the behavior of some classes of theories. These classes are usually defined by forbidding some specific configurations of definable subsets. In this talk, we define the principal dividing lines and we introduce some notions of maximal complexity by requesting the presence of all the possible combinatorial patterns of definable sets.

    Hide abstract.

  • May 26th, 2023, 16.00-17.00 (Online on Webex)

    S. Maschio (University of Padua) "Implicative algebras, categories of assemblies and intuitionistic set theory".

    Abstract.

    Implicative algebras were introduced by A. Miquel to provide a common foundation for forcing and realizability interpretations of logical operators. Every implicative algebra gives rise to a tripos and Miquel proved that every tripos based on Set is in fact isomorphic to one coming from an implicative algebra. Thus, implicative algebras can be understood as elementary algebraic counterparts of triposes over Set. We will show how this fact can be used to analyze from a different perspective some categories of assemblies which can be defined from an arbitrary tripos over Set. Moreover, we will show how one can use implicative algebras to produce models of intuitionistic set theory in a wide class of elementary toposes.
    This is partially a joint work in progress with Davide Trotta.

    Hide abstract.

  • May 12th, 2023, 16.00-17.00 (Sala Riunioni, DMIF, Udine)

    A. Volpi (University of Udine) "Reverse mathematics and dimension of posets" (Slides).

    Abstract.

    There are many different parameters used in order theory to describe a poset. Perhaps one of the most interesting is the dimension which is the least number of linearizations that allow us to recover the poset itself. With such definition, linearly ordered sets have dimension 1 as one would expect. More surprisingly, antichains have dimension 2. In this talk I will introduce Order Theory and I will state bounding theorems about the dimension of posets with many examples. As we will see, typical bounding theorems state that if we remove a point from a poset the dimension can decrease at most by one, while if we remove a chain the dimension can decrease at most by two. We are interested mostly in studying from the point of view of Reverse Mathematics bounding theorems of this kind. Recently we were able to prove that the second bounding theorem mentioned above is equivalent to WKL. This is joint work with Alberto Marcone and Marta Fiori-Carones.

    Hide abstract.

  • April 28th, 2023, 16.00-17.00 (Online on Webex)

    M. Ng (Queen Mary University of London) "Foundations in non-Archimedean & arithmetic geometry: topology vs. set theory" (Slides).

    Abstract.

    What is a space?
    In classical point-set topology, one defines a space by taking a set of elements before defining the topology on it in the usual way. By contrast, in locale theory, the basic unit for defining a space is not the underlying set of points but the opens. Topos theory extends this perspective, and says: a space is a universe whose points correspond to models of a geometric theory.
    The differences between these perspectives brings into focus two key foundational questions: (i) What is the role of set theory in topology? (ii) What are the consequences of working classically, rather than intuitionistically?
    This talk will discuss a couple of illustrating examples from recent work. The first example involves using point-free techniques to sharpen a foundational result in Berkovich geometry, showing that algebraic hypotheses imposed by the classical mathematician (e.g. requiring that the base field \(K\) be non-trivially valued) are sometimes in fact point-set hypotheses, and are thus inessential to the underlying mathematics. The second example, from joint work with Steve Vickers, involves classifying the places of \(\mathbb{Q}\) via geometric logic. The big surprise is that, working geometrically, one discovers that the Archimedean place corresponds to a blurred unit interval — by contrast, the Archimedean place has always been classically regarded as a singleton (by number theorists). Aside from raising urgent questions for the foundations of arithmetic geometry, this result also illustrates an interesting moral: sometimes, working classically results in a serious loss of information that is only visible when looked at from the intuitionistic perspective.

    Hide abstract.

  • April 14th, 2023, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    S. Scamperti (University of Turin) "Continuous injective reduction on a zero-dimensional Polish space".

    Abstract.

    We talk about the continuous injective reduction on a zero-dimensional Polish space and the continuous injective quasi-order between Polish spaces. This is a work in progress joint with Raphaël Carroy.

    Hide abstract.

  • March 24th, 2023, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    M. Viale (University of Turin) "Topological maximality vs algebraic maximality in set theory".

    Abstract.

    A topological approach to forcing axioms considers them as strong forms of the Baire category theorem; an algebraic approach to them describes certain properties of “algebraic closure” for the universe of sets that can be derived from them. Our goal is to connect the geometric and algebraic points of view.

    Hide abstract.

  • March 10th, 2023, 16.00-17.00 (Online on Webex)

    D. Leonessi (Graduate Center of the City University of New York) "Strategy and determinacy in infinite Hex" (Slides).

    Abstract.

    The game of Hex can be extended to the infinite hexagonal lattice, defining a winning condition which formalises the idea of a chain of coloured stones stretching towards infinity. The descriptive-set-theoretic complexity of the set of winning positions is unknown, although it is at most \(\Sigma^1_1\), and it is conjectured to be Borel; this has implications on whether games of infinite Hex are determined from all initial positions as either first-player wins or draws.
    Unlike the finite game, infinite Hex with an initially empty board is a draw. But is the game still a draw when starting from a non-empty board? This open question can be partially answered in the positive by assuming the existence of certain local strategies, and in the negative by giving the advantage of placing an extra stone at each turn to one of the players. This is joint work with Joel David Hamkins.

    Hide abstract.

  • January 20th, 2023, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    C. Agostini (University of Turin) "A characterization of metrizability through games" (Slides).

    Abstract.

    The quest for characterizing metrizability has always risen a lot of interest, leading to results such as Urysohn metrization theorem, Nagata-Smirnov metrization theorem, Arhangel'skij metrization theorem… Most of these theorems characterize metrizability in terms of the existence of a basis for the topology with particularly nice properties.
    Metrizability has a natural generalization that occurs when the usual range of the metric \(\langle \mathbb{R}, +, 0, \leq \rangle\) is replaced by another structure \(\mathbb{G}=\langle G, +_{\mathbb{G}}, 0_{\mathbb{G}}, \leq_{\mathbb{G}} \rangle\). \(\mathbb{G}\)-metrics have been widely studied as well (both in general topology and, more recently, for their applications in generalized descriptive set theory), and most characterizations of metric spaces extend nicely to \(\mathbb{G}\)-metrics as well.
    In this talk, I will present a (hopefully) new characterization of both metrizability and \(\mu\)-metrizability of a slightly different fashion: we characterize metrizability in terms of a topological game. These results are part of a joint work with Luca Motto Ros.

    Hide abstract.

Expand 2022
Hide 2022.
  • December 16th, 2022, 16.00-17.00 (Sala Orsi, Palazzo Campana, Torino)

    J. Santiago (Université Paris Cité) "Boolean valued semantics for infinitary logics" (Slides).

    Abstract.

    This is joint work with Matteo Viale. It is well known that the completeness theorem for $L_{\omega_1\omega}$ fails with respect to Tarski semantics. Mansfield showed that it holds for $L_{\kappa\kappa}$ if one replaces Tarski semantics with boolean valued semantics. I'll talk about using forcing to improve his result in order to obtain a stronger form of boolean completeness (but only for $L_{\kappa\omega}$). Leveraging on this completeness result, one can establish the Craig interpolation property and a strong version of the omitting types theorem for $L_{\kappa\omega}$ with respect to boolean valued semantics. I'll also present a weak version of these results for the general case $L_{\kappa\lambda}$ (if one leverages instead on Mansfield's completeness theorem). All this work is based on the key notion of consistency property.

    Hide abstract.

  • November 25th, 2022, 16.00-17.00 (Aula 715, DIMA, Genova)

    G. Coraglia (University of Genoa) "A theory of fuzzy types" (Slides).

    Abstract.

    We introduce a fuzzy type theory and its calculus in order to model opinions. We begin revisiting a classical correspondence between type theories and display map categories, then move to the enriched setting so that we can account for different degrees of belief in a given argument. Finally, we write new rules taking into account the fuzziness, and prove completeness and validity for such a calculus. This is a work in progress and the first part of a project for the Adjoint School of 2022, it is joint with S. Arya, P. North, S. O’Connor, H. Reiss, and A. L. Tenório.

    Hide abstract.

  • November 11th, 2022, 17.00-18.00 (Aula 3, Palazzo Campana, Torino)

    B. Degasperi (University of Turin) "Equational theories" (Slides).

    Abstract.

    The aim of this talk is to present equational theories. Definable sets are the main objects of study in model theory. In many theories, such as algebraically closed fields and vector spaces, there is a family of sets with tame properties such that all the definable sets of the theory are a finite Boolean combination of these sets. Equationality is a generalisation of this concept. We start defining the notion of equations. Then we show that it is stronger than stability and the connection with indiscernible closure. We conclude with some examples.

    Hide abstract.

  • October 28th, 2022, 16.00-17.00 (Aula 714, DIMA, Genova)

    F. Dagnino (University of Genoa) "Quantitative equality in substructural logic".

    Abstract.

    Equality in First Order Logic is fairly well understood: from a syntactic point of view it can be characterised as a binary predicate forced to be reflexive and substitutive, and from a categorical perspective, following Lawvere, it can be described in terms of left adjoints. This story can be easily rephrased in the context of predicate Linear Logic, however, this smooth approach has an unexpected consequence: equality can be used an arbitrary number of times. This fact is not desirable in a substructural setting where one aims at controlling the use of resources. Moreover, it does not allow a quantitative interpretation of equality, for instance, as a distance.
    In this talk, we explore a novel approach to equality in substructural logic based on graded modalities. These modalities allow us to explicitly model resources inside the language, describing how much a formula can be used. In this way, we manage to control the use of equality, thus enabling its quantitative interpretation. We develop this approach using the categorical language of Lawvere's doctrines and having as main example metric spaces with Lipschitz maps. We also present a deductive calculus for (fragments of) predicate Linear Logic with this quantitative equality and its sound and complete categorical semantics. Finally, we describe a universal construction producing models of quantitative equality starting from models of (fragments of) Linear Logic with graded modalities.
    This is joint work with Fabio Pasquali presented at LICS 2022.

    Hide abstract.

  • June 17th, 2022, 11.00-13.00 (Online on Webex)

    R. Mennuni (University of Pisa) "Model theory of ordered abelian groups" (Slides).

    Abstract.

    The first part of this talk will be a survey of the state of the art in the model theory of ordered abelian groups, with emphasis on quantifier elimination. In the second part, I will present current work in progress of myself and Jan Dobrowolski, focused on "generic" automorphisms of ordered abelian groups and of ordered real vector spaces.

    Hide abstract.

  • April 29th, 2022, 16.00-17.00 (Sala Riunioni, DMIF, Udine)

    M. Iannella (University of Udine) "Embeddings of countable linear orders".

    Abstract.

    In this talk we recall the relations of embeddability and convex embeddability on the set \(\mathsf{LO}\) of countable linear orders. We extend the notion of convex embeddability providing a family of quasi-orders on \(\mathsf{LO}\) of which embeddability is a particular case as well. We study these quasi-orders from a combinatorial point of view and analyse their complexity with respect to Borel reducibility, highlighting differences and analogies with embeddability and convex embeddability.

    Hide abstract.

  • April 22nd, 2022, 16.00-18.00 (Sala Riunioni, DMIF, Udine)

    S. Thei (University of Udine) "The geology of pseudo-grounds" (Slides).

    Abstract.

    Four decades after the invention of forcing, Laver and independently Woodin answered one of the most natural questions regarding forcing. Is the ground model definable in its forcing extensions? Surprisingly, it turns out that the ground models of a given set-theoretic universe are uniformly definable. Fuchs, Hamkins and Reitz used this result to establish the formal foundations for set-theoretic geology that reverses the forcing construction by studying what remains from a model of set theory once the layers created by forcing are removed. Such a switch in perspective leads to another interesting question. Is the universe itself a nontrivial forcing extension of a smaller model? Reitz addressed the issue and introduced the Ground Axiom (the precursor to set-theoretic geology) which asserts that the universe is not obtained by forcing over any strictly smaller model.
    This talk is about some types of inner models which are defined following the paradigm of “undoing” forcing. For example, a bedrock is a ground satisfying the Ground Axiom and the mantle is the intersection of all grounds. Once the main geological notions are in place, we will introduce inner models with the cover and approximation properties called pseudo-grounds. In particular, we will consider some generalizations of classical results to the context of class forcing and pseudo-grounds.

    Hide abstract.

  • February 25th, 2022, 16.00-18.00 (Sala Riunioni, DMIF, Udine)

    V. Cipriani (University of Udine) "The (induced) subgraph problem in the Weihrauch lattice" (Slides).

    Abstract.

    In this talk we study principles related to the (induced) subgraph problem using Weihrauch reducibility. Such problems are well studied in finite complexity theory, but they can be naturally generalized to the infinite case. After a brief introduction on computable analysis and Weihrauch reducibility, we solve some open questions in a recent article of BeMent, Hirst and Wallace. Here the authors studied the Weihrauch degrees of problems (that in this talk we denote by \(\mathsf{FindSG}_G\) and \(\mathsf{FindIndSG}_G\) respectively) that, given in input a computable graph \(H\), output \(1\) if \(G\) is an (induced) subgraph of \(H\). The authors proved that for a computable non-empty graph \(\mathsf{LPO}\leq_\mathrm{W}\mathsf{FindIndSG}_G\leq_\mathrm{W}\mathsf{WF}\), leaving open the question whether there is a graph \(G\) such that \(\mathsf{FindIndSG}_G\) lies strictly in between them. We will negatively answer this question and improve their results about the subgraph decision problems.
    We then introduce strictly related principles. Such principles, given in input a computable graph \(H\) having \(G\) as an (induced) subgraph, output an isomorphic copy of \(G\). We will show how these relates with well-studied principles in the Weihrauch lattice.
    This is a joint work with Arno Pauly (Swansea University).

    Hide abstract.

  • February 18th, 2022, 16.00-18.00 (Online on Webex)

    T. Marinov (University of Turin) "Is forcing enough?".

    Abstract.

    Would set-theorists miss out on a lot if they didn't care about other methods for constructing models of Set Theory and only used forcing? In this talk I will sketch out a line of reasoning I follow in my thesis, under the supervision of Prof. Matteo Viale, in the pursuit of a more rigorous answer to a formalized aspect of the question of how powerful forcing is. The goal is to argue that a rich class of models of set theory are accessible through forcing from easily accessible standard structures — of the form \(H_\delta\).

    Hide abstract.

  • February 11th, 2022, 16.00-17.00 (Online on Webex)

    D. Castelnovo (University of Udine) "Fuzzy algebraic theories" (Slides).

    Abstract.

    In this seminar I will present a join work with my supervisor Marino Miculan (see arXiv:2110.10970). I'll present a formal system for fuzzy algebraic reasoning: this sequent calculus is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. I'll provide a sound semantics for this calculus and show that there is a notion of free model for any theory in this system, allowing us (with some restrictions) to recover models as Eilenberg-Moore algebras for some monad. I will also prove a completeness result: a formula is derivable from a given theory if and only if it is satisfied by all models of the theory. Finally, if possible, I'll show how to use some results by Milius and Urbat to give an HSP-like characterizations of subcategories of algebras which are categories of models of particular kinds of theories.

    Hide abstract.

  • January 28th, 2022, 16.00-18.00 (Aula 4, Palazzo Campana, Torino)

    D. Quadrellaro (University of Helsinki) "Compactness and types in team semantics".

    Abstract.

    Team Semantics was introduced by Hodges as a generalisation of the standard Tarski's semantics of first order logic. While in the usual first-order model theory free variables are interpreted via assignments, in team semantics they are interpreted via teams, i.e. set of assignments. This framework was employed by Jouko Väänänen to introduce and develop dependence logic and related formalisms — inclusion logic, independence logic, etc. — which extend first order logic by suitable atoms. In this talk, I shall introduce the underlying ideas of team semantics and focus on some open problems in the model theory of (in)dependence logic. Firstly, I will present a novel proof of the compactness of (in)dependence logic, which strengthens previous results by Kontinen, Yang and Väänänen. Secondly, I will introduce types in team semantics and dependence logic and prove some preliminary results about the topological space of types of dependence logic. This is a joint work-in-progress with Joni Puljujärvi.

    Hide abstract.

  • January 21st, 2022, 16.00-17.00 (Aula 4, Palazzo Campana, Torino)

    L. Notaro (University of Turin) "Tree representations for Borel functions" (Slides).

    Abstract.

    In 2009 Brian Semmes, in his PhD thesis, provided a characterization of Borel measurable functions from and into the Baire space using a reduction game called the Borel game. Around the same year, Alain Louveau wrote some (still unpublished) notes in which he provided a characterization of Baire class $\alpha$ functions (again from and into the Baire space), for all fixed $\alpha$ and, importantly, $\boldsymbol{\Sigma}_\lambda^0$-measurable functions for $\lambda$ countable limit, using tree-representations instead of games. In this talk, we present Louveau's characterization, comparing it with Semmes' one, and see that if we modify a bit the Borel game we end up characterizing functions having a $G_\delta$ graph. Then we notice that under $\mathrm{AC}$ there are functions for which the Borel game is undetermined, thus opening questions regarding the consistency strength of the general determinacy of this game.

    Hide abstract.


Hide 2022.
Expand 2021
Hide 2021.
  • October 29th, 2021, 16.00-18.00 (Aula 4, Palazzo Campana, Torino)

    B. Pitton (University of Lausanne) "Borel and Borel$^*$ sets in Generalized Descriptive Set Theory " (Slides).

    Abstract.

    Generalized descriptive set theory (GDST) aims at developing a higher analogue of classical descriptive set theory in which $\omega$ is replaced with an uncountable cardinal $\kappa$ in all definitions and relevant notions. In the literature on GDST it is often required that $\kappa^{<\kappa}=\kappa$, a condition equivalent to $\kappa$ regular and $2^{<\kappa}=\kappa$. In contrast, in this talk we use a more general approach and develop in a uniform way the basics of GDST for cardinals $\kappa$ still satisfying $2^{<\kappa}=\kappa$ but independently of whether they are regular or singular. This allows us to retrieve as a special case the known results for regular $\kappa$, but it also uncovers their analogues when $\kappa$ is singular. We also discuss some new phenomena specifically arising in the singular context (such as the existence of two distinct yet related Borel hierarchies), and obtain some results which are new also in the setup of regular cardinals, such as the existence of unfair Borel$^*$ codes for all Borel$^*$ sets.

    Hide abstract.

  • October 22nd, 2021, 16.00-17.00 (Aula 4, Palazzo Campana, Torino)

    E. Colla (University of Turin) "Words and other words" (Slides).

    Abstract.

    We gently review some definitions and theorems regarding the free semigroup of words, from two different areas: automata theory and Ramsey theory. Our recent results in Ramsey theory hint at a possible connection between two classes of monoids introduced by Solecki and "[the second] most important result of the algebraic theory of automata" (J. E. Pin). While this possibility is still vague, it seems exciting enough to be investigated. As far as prerequisites are concerned, most of this talk could be followed by anyone having a bachelor in mathematics. Based on a joint work with Claudio Agostini.

    Hide abstract.

  • October 15th, 2021, 16.00-18.00 (Aula 4, Palazzo Campana, Torino)

    S. Scamperti (University of Turin) "A complete picture of the Wadge Hierarchy in 0-dimensional Polish space", part 2.

    Abstract.

    Wadge reducibility is a very important tool in descriptive set theory. On 0-dimensional Polish spaces it yields a nice hierarchy and very studied by results of Wadge, Martin, Monk, Andretta, Louveau, Duparc, Carroy, Medini, Müller, Motto Ros, and others. On Cantor space and Baire space the Wadge hierarchy has some different behaviors, one of those on countable degree. Namely countable degree on Cantor space are non selfdual classes, while on Baire space they are selfdual classes. This phenomenon arise a question: what happens in general 0-dimensional Polish spaces? We will answer this question with the notion of compactness degree for a 0-dimensional Polish space and see that infinitely different many cases can be realized on 0-dimensional Polish spaces.

    Hide abstract.

  • October 8th, 2021, 16.00-17.00 (Aula 4, Palazzo Campana, Torino)

    S. Scamperti (University of Turin) "A complete picture of the Wadge Hierarchy in 0-dimensional Polish space", part 1 (Slides).

    Abstract.

    Wadge reducibility is a very important tool in descriptive set theory. On 0-dimensional Polish spaces it yields a nice hierarchy and very studied by results of Wadge, Martin, Monk, Andretta, Louveau, Duparc, Carroy, Medini, Müller, Motto Ros, and others. On Cantor space and Baire space the Wadge hierarchy has some different behaviors, one of those on countable degree. Namely countable degree on Cantor space are non selfdual classes, while on Baire space they are selfdual classes. This phenomenon arise a question: what happens in general 0-dimensional Polish spaces? We will answer this question with the notion of compactness degree for a 0-dimensional Polish space and see that infinitely different many cases can be realized on 0-dimensional Polish spaces.

    Hide abstract.

  • April 9th, 2021, 11.00-13.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 9.

    Abstract.

    TBA

    Hide abstract.

  • March 26th, 2021, 11.00-13.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 8.

    Abstract.

    TBA

    Hide abstract.

  • March 19th, 2021, 11.00-13.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 7.

    Abstract.

    Uniformization and Basis results

    Hide abstract.

  • March 5th, 2021, 11.00-13.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 6.

    Abstract.

    Scales and uniformization for Pi_1^1 sets

    Hide abstract.

  • February 25th, 2021, 09.00-11.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 5.

    Abstract.

    Some consequences of the Parametrization Theorem (2)

    Hide abstract.

  • February 18th, 2021, 09.00-11.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 4.

    Abstract.

    Some consequences of the Parametrization Theorem (1)

    Hide abstract.

  • February 11th, 2021, 09.00-11.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 3.

    Abstract.

    Universal sets and Parametrization Theorems for Delta_1^1

    Hide abstract.

  • February 4th, 2021, 09.00-11.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 2.

    Abstract.

    Norms and (easy) uniformization for Pi_1^1 sets

    Hide abstract.

  • January 28th, 2021, 09.00-11.00 (Online)

    V. Cipriani (Udine) "Reading seminar on Effective Descriptive Set Theory", part 1.

    Abstract.

    Basic notions of EDST and Representation Theorem for Pi_1^1 sets

    Hide abstract.


Hide 2021.
Expand 2020
Hide 2020.
  • May 22nd, 2020, 16.30-18.30 (Online)

    M. Valenti (Udine) "The complexity of closed Salem sets".

    Abstract.

    A central notion in geometric measure theory is the one of Hausdorff dimension. As a consequence of Frostman's lemma, the Hausdorff dimension of a Borel subset A of the Euclidean n-dimensional space can be determined by looking at the behaviour of probability measures with support in A. The possibility to apply methods from Fourier analysis to estimate the Hausdorff dimension gives birth to the notion of Fourier dimension. It is known that, for Borel sets, the Fourier dimension is less than or equal to the Hausdorff dimension. The sets for which the two notions agree are called Salem sets. In this talk we will study the descriptive complexity of the family of closed Salem subsets of [0,1], [0,1]^n and of the n-dimensional Euclidean space.

    Hide abstract.

  • May 15th, 2020, 16.30-17.30 (Online)

    M. Iannella (Udine) "The G_0 dichotomy".

    Abstract.

    Dichotomy theorems have always played a fundamental role in set theory, and for many decades the way to prove them was akin to the proof of Cantor-Bendixson theorem, i.e., derivative arguments. This changed in the early 1970s, when Silver proved the Silver dichotomy using sophisticated techniques borrowed from the theory of forcing and from effective descriptive set theory, ushering in a new era of dichotomy proofs. Around ten years ago, Ben Miller took upon himself to reverse back this development and to find proofs of these new results that do not rely on forcing and effective arguments, but just the good old derivative ones. The key for this is switching from equivalence relations to graphs The result of this research is a handful of dichotomies at the core of descriptive set theory that prove many other ones, with classical "easy" proofs, the most important of them being the G_0 dichotomy.

    Hide abstract.

  • April 3rd, 2020, 14.30-16.30 (Online)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 7.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.

  • March 27th, 2020, 14.30-16.30 (on-line)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 6.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.

  • March 20th, 2020, 14.30-16.30 (on-line)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 5.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.

  • March 20th, 2020, 11.00-12.00 (on-line)

    S. Tamburlini (Udine) "Reverse mathematics of Second Order set theory".

  • March 13th, 2020, 14.30-16.30 (on-line)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 4.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.

  • February 21st, 2020, 14.00-16.00 (DMIF, Aula multimediale)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 3.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.

  • February 14th, 2020, 14.00-16.00 (DMIF, Sala Riunioni)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 2.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.

  • February 6th, 2020, 14.30-16.30 (DMIF, Sala Riunioni)

    M. Valenti (Udine) "Finding descending sequences in an ill-founded linear order", part 1.

    Abstract.

    We will explore the computational content of the problem "given an ill-founded linear order, find an infinite descending sequence" from the point of view of Weihrauch reducibility. The talk will cover the background notions on Weihrauch reducibility. The results are joint work with Jun Le Goh and Arno Pauly.

    Hide abstract.


Hide 2020.
Expand 2019
Hide 2019.
  • December 10th, 2019, 16.30-18.00 (DMIF, Sala Riunioni)

    M. Fiori Carones (Udine) "An On-Line Algorithm for Reorientation of Graphs".

  • November 27th, 2019, 08.30-10.00 (DMIF, Sala Riunioni)

    M. Iannella (Udine) "On the classification of wild Proper Arcs and Knots ", part 2.

    Abstract.

    In this talk we analyze the complexity of some classification problems for proper arcs and knots using Borel reducibility. We prove some anticlassification results by adapting a recent result of Kulikov on the classification of wild proper arcs/knots up to equivalence. Moreover, we prove various new results on the complexity of the (oft-overlooked) sub-interval relation between countable linear orders, showing in particular that it is at least as complicated as the isomorphism relation between linear orders.

    Hide abstract.

  • November 20th, 2019, 14.30-16.30 (DMIF, Sala Riunioni)

    M. Iannella (Udine) "On the classification of wild Proper Arcs and Knots ", part 1.

    Abstract.

    In this talk we analyze the complexity of some classification problems for proper arcs and knots using Borel reducibility. We prove some anticlassification results by adapting a recent result of Kulikov on the classification of wild proper arcs/knots up to equivalence. Moreover, we prove various new results on the complexity of the (oft-overlooked) sub-interval relation between countable linear orders, showing in particular that it is at least as complicated as the isomorphism relation between linear orders.

    Hide abstract.


Hide 2019.
Expand 2018
Hide 2018.
  • October 12th, 2018, 14.00-15.30 (DMIF, Sala Riunioni)

    E. Lena (Udine) "I sistemi assiomatici di Tarski per la geometria".


Hide 2018.
Expand 2017
Hide 2017.
  • June 28th, 2017, 10.00-11.30 (DMIF, Aula multimediale)

    M. Fiori Carones (Udine) "Espressività -in termini di classi di complessita' "catturate"- dei linguaggi logici per la rappresentazione della conoscenza".


Hide 2017.