Equipe(s) | Responsable(s) | Salle | Adresse |
---|---|---|---|
Logique Mathématique |
S. Anscombe, V. Bagayoko, D. Basak, H. Fournier, A. Vignati |
1013 | Sophie Germain |
Orateur(s) | Titre | Date | Début | Salle | Adresse | Diffusion | ||
---|---|---|---|---|---|---|---|---|
+ | Matthieu Joseph | Representation theory for the automorphism groups of some non-omega categorical homogeneous structures | 17/02/2025 | 15:45 | 1013 | Sophie Germain | ||
For a countable homogeneous structure M, a natural question in representation theory is the classification of unitary representations of the topological group Aut(M). This question was completely answered by Tsankov for ω-categorical structures. In joint work with R. Barritault and C. Jahel, we generalize this result and go beyond ω-categoricity by addressing structures such as the integral/rational Urysohn space and the integral/rational universal diversity. No background knowledge of representation theory will be assumed for this talk. |
![]() |
Orateur(s) | Titre | Date | Début | Salle | Adresse | ||
---|---|---|---|---|---|---|---|
+ | Léo Jimenez | Internality of autonomous differential equations | 10/02/2025 | 15:45 | |||
When solving a differential equation, one sometimes finds that solutions can be expressed using a finite number of fixed, particular solutions. As an example, the set of solutions of a linear differential equation is a finite-dimensional complex vector space. This is an incarnation of the model-theoretic phenomenon of internality to the constants in a differentially closed field of characteristic zero. In this talk, I will discuss some recent progress, joint with Christine Eagles, on finding methods to determine whether or not the solution set of a differential equation is internal. A corollary of our method also gives a criteria for solutions to be orthogonal to the constants, and in particular not Liouvillian. I will show a concrete application to Lotka-Volterra systems. |
![]() | ||||||
+ | Adele Padgett | O-minimality and analysis | 03/02/2025 | 15:45 | |||
O-minimality is a natural tameness condition for ordered structures. A lot of attention has been focused on o-minimal expansions of the real field because analysis is well-behaved in this setting and stronger versions of many classical theorems can be proved. In this talk, I will discuss discuss joint work with P. Speissegger on certain complex analytic functions definable in o-minimal expansions of the real field. |
![]() | ||||||
+ | Andreas Lietz | The Model Theoretic Covering Reflection Number | 27/01/2025 | 15:45 | |||
A structure $A$ covers a structure $B$ if every point of $B$ is contained in the range of an elementary embedding $j:A\rightarrow B$. The covering reflection property holds at a cardinal $\kappa$ if every structure in a countable language is covered by a structure of size less than $\kappa$. We discuss this property and show that the least cardinal with this property is a new type of large cardinal very high up in the large cardinal hierarchy. This is joint work with Hamkins, Hou and Schlutzenberg. |
![]() | ||||||
+ | Ulla Karhumäki | Finite-dimensional pseudofinite groups of small dimension | 20/01/2025 | 15:45 | |||
A simple group is pseudofinite if and only if it is isomorphic to a (twisted) Chevalley group over a pseudofinite field. This celebrated result mostly follows from the work of Wilson in 1995 and heavily relies on the classification of finite simple groups (CFSG). It easily follows that any simple pseudofinite group G is finite-dimensional. In particular, if dim(G) = 3 then G is isomorphic to PSL(2,F) for some pseudofinite field F. In this talk, we describe the structure of finite-dimensional pseudofinite groups with dimension < 4, without using CFSG. Our results in particular prove the classification G=PSL(2,F) from the above without CFSG. This is joint work with Frank Wagner. |
![]() | ||||||
+ | Claudio Agostini | What we (do not) know about metrics | 06/01/2025 | 15:45 | |||
Metrizable spaces are among the oldest and most prominent concepts in numerous areas of mathematics. Consequently, many of their properties are well-known. |
![]() | ||||||
+ | Jonathan Schilhan | Intermediate models and Kinna-Wagner degrees | 16/12/2024 | 15:45 | |||
The discovery of forcing in the 60's revolutionized set theory by providing a flexible and controlled way to extend models of Zermelo-Fraenkel (ZF). While not every extension is literally obtained by forcing, there is a strong sense in which it pivotal in understanding the structure of models as a whole. One remarkable result for instance is that, in the sense of forcing, every model of ZFC is close to its inner model of hereditarily ordinal definable sets (HOD). Another one is the Intermediate Model Theorem which states that any model of ZFC, intermediate to a "ground model" and one of its forcing extensions, is itself a forcing extension of such ground. This completely fails if we only assume ZF instead (i.e. set theory without the Axiom of Choice). Can something still be said? It turns out that the answer is related to a particular class of choice principles, of which its easiest form was introduced by Kinna and Wagner in the 50's, which gives a full picture of the situation. The goal of our talk is to present these results, by giving all necessary details to understand what they mean to a general logic audience. This is joint work with A. Karagila. |
![]() | ||||||
+ | Martina Iannella | Classification of 3-manifolds | 09/12/2024 | 15:45 | |||
A classification problem consists of a set of mathematical objects equipped with some natural equivalence relation; a solution to such a problem is an assignment of complete invariants. In this talk we consider the problem of classifying 3-manifolds up to homeomorphism from the perspective of descriptive set theory. We briefly discuss the framework of Borel reducibility, a standard tool for comparing the complexity of different classification problems, and present our recent result which determines the exact complexity of the classification of non-compact 3-manifolds up to homeomorphism. This is joint work in progress with Vadim Weinstein (Oulu). |
![]() | ||||||
+ | Anatole Khelif | Un groupe pseudo fini de type fini est il fini? | 02/12/2024 | 15:45 | |||
Après un bref rappel historique. Nous présenterons le résultat suivant. Tout groupe de type fini elementairement équivalent à un ultraproduit de groupes alternes est fini. Puis nous enoncerons sans démonstration un résultat de Wilson sur des groupes elementairement équivalents à un ultraproduit de $\operatorname{PSL}(n,K)$ ou de $\operatorname{PSp}(2n,K)$. Enfin nous proposerons une stratégie d attaque pour tous les groupes de type fini elementairement équivalent à un ultraproduit degroupes finis simples. |
![]() | ||||||
+ | Colin Jahel | Quand l'invariance implique l'échangeabilité (et une application pour les mesures de Keisler invariantes) | 25/11/2024 | 15:45 | |||
Soit $M$ une structure. Notre travail se concentre sur l'étude des actions du groupe d'automorphismes de $M$ sur les espaces de ses expansions, plus précisément, sur l'étude des mesures de probabilité invariantes sous cette action. En particulier, nous cherchons à comprendre quand cette invariance sous $\operatorname{Aut}(M)$ implique que la mesure soit invariante sous l'action de $\mathfrak{S}_{\infty}$. Nous obtenons une classification élégante pour de nombreuses structures classiques. Enfin, nous relions cela aux mesures de Keisler invariantes, en montrant que, pour de nombreuses structures, elles doivent être invariantes sous l'action de $\mathfrak{S}_{\infty}$. Nous utilisons ce résultat pour illustrer la différence entre deux notions de petitesse pour les formules : celle de forking et celle d'être universellement de mesure nulle. |
![]() | ||||||
+ | Rémi Guénet | Quasianalytic classes with weakly smooth germs | 18/11/2024 | 15:45 | |||
This talk is based on my master's thesis which was supervised by Tamara Servi. Quasianalytic classes are classes of functions that behave like analytic functions. Since work of Rolin, Speissegger and Wilkie in 2003, it has been known that such classes generate o-minimal structures. Furthermore, all such structures have a property known as smooth cell-decomposition. In this talk, we weaken the hypotheses on quasianalytic classes to allow weakly smooth germs in order to obtain o-minimal structures without smooth cell-decomposition.
|
![]() | ||||||
+ | Adam Bartoš | Constructing compacta from relations between finite graphs | 12/11/2024 | 16:00 | |||
In this joint work with Tristan Bice and Alessandro Vignati we develop a method of constructing metrizable compact spaces with a prescribed combinatorial basis – as a spectrum of a given ω-poset. Furthermore we construct ω-posets from inverse sequences of relational morphisms between finite graphs, and in particular from Fraïssé sequences in appropriate categories of graphs. This gives an alternative approach to classical projective Fraïssé theory when realizing continua like the Lelek fan or the pseudo-arc as Fraïssé limits. |
![]() | ||||||
+ | Elliot Kaplan | Constant power maps on Hardy fields and transseries | 04/11/2024 | 15:45 | |||
We study H-fields (certain ordered differential fields generalizing Hardy fields and transseries) equipped with "constant power maps". We show that this class has a model companion, the models of which include the field of LE-transseries and any maximal Hardy field. We study the induced structure on the constant field, prove a relative decidability result, and give some applications to certain systems of differential equations. |
![]() | ||||||
+ | Scott Mutchnik | The Koponen conjecture | 21/10/2024 | 15:45 | |||
This is on joint work with John Baldwin and James Freitag. One of the central projects of model theory, initiated by Shelah in his book "Classification Theory," is to classify unstable first-order theories. As part of this program, Koponen proposes to classify simple homogeneous structures, such as the random graph. More precisely, she conjectures (2016) that all simple theories with quantifier elimination in a finite relational language are supersimple of finite rank, and asks (2014) whether they are one-based. In this talk, we discuss our resolution of the Koponen conjecture, where we show that the answer to this question is yes. In the process, we further demonstrate the influence of the semantic on the syntactic. |
![]() | ||||||
+ | Sam Van Gool | Propositional quantifiers, model completions, and open mappings | 14/10/2024 | 15:45 | |||
The starting point of this talk is a theorem of A. Pitts on encoding propositional quantifiers inside intuitionistic logic. I will explain Pitts' result, and a proof of it via an open mapping theorem between certain topological spaces [1]. I will further discuss how to compute propositional quantifiers in practice [2], and how all this relates to model completions [3]. References: [1] S. v. Gool and L. Reggio, An open mapping theorem for finitely copresented Esakia spaces, Topology and its Applications 240, 69-77 (2018) [2] H. Férée and S. v. Gool, Formalizing and Computing Propositional Quantifiers, Conference on Programs and Proofs (2023) [3] S. v. Gool, G. Metcalfe, and C. Tsinakis, Uniform interpolation and compact congruences, Annals of Pure and Applied Logic 168, 1927-1948 (2017) |
![]() | ||||||
+ | Alexi Block Gorman | k-Automatic subsets of the natural numbers: when does one "define" the others? | 07/10/2024 | 15:45 | |||
Given a set \(A\) of natural numbers that are \(k\)-automatic (i.e., their base-\(k\) representations are recognized by some finite automaton) but not definable in \((\mathbb{N},+)\), call A minimal if for any k-automatic set of natural numbers \(B\), the structure \((\mathbb{N},+,B)\) includes \(A\) as a definable set. Conversely, say that \(A\) is maximal if for any such \(B\), the structure \((\mathbb{N},+,B)\) includes \(B\) in its definable sets. In this talk, we will establish that every \(k\)-automatic subset of the naturals is either minimal or maximal, and will further characterize both classes of \(k\)-automatic sets. We will discuss the analogous theorem in higher arities, and the consequences of this definability dichotomy. |
![]() | ||||||
+ | Calliope Ryan-Smith | The Hartogs–Lindenbaum Spectrum | 30/09/2024 | 15:45 | |||
In ZF without the Axiom of Choice, our normal measurement of the "size" of a set, the least ordinal in bijection with that set, breaks down. We will explore two rough alternatives to this measurement: the Hartogs and Lindenbaum numbers. |
![]() | ||||||
+ | Daniel Miller | Desingularization and the Model Theory of Quasianalytic Classes | 03/06/2024 | 15:15 | |||
This talk discusses the model theory of expansions of the real field by families of functions from quasianalytic classes, with a model completeness construction of Rolin, Speissegger, and Wilkie (J. Am. Math. Soc., vol. 16, no. 4, 2003) playing a central role. This construction is comprised of three ingredients: (1) local desingularization, (2) fiber cutting, and (3) a general theorem of the complement based on the ``Gabrielov property''. Without getting into much technical detail of these three ingredients, part of my aim in this talk is to explain the utility of replacing the noninvariant (local) desingularization procedure in the original proof with an invariant (global) desingularization procedure that keeps track of parameters in a natural way and to develop some of the basic properties of these quasianalytic classes upon which such a desingularization procedure is based. |
![]() | ||||||
+ | Salma Kuhlmann | The automorphism group of a valued field | 27/05/2024 | 15:15 | |||
Joint Work with Michele Serra. In his paper " Automorphisms of fields of formal power series" (Bull. Am. Math. Soc. 50, 1944) Otto Schilling described the automorphism group of k((t)), the field of Laurent series with coefficients in a ground field k and exponents in the group of integers. In our paper "The automorphism group of a valued field of generalised formal power series" (J. Algebra 605, 2022) we generalise his results to the field k((G)), where G in an arbitrary ordered abelian group. We describe the automorphism group of k((G)) in terms of those of its residue field k, its value group G, and the group of 1- units of its valuation ring. Our results also apply to the field of surreal numbers, as well as to a large class of distinguished subfields of k((G)). The talk will be self contained talk and geared towards a general audience. |
![]() | ||||||
+ | Sylvain Schmitz | Well-quasi-orders and algorithmic complexity | 13/05/2024 | 15:15 | |||
Well-quasi-orders are employed in numerous fields as a mathematical toolbox for proving finiteness statements. In particular, they guarantee the termination of algorithms that construct—either explicitly or implicitly—bad sequences, antichains, or descending chains of downwards-closed sets. |
![]() | ||||||
+ | Siiri Kivimaki | Universality problems | 06/05/2024 | 15:15 | |||
Let K be a class equipped with a notion of embedding. A universality question asks: does K have a universal object? When K consists of uncountable objects, this easily becomes independent of ZFC. I will discuss through examples obstacles and recently developed methods for forcing a universal object. |
![]() | ||||||
+ | Matteo Casarosa | The classification problem for extensions of torsion-free abelian groups | 29/04/2024 | 15:15 | |||
In recent years, methods from descriptive set theory have been used to study and classify objects from homological algebra. In this talk, we introduce a hierarchy of complexities for Borel equivalence relations. In particular, we discuss the potential Borel complexity of the isomorphism relation for short exact sequences of countable torsion-free abelian groups. The main tool for this work is the theory of groups with a Polish cover and in particular the notion of Solecki subgroups. We are going to show that, in our context, these are characterized by a certain notion of derivation of a tower. As a result, we find that for a certain class of groups A we can find C such that the classification problem corresponding to Ext(C,A) can have arbitrarily high potential Borel complexity. |
![]() | ||||||
+ | Nutan Limaye | Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers | 08/04/2024 | 15:15 | |||
Strong algebraic proof systems such as IPS (Ideal Proof System; Grochow-Pitassi 2018) offer a general model for deriving polynomials in an ideal and refuting unsatisfiable propositional formulas, subsuming most standard propositional proof systems. A major approach for lower bounding the size of IPS refutations is the Functional Lower Bound Method (Forbes, Shpilka, Tzameret and Wigderson 2021), which reduces the hardness of refuting a polynomial equation f(x) = 0 with no Boolean solutions to the hardness of computing the function 1/f(x) over the Boolean cube with an algebraic circuit. Using symmetry we provide a general way to obtain many new hard instances against fragments of IPS via the functional lower bound method. This includes hardness over finite fields and hard instances different from Subset Sum variants, both of which were unknown before, and significantly improved constant-depth IPS lower bounds. Conversely, we expose the limitation of this method by showing it cannot lead to proof complexity
lower bounds for any hard Boolean instance (e.g., CNFs) for any sufficiently strong proof systems
(including AC0[p]-Frege).
Joint work with Tuomas Hakoniemi and Iddo Tzameret. |
![]() | ||||||
+ | Isaac Goldbring | Elementarily equivalence of group von Neumann algebras | 02/04/2024 | 16:00 | |||
To every (countable, discrete) group G, one can construct its group von Neumann algebra L(G), which is a certain completion of the group ring C[G]. It is natural to wonder whether or not there is any connection between elementary equivalence of groups G and H and their group von Neumann algebras L(G) and L(H) (viewed as structures in continuous logic). We begin by showing that there is no implication in general in either direction. We then discuss recent work with Matthew Harrison-Trainor, where we show that back-and-forth equivalence (in the sense of computability theory) between the groups implies back-and-forth equivalence of the group von Neumann algebras. Finally, we comment on some partial results, joint with Jennifer Pi, concerning elementary equivalence for group von Neumann algebras associated to free groups. No prior knowledge of von Neumann algebra theory will be assumed. |
![]() | ||||||
+ | Floris Vermeulen | An introduction to tame geometry | 25/03/2024 | 15:15 | |||
I will give a general introduction to tame geometry in various context. I will begin by explaining o-minimality, which is an axiomatic framework to explain tame geometric behavior in real closed fields. Afterwards I will introduce valued fields, and discuss tame geometry over such structures. |
![]() | ||||||
+ | Obrad Kasum | Iteration Strategies | 18/03/2024 | 15:15 | |||
Large cardinals have minimal, canonical models. (This is a fact up to a point and a conjecture beyond that point.) These models are minimal in the sense that if a theory is consistency-wise stronger than a large cardinal, then (empirically) that theory proves the existence of the minimal model for that large cardinal. However, it is somewhat more involved to say in which way these models are canonical. Their canonicity is witnessed by so-called iteration strategies. In my talk, I will try to explain what an iteration strategy is, how it witnesses the canonicity of a minimal model, and (if time permits) what is the modern approach to the study of these central objects.
|
![]() | ||||||
+ | Xavier Pigé | Les mesures lisses dans les théories NIP | 11/03/2024 | 15:15 | |||
Les théories NIP ont été introduites par Shelah lorsqu'il étudiait la stabilité comme un comportement généralisant celle-ci. Pour leur étude, Keisler a introduit en 1985 les mesures de Keisler, qui sont une généralisation naturelle des types sous forme de mesures de probabilité. Dans NIP, elles présentent de bonnes propriétés, notamment le fait que les différentes classes d'extensions non-déviantes de types (invariante, finiment satisfaisable, définissable, génériquement stable...) se comportent de manière très similaire pour les mesures. Dans une toute autre direction, il existe aussi une notion analogue au fait de réaliser un type : il s'agit des extensions lisses de mesures, c'est-à-dire possédant une unique extension globale. De telles extensions existent toujours dans NIP, et elles présentent un comportement qui mime étonnamment bien celui des réalisations de type. L'objectif de cet exposé sera de voir cette analogie entre types et mesures, en se focalisant sur le cas des mesures lisses. |
![]() | ||||||
+ | Melissa Antonelli | On counting propositional logic and Wagner's hierarchy | 04/03/2024 | 15:15 | |||
Interactions between logic and computer science have been deeply investigated in the last century, but, surprisingly, the study of probabilistic computation was only marginally touched by such fruitful interchanges. The goal of our study is precisely that of start bridging this gap by developing logical systems corresponding to specific aspects of randomized computation and, thus, by generalizing standard achievements to the probabilistic realm. To do so, the key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations.
Specifically, in this talk I will present an extension of classical propositional logic via counting quantifiers, intuitively expressing that a formula is true in a certain portion of its possible interpretations. Beyond admitting a sound and complete proof system, this logic is shown to be related with counting complexity classes. In particular, it is proved that the complexity of deciding the validity of counting formulas in (a special) prenex normal form perfectly matches the corresponding level of the counting hierarchy, a hierarchy of complexity classes introduced by Wagner in 1984/86 as a generalization of Meyer and Stockmeyer's one and able to express the complexity of many natural problems in which counting is involved.
This is joint work with U. Dal Lago and P. Pistone. |
![]() | ||||||
+ | Tomas Ibarlucia | Extremal models in affine logic | 26/02/2024 | 15:15 | |||
Affine logic is the fragment of continuous logic in which the connectives are limited to linear combinations and the constants (but quantification is allowed, in the usual continuous form). This fragment has been introduced and studied by S.M. Bagheri, the first to observe that this is the appropriate framework to consider convex combinations of metric structures. Bagheri has shown that many fundamental results of continuous logic hold in affine logic in an appropriate form, including Łoś's theorem, the compactness theorem, and the Keisler--Shelah isomorphism theorem. |
![]() | ||||||
+ | Bruno DUCHESNE | Homeomorphism groups of Wazewski dendrites | 05/02/2024 | 15:15 | |||
Dendrites are topological spaces that can be roughly thought as separable compact trees. There are universal such spaces, the so-called Wazewski dendrites. These spaces can be also considered as Fraïssé limits of finite trees. |
![]() | ||||||
+ | Dianthe Basak | Continuous Actions of Categories, a New Perspective on Large Cardinals | 29/01/2024 | 15:15 | |||
The standard "symmetric models" approach to building models of the failure of the axiom of choice relies on the action of non-discrete topological groups on a universe of sets (either sets-with-atoms or a boolean valued model of names). A new approach interprets large cardinal axioms as positing the action of non-discrete topological monoids on the universe of sets (a model of names, a model with atoms, or even V itself). By understanding such actions, one can reinterpret (and reprove) the Kunen inconsistency theorem as a symmetric model theorem, as well as interpreting a version of the HOD conjecture in a natural way. The talk will attempt to place such techniques in their natural context and highlight some potential applications. |
![]() | ||||||
+ | Antonio Scielzo | Automorphisms of Banach Lp lattices and their model theory | 22/01/2024 | 15:15 | |||
The theory of Banach lattices Lp(X,μ) with an automorphism admits a model companion, which is obtained by adding a functional version of the Rokhlin lemma, a fundamental result in ergodic theory. I will discuss some good properties of this theory and an application to the topological group of non-singular transformations of a standard probability space. I will also present a generalisation to the case where the single automorphism is replaced by a free action of an amenable group. |
![]() | ||||||
+ | Paulo Soto | W-topological Fields, dp-rank and Shelah's Conjecture | 08/01/2024 | 15:15 | |||
Shelah's Conjecture states that any infinite field without the independence property (NIP) has to admit a non-trivial henselian valuation, unless it is separably closed or real closed. This conjecture was proved by Johnson for the class of fields of finite dp-rank, a subclass of NIP fields. In this talk I will present the general strategy used in Johnson's work to study fields of finite dp-rank, going through some of the equivalent and weaker conjectures regarding existence and uniqueness of definable V-topologies in such fields. |
![]() | ||||||
+ | Maud SZUSTERMAN | Communication complexity and symmetric extensions | 11/12/2023 | 15:15 | |||
To describe a polytope $P$ in $\R^d$, one needs to know either the list of all its vertices, or a complete set of affine inequalities which characterize $P$. When both are known, it gives us a non-negative matrix $S$, called the slack matrix of $P$. Having a short enough list of affine inequalities to describe $P$ is useful, for optimization purposes. This has motivated the search for compact formulations of $P$, i.e. affine extensions whose size (=number of inequalities to describe it) is much smaller than that of $P$, and the search for barriers to the existence of compact formulations ([Rothvoss17]). The extension complexity of a polytope $P$, denoted xc(P), is defined as the smallest size of an affine extension $Q$ of $P$. In the seminal paper [Yannakakis91], M. Yannakakis characterizes xc(P) as the non-negative rank of the slack matrix $S$ of $P$ (we will define $S$ in the talk). Another characterization of xc(P) is possible via randomised protocols, as shown in ([Faenza et al. 2012]). |
![]() | ||||||
+ | George Comte | Courbes rationnelles complexes et courbes lacunaires | 04/12/2023 | 15:15 | |||
Dans un travail en commun avec Sébastien Tavenas, on s'intéresse à la question du nombre de points d'intersection entre une courbe rationnelle du plan complexe et une courbe ayant peu de monômes, ou lacunaire. Le cas des systèmes polynômiaux réels ayant peu de monômes est largement étudié, au moins depuis Khovanskii et sa théorie des fewnomials. Le cas complexe l'est moins, car par nature il offre moins de possibilités de borner le nombre de solutions de systèmes creux, autrement que par les degrés en jeu. Nous obtenons néanmoins une borne du point d'intersection entre deux telles courbes qui dépend du diagramme de lacunarité de la courbe lacunaire en question. |
![]() | ||||||
+ | Juan Santiago Suárez | Infinitary logics as a link between Boolean valued models and (some) inner models of set theory | 27/11/2023 | 15:15 | |||
Infinitary logics arose in the 60s as a natural generalization of first order logic. With the role of compactness played by consistency properties, L_omega_1_omega rapidly became a prominent example. I will argue that Boolean valued models are a natural semantics for arbitrary logics L_kappa_lambda. These results will allow us to present forcing as the set theoretic perspective of consistency properties, giving a more gentle introduction to the technique. Finally, some ideas and results relating inner models of set theory, infinitary logics and forcing will be presented. This is joint work with M. Viale. |
![]() | ||||||
+ | Simon André | Problème de Tarski et groupes hyperboliques | 20/11/2023 | 15:15 | |||
Les groupes hyperboliques (au sens de Gromov) sont une vaste généralisation des groupes libres. Après avoir résolu un fameux problème de Tarski sur l'équivalence élémentaire des groupes libres, Sela a établi une classification des groupes hyperboliques sans torsion (c'est-à-dire sans élément d'ordre fini non trivial) à équivalence élémentaire près. Je présenterai une généralisation partielle de ce résultat aux groupes hyperboliques en présence de torsion. |
![]() | ||||||
+ | Anatole Dahan | Descriptive Complexity and permutation groups | 06/11/2023 | 15:15 | |||
In the quest of a better understanding of Computational complexity, Descriptive complexity aims to characterize complexity classes through the lense of Logic. In particular, the main open problem in the field is to find a logic (that is, a recursive language that defines classes of structures) that captures Polynomial Time (that is, a class of structures is definable in this logic iff it is decidable in polynomial time). One of the main difficulties in that regard is to preserve isomorphism-invariance in a language designed to capture a notion of computation. To address this, it is natural to apply the framework of permutation groups, and computational group theory, as those tools are known to be connected to the complexity of the Structure Isomorphism problem (which is equivalent to the Graph Isomorphism problem). After a brief overview of the connection between permutation groups and isomorphism-invariance, I will present an application of permutation group theory to the quest of a logic for PTIME, namely the design of an operator extending the expressive power of Fixed-Point Logics. Then I will explore a few ways in which this framework can be useful in the study of Choiceless Polynomial Time. |
![]() | ||||||
+ | Jouko Vaananen | Descriptive Set Theory in Generalized Baire Spaces | 23/10/2023 | 15:15 | |||
I will review the motivation and basic notions of Generalized Baire Spaces. I will then talk about the role of trees, such as wide Aronszajn trees, in the Descriptive Set Theory of Generalized Baire Spaces. This part is motivated by recent joint work with Omer Ben-Neria and Menachem Magidor. I will also talk about universally Baire sets in Generalized Baire Spaces. This part is joint work with Menachem Magidor. |
![]() | ||||||
+ | Rahman Mohammadpour | The universality number of weak embeddability | 16/10/2023 | 15:15 | |||
The notion of weak embeddability between ordered structures dates back to the early post-Cantor era (e.g. in a 1915 paper by Hartogs,) possibly in a different terminology. The notion has attracted attention in various mathematical contexts after it was explored and popularised by Todorcevic, Mekler, and Väänänen. |
![]() | ||||||
+ | Simone Ramello | Defining henselian valuations: not all defect is created equal | 09/10/2023 | 15:15 | |||
Valuations arise as non-archimedean generalizations of absolute values, with examples coming from all over number theory and algebraic geometry. In many cases, henselian valuations turn out to be definable in the language of rings, a phenomenon famously observed (although perhaps not in these terms) by Julia Robinson in the context of the p-adics. In the late 2010s, Jahnke and Koenigsmann started a classification of when a henselian valuation is definable on a henselian field, providing a full characterization for the case where the so-called canonical henselian valuation has residue characteristic zero. We extend their work to the case where the residue characteristic is positive, drawing on the toolkit of independent defect to summon a definable henselian valuation out of certain defect extensions. This is joint work with Margarete Ketelsen (Münster) and Piotr Szewczyk (Dresden). |
![]() | ||||||
+ | Vincent Bagayoko | Groups with infinite linearly ordered products | 02/10/2023 | 15:15 | |||
Certain non-commutative ordered groups coming from o-minimal geometry (groups of definable unary germs) or real differential algebra (groups of transseries under composition) share important first-order properties. In order to find a tame first-order theory of extensions of such groups, it is necessary to understand their pure algebra. |
![]() | ||||||
+ | Amador Martin-Pizarro | Simplicity of the automorphism group of fields with operators | 25/09/2023 | 15:15 | |||
In 1992 Lascar proved that the group of field automorphisms of the complex numbers which fix pointwise the algebraic closure of the rationals is simple, assuming the continuum hypothesis. His proof used strongly the topological features of the group of automorphisms of a countable structure, as a Polish group. |
![]() | ||||||
+ | Mathieu Hoyrup | Computability of compact sets | 03/04/2023 | 15:15 | |||
Several notions of computability can be defined for compact subsets of Euclidean spaces. Some of them turn out to be equivalent for certain sets - we then say that the set has ``computable type''. Miller (2002) proved that n-dimensional spheres have computable type, and Iljazovic (2013) proved that closed manifolds have computable type. We study the case of finite simplicial complexes and obtain several topological characterizations of the complexes having computable type. We also relate the notion of computable type to the descriptive complexity of topological invariants, and investigate the expressiveness of low complexity invariants. This work was done in collaboration with Djamel Eddine Amir. |
![]() | ||||||
+ | Vasco Brattka | Dichotomies in Weihrauch Complexity | 27/03/2023 | 15:15 | |||
We discuss a number of uniform dichotomies for problems in the Weihrauch lattice. Such dichotomies have the common form that a problem is either quite well-behaved (continuous, measurable of some form, etc.) or already relatively badly behaved. We show that often such dichotomies also have non-uniform versions and we indicate how computability concepts such as Turing jumps, Weak König's Lemma, diagonal non-computability, etc. occur naturally in these non-uniform versions. We also discuss how some known dichotomies from descriptive set theory, such as Solecki's dichotomy, can be seen in this context. |
![]() | ||||||
+ | Andrew Brooke-Taylor | Cardinal characteristics modulo nice ideals on omega | 20/03/2023 | 15:15 | |||
Cardinal characteristics of the continuum are (definitions for) cardinals that are provably uncountable and at most the cardinality of the reals, but which may be strictly less than the cardinality of the continuum in universes where the Continuum Hypothesis fails. Many of the standard cardinal characteristics of the continuum are defined in terms of a relation holding almost everywhere, where "almost everywhere" means on all but a finite set. A very natural generalisation is to take "almost everywhere" to mean on all but a member of a given ideal. I will talk about what happens when we do this, with the density 0 ideal on the naturals as a focal example. |
![]() | ||||||
+ | Gabriel Sébilet-Deloge | Preparation Theorem for differential polynomials over the transseries. | 13/03/2023 | 15:15 | |||
Considerations on the asymptotic behavior and the growth at infinity of functions are often used to solve ODEs. The field of transseries was first defined by Dahn and Göring and by Ecalle and Il'yashenko independently in the 80s and 90s. It is a generalization of the germs at infinity of exp-log functions. Transseries formalize the so called exp-log growth class in a setting with more algebraic operations than germs enabling more computational power. Work from J van der Hoeven (1997) has shown that one can solve polynomial differential equations in the field of grid based transseries using setting-specific techniques. In 2008, M. Aschenbrenner, L. van der Dries and J. van der Hoeven have proved that the theory of transseries is recursively axiomatisable and admits QE in a finite language containing the field operations and the derivation. Therefore since differential polynomials over the transseries are definable in that langage there exists an algorithm solving polynomial ODE over any model of the theory. Our aim is to present a Preparation theorem in the style of Weierstrass' such that given any differential polynomial P we construct a cell decomposition of the space such that P rewrites on each cell as a simple product of factors from which the roots of P are easily readable : this is equivalent to eliminating quantifiers from a certain type of formula. In this talk I will describe and illustrate the field of transseries without going into the details of its technical construction, before presenting a preparation theorem for polynomials, our conjecture and various examples from our work. |
![]() | ||||||
+ | Juha Kontinen | Logics in team semantics | 06/03/2023 | 15:15 | |||
I will give a concise introduction to the area of team-based logics. I will also discuss recently defined probabilistic team-based logics that act on finite probability distributions with connections to metafinite structures, BSS-computations, and ETR. |
![]() | ||||||
+ | Richard Matthews | ZFC without Power Set: Reflection Strikes Back | 27/02/2023 | 15:15 | |||
There are many natural set-theoretic structures which satisfy every axiom of ZFC except for Power Set, for example the collection of hereditarily countable sets. Therefore, it is worth investigating what this theory is. If one simply deletes the Power Set axiom but uses the standard formulation of the other axioms (in particular with only the Replacement Scheme) then this theory may have unexpected consequences, for example it is possible that omega_1 exists but is singular. On the other hand, most natural structures satisfy the stronger scheme of Collection, which prevents many of these undesired possibilities from occurring. Therefore, the standard definition of this theory is "ZFC without Power Set but with the Collection Scheme". In this talk we are going to investigate some limits of this stronger theory by considering the notion of a big proper class, which is a proper class that surjects onto every non-zero ordinal. We shall see that, even with Collection, there are models of ZFC without Power Set in which the reals form a proper class that is not big. However, if one additionally assumes the schemes of Dependent Choices for arbitrary lengths, then every proper class is indeed big. Building on work of Zarach, we will provide a general framework for separating Dependent Choice schemes of various lengths. Finally, using a similar idea, we will produce a new model of ZFC without Power Set but with Collection in which there are unboundedly many cardinals, but the Reflection Principle (and therefore the scheme of Dependent Choice of length omega) fails. This is joint work with Victoria Gitman. |
![]() | ||||||
+ | Philip Dittmann | Around existential theories of fields | 20/02/2023 | 15:15 | |||
I will discuss some results on existential theories of fields, with a focus on decidability questions. This is motivated partly by Hilbert's Tenth Problem (on the solvability of diophantine equations) and partly by general model-theoretic concerns. Questions covered will include the (non-)transfer of existential decidability up and down finite field extensions, and consequences for complete discretely valued fields in mixed characteristic. |
![]() | ||||||
+ | Samaria Montenegro | Multi topological fields and NTP2 | 13/02/2023 | 15:15 | |||
The pseudo-algebraically closed (PAC), pseudo real closed (PRC), and pseudo p-adically closed fields (PpC) are examples of unstable fields that have similarities, but have often been studied separately. In this talk, we propose a unified framework for studying these fields - the class of pseudo-T-closed fields, where T is an enriched theory of field. These fields verify a "local-global" principle for the existence of points on varieties based on models of T. This approach also enables a good description of some fields equipped with multiple V-topologies, particularly pseudo-algebraically closed fields with a finite number of V-topologies. One important result is a (model theoretic) classification result for bounded pseudo-T-closed fields, in particular we can show that under specific hypotheses in T, these fields are NTP2. This is joint work with Silvain Rideau-Kikuchi |
![]() | ||||||
+ | Aleksandra Kwiatkowska | Compact connected spaces through projective Fraïssé limit constructions | 06/02/2023 | 15:15 | |||
Using the projective Fraisse limit construction introduced by Irwin and Solecki we obtain a new compact connected one-dimensional metric space. This continuum (compact connected space) is approximated by finite connected graphs with confluent epimorphisms. We show that the obtained continuum is indecomposable, but not hereditarily indecomposable, as arc-components are dense. It is pointwise self-homeomorphic, but not homogeneous, and each point is the top of the Cantor fan. Moreover, it is hereditarily unicoherent, in particular, it does not embed a circle; however, it embeds the universal solenoid and the pseudo-arc. This is joint work with W. J. Charatonik and R. P. Roe. |
![]() | ||||||
+ | Ilijas Farah | Between ultrapowers and reduced powers | 30/01/2023 | 15:00 | |||
Both ultrapowers and reduced powers are used as a `magnifying glass’ to study countable structures. (This applies to separable metric structures in continuous logic, and so does most of what I will say in the talk, but I will stick to classical, discrete, model theory.) I will discuss some similarities and differences between these two constructions. |
![]() | ||||||
+ | Deirdre Haskell | Residue field domination in some theories of valued fields | 16/01/2023 | 15:15 | |||
The Ax-Kochen/Ersov theorem is a classic result in the model theory of valued fields. It can be paraphrased as saying that the elementary theory of a valued field is determined by the theory of the value group and the theory of the residue field. At the level of types, the intuition is that a type should be controlled by its trace in each of the residue field and value group. In this talk, I will explore some ways in which this intuition can be made precise, and also some limitations to that preliminary intuition. I will try to give lots of examples to keep the discussion concrete. |
![]() | ||||||
+ | Colin Jahel | Asymptotic theories and homomorphically-avoided structures | 09/01/2023 | 15:15 | |||
Joint work with Manuel Bodirsky. Given a class of finite structures, one can consider $\mu_n$ the uniform measure on graphs in said class of size n. We study the asymptotic behavior, when n goes to infinity, of the family $(\mu_n)_n$. In particular, one can ask: which first order sentences have converging probability, and when is this limit non-zero? I will present our results for classes of graphs and digraphs, in particular classes not containing any homorphic copies of certain sets of finite structures. |
![]() | ||||||
+ | Alberto Marcone | Up in the Weihrauch lattice: the Cantor-Bendixson theorem | 12/12/2022 | 15:15 | |||
Many mathematical theorems can be viewed as problems: a statement of the form forall x in X (phi(x) implies exists y in Y psi(x,y)) is the problem of finding a suitable y starting from x. |
![]() | ||||||
+ | Nicolas Daans | How many quantifiers are needed to existentially define a given subset of a field? | 05/12/2022 | 15:15 | |||
When a subset of a field is existentially definable in the language of rings, one can ask what the smallest number of quantifiers is needed for an existential formula defining this set. Especially in a number-theoretic context, this question is motivated by links to Hilbert's 10th Problem and other decidability problems. However, this question also turns out to be quite hard in general, since answering it requires a thorough understanding of the arithmetic of the field in question. |
![]() | ||||||
+ | Paul Shafer | Usual theorems of unusual strength | 28/11/2022 | 15:15 | |||
We survey recent results in reverse mathematics, highlighting theorems from the general mathematics literature whose logical strength is unusual in some way. The Rival-Sands theorem for partial orders is a Ramsey-theoretic result concerning chains in partial orders of finite width. We show that the Rival-Sands theorem is equivalent to the ascending/descending sequence principle, which is a weak consequence of Ramsey's theorem for pairs (joint with Fiori Carones, Marcone, and Soldà). This gives the first example of a theorem from the modern literature that is characterized by the ascending/descending sequence principle. Ekeland's variational principle concerns approximate minima of lower semi-continuous functions that are bounded below. We show that the localized version of Ekeland's variational principle is equivalent to Pi^1_1-CA_0, even when restricted to continuous functions (joint with Fernández-Duque and Yokoyama). This is unusual because the much weaker system ACA_0 typically suffices to prove theorems about continuous functions. Caristi's fixed point theorem is a consequence of Ekeland's variational principle that concerns fixed points of arbitrary functions that are controlled by lower semi-continuous functions. We show that Caristi's theorem for Borel functions is equivalent to Towsner's transfinite leftmost path principle and therefore has the unusual position of being strictly between ATR_0 and Pi^1_1-CA_0 (joint with Fernández-Duque, Towsner, and Yokoyama). |
![]() | ||||||
+ | Vera Fischer | Spectra and Definability | 21/11/2022 | 15:15 | |||
In this talk we will see some recent results regarding the spectra, i.e. the set of possible sizes of, of combinatorial sets of reals, sets traditionally associated to the combinatorial cardinal characteristics of the continuum and the projective complexity to witnesses of different cardinalities. |
![]() | ||||||
+ | Adam Bartoš | Fraïssé theory in the language of categories and some applications | 14/11/2022 | 15:15 | |||
I will give a gentle introduction to Fraïssé theory formulated in the language of category theory and explain how it encompasses both the classical Fraïssé theory of countable first-order structures and the projective Fraïssé theory of topological structures, introduced by Irwin and Solecki. Then I will sketch our extension of the framework to the metric-enriched context and its application: characterizing the pseudo-arc and pseudo-solenoids directly as Fraïssé limits. If time permits, to show the big picture I will briefly mention other closely connected topics that benefit from using the abstract setting: the Banach–Mazur game, weak amalgamation property, Ramsey theory, KPT correspondence, rewriting systems, ... . |
![]() | ||||||
+ | Ingo Blechschmidt | A modal logical multiverse for commutative algebra and combinatorics | 07/11/2022 | 15:15 | |||
In the spirit of the set-theoretic multiverse philosophy put forward by Joel David Hamkins, we explore a related modal multiverse populated by Kripke models and more general worlds. In this multiverse—as the talk will explain—the law of excluded middle can be switched on and off like a light bulb and countability is a button (for every set X of every world, there is a larger world containing a surjection ℕ → X). Our interest in this multiverse is because of concrete applications in commutative algebra and combinatorics, including the endeavor of extracting algorithms from proofs utilizing transfinite techniques. The talk will be framed by several examples of this kind. |
![]() | ||||||
+ | Ingo Blechschmidt | Exploring hypercomputation with the effective topos | 07/11/2022 | 13:00 | SG 633 | Sophie Germain | |
To any model of computation, such as lambda calculus or Turing machines, there is an associated "effective topos". This is an alternate mathematical universe in which—for reasons related to computability not the usual laws of logic hold. For instance, for some models, anti-classical dream axioms like "any function ℝ → ℝ is continuous" and "any function ℕ → ℕ is computable" hold. The law of excluded middle however, "any proposition is either true or not true", is falsified in those toposes. The effective topos has especially wondrous properties in case we employ models of hypercomputation, where computers can perform infinitely many calculational steps in finite time: Andrej Bauer proved that then the effective topos contains an injection ℝ → ℕ. We can also employ physical models about the real world. In this case, statements which are in classical mathematics simply true become non-trivial statements about the nature of the physical world when interpreted in the effective topos. Topos theory therefore provides an apt vehicle to study computation and alternative axioms of logic. Other applications include mechanical extraction of programs from proofs and a reconciliationcof platonism with formalism. The talk strives to give an accessible introduction to this circle of ideas, also resolving any apparent paradoxes in this abstract. No prerequisites in topos theory or the theory of computation are needed. |
![]() | ||||||
+ | Carl-Fredrik Nyberg Brodda | A century-old problem in mathematical logic | 24/10/2022 | 15:15 | |||
In 1914, A. Thue (the PhD supervisor of T. Skolem) posed an innocent-looking problem about transforming some words into others, subject to a fixed set of rules. This problem -- the word problem for finitely presented semigroups -- would come to have a remarkable effect on the development of mathematical logic, group theory, and semigroup theory in the half century to come. Indeed, it can be seen as one of the key links ensuring that mathematical logic became a firm part of mathematics in the 1930s and 1940s. In this talk, I'll give an overview of the problem, its history, and how it developed. I will present a special case of it -- the word problem for one-relation semigroups -- which despite an inordinate amount of effort to crack, remains an unsolved problem. Finally, I will present some of my own efforts to approach and understand this wonderful problem. |
![]() | ||||||
+ | Chris Lambie-Hanson | Generalized trees, subadditive functions, and cardinal arithmetic | 17/10/2022 | 15:15 | |||
Two-cardinal tree properties have been a central topic of study in combinatorial set theory over the last fifteen years. Such principles can be used to characterize strongly compact and supercompact cardinals among inaccessible cardinals but can also consistently hold at smaller cardinals. Of particular interest has been their effect on cardinal arithmetic. Notably, a pair of results due to Viale and Krueger, respectively, shows that the strongest of these principles, $\mathsf{ISP}(\kappa)$, implies that the singular cardinals hypothesis holds above $\kappa$. This raises the natural question of whether the same conclusion follows from weaker principles. Motivated by this question, we introduce some combinatorial principles that hold in all known models of two-cardinal tree properties and prove that they imply a strong form of the singular cardinals hypothesis. We also show that these principles can consistently hold globally. This is in contrast with tree properties, where the possibility of a global consistency result for even the classical tree property remains a major open question. The talk will focus on the broader picture and will be accessible to a general logic audience. |
![]() | ||||||
+ | Katrin Tent | Simplicity of automorphism groups of homogeneous structures | 10/10/2022 | 15:15 | |||
We discuss some general model theoretic criteria to show that the automorphism group of a homogeneous structure (such as metric spaces, incidence geometries, graphs and hypergraphs) are simple groups or have simple quotients. |
![]() | ||||||
+ | Kostantinos Kartas | Taming perfectoid fields | 03/10/2022 | 15:15 | |||
We establish certain connections between perfectoid geometry and model theory of henselian fields. On one hand, we prove an Ax-Kochen/Ershov principle for perfectoid fields (and generalizations thereof). As an application, we show that the perfect hull of Fp(t)^h is an elementary substructure of the perfect hull of Fp((t)). On the other hand, we prove a model theoretic generalization of the Fontaine-Wintenberger theorem. This reveals that the relation between a perfectoid field and its tilt is analogous to that of well-understood valued fields (viz., henselian defectless with divisible value group) and their residue fields. As a new arithmetic application, we provide some of the first few examples in mixed characteristic verifying the Lang-Manin conjecture on the existence of rational points on nearly rational varieties over C1 fields. Joint work with Franziska Jahnke. |
![]() | ||||||
+ | Yury Neretin | On closures of groups in unitary representations | 26/09/2022 | 15:15 | |||
Consider a topological group $G$ and its unitary representation $\rho$. Consider the closure of $\rho(G)$ in the weak operator topology. Then we get a compact semigroup with separately continuous multiplication. For semisimple Lie groups with finite center this semigroup is simply the one-point compactification (R.Howe and C.Moore). |
![]() | ||||||
+ | Silvain RIdeau | Expansion des entiers et ensembles stablement plongés | 19/09/2022 | 15:15 | |||
Ce projet a démarré par une question sur la complexité des expansions des entiers par un ensemble unaire: tous les exemples stables connus sont superstables de U rang omega (ou 1) et les expansions proprement simples utilisent des résultats non triviaux de théorie des nombres. Il se trouve que tout cela n’était que pur coincidence puisque tout graphe peut être interprété dans une expansions unaires de (Z,+) qui n’est pas plus compliquée que le graphe. Ceci est un travaux un commun avec G. Conant, C. D’Élbée, Y. Halevi and L. Jimenez |
![]() | ||||||
+ | Alessandro Vignati | Games on AF-algebras | 30/05/2022 | 15:15 | |||
We analyze C*-algebras, particularly approximately finite ones, in the context of the infinitary logic L_{\omega_1,\omega}. We show that, level by level, the L_{\omega_1,\omega} theory of a separable AF algebra can be covered from that of its K_0 group, a classifying group in this setting. We then use this to build a very concrete family of separable simple unital AF-algebras of arbitrarily high Scott rank. All preliminary notions will be discussed. This is joint work with De Bondt, Vaccaro, and Velickovic. |
![]() | ||||||
+ | Zoé Chatzidakis | Mesures sur les corps PAC | 23/05/2022 | 15:15 | |||
Une question était de savoir si tout groupe dont la théorie est simple est moyennable. Chernikov, Hrushovski, Kruckman, Krupinski, Pillay et Ramsey ont répondu à cette question par la négative.
|
![]() | ||||||
+ | Sylvy Anscombe | NIP henselian valued fields | 16/05/2022 | 15:15 | |||
NIP -- "not having the independence property" -- is a constraint on the combinatorial behaviour of the definable sets in a given theory. Roughly: NIP means that there is no family of definable sets that induces on an infinite set X the family of all subsets of X. Shelah's Conjecture proposes that any complete NIP theory of fields is the theory of a separably closed, real closed, "henselian", or finite field. I will explain how we can refine this conjecture by specifying the complete theories that may appear in the "henselian" case. This is joint work with Franziska Jahnke. |
![]() | ||||||
+ | Dominique Lecomte | Coloriages continus à deux couleurs et dynamique topologique | 09/05/2022 | 15:15 | |||
Nous considérons diverses classes de graphes, des plus arbitraires jusqu'à ceux induits par une fonction. La question fondamentale de ce travail est de déterminer quand un graphe a un coloriage continu à deux couleurs. Nous comparons les graphes à l'aide du quasi-ordre associé soit aux homéomorphismes injectifs continus, soit aux homomorphismes continus. Nous présenterons des propriétés structurelles de ces quasi-ordres. Nous verrons que la dynamique topologique est très utile pour cela. Cette analyse apporte également des informations sur le quasi-ordre de réduction borelienne sur la classe des relations d'équivalence analytiques, en particulier celle de conjugaison des homéomorphismes minimaux de l'espace de Cantor. |
![]() | ||||||
+ | Julien Melleray | Une version topométrique du théorème d'Effros | 02/05/2022 | 15:15 | |||
Les espasces topométriques apparaissent naturellement en logique continue (espaces de types, groupes d'automorphismes de structures métriques...). Fréquemment, un groupe polonais agit sur l'espace topométrique qui nous intéresse (par exemple, un groupe polonais agisssant sur lui-même par conjugaison), et on souhaite déterminer s'il existe des éléments "métriquement génériques", i.e. tels que l'adhérence (pour la distance) de leur orbite soit comaigre (pour la topologie). Dans le cas classique, i.e. purement topologique, un théorème d'Effros permet de caractériser ces éléments, ainsi que de donner une condition nécessaire et sufisante pour leur existence. Dans cet exposé je présenterai une extension de ce théorème et de ce critère au contexte des espaces topométriques adéquats, et essaierai d'expliquer pourquoi cette hypothèse supplémentaire (satisfaite pour les exemples mentionnés plus haut) limite actuellement les possibilités d'application de ce résultat. Il s'agit d'un travail en commun avec I. Ben Yaacov (Lyon) |
![]() | ||||||
+ | Anna De Mase | About model completeness of mixed characteristic henselian valued fields with finite ramification | 11/04/2022 | 15:15 | |||
A result obtained by A. Macintyre and J. Derakhshan states that the theory of a Henselian valued field of mixed characteristic, finite ramification, perfect residue field and whose value group is a Z-group, is model complete in the language of rings if the theory of the residue field is model complete in the language of rings. In this talk we will see how this result can be generalized to henselian valued fields with the same properties but with different value groups. We will address the case of value groups with finite spines and value groups elementarily equivalent to the lexicografical product of Z with minimal positive element. We will see in which languages these groups are model complete and we will define a one sorted language in which the theory of the respective valued field is model complete, assuming that the residue field is model complete in the language of rings. It follows that the theories of some infinite non-algebraic extensions of the field of p-adic numbers are model complete in the respective language. |
![]() | ||||||
+ | Alexis Chevalier | Piecewise Interpretable Hilbert Spaces (I) | 04/04/2022 | 15:15 | |||
We introduce piecewise interpretable Hilbert spaces and show their relevance to model theory and representation theory. Piecewise interpretable Hilbert spaces are direct limits of imaginary sorts of a continuous logic structure which carry definable Hilbert space operations. We will show that they offer an interesting unified framework for studying definable measures and Shelah-Galois groups, and that they offer an interesting point of contact between model theory and the theory of unitary group representations. We will briefly discuss a structure theorem for scattered piecewise interpretable Hilbert spaces and we will explain various applications of this theorem. This is joint work with Ehud Hrushovski. In this talk we will focus on giving an overview of results and on discussing examples. More detailed results will be discussed on Tuesday in the Théorie des Modèles et Groupes seminar. |
![]() | ||||||
+ | Joshua Frisch | Embedding Theorems for Polish Modules | 21/03/2022 | 15:15 | |||
A Polish module is a topological module whose underlying topology is Polish (separable and completely metrizable). In this talk I will discuss some results (joint with Forte Shinko) about when Polish modules continuously inject into one another and the pre-order induced by these injections. In particular we will show that, for a wide class of rings, there are countably many minimal elements in this pre-order. As an application we will construct a countable family of uncountable abelian Polish groups at least one of which embeds into any other uncountable abelian Polish group. |
![]() | ||||||
+ | Ben De Bondt | On a playfully defined family of countable elementary submodels of H_\theta | 14/03/2022 | 14:15 | |||
In order to make this talk accessible for a general audience of logicians, we will start off softly by first introducing certain open two-player games and then use these to isolate a special family of countable elementary submodels of the structure H_\theta. We will then analyse the existence of (projective stationary) many such models and discuss the connection with precipitousness of the nonstationary ideal on \omega_1. Next, we will discuss a particular forcing P that consists of finite conditions in which these special models feature as side conditions. Depending on the time, we might go on to survey some interesting properties that this forcing shares with an L-forcing defined by Claverie Schindler and a Namba-like forcing defined by Ketchersid-Larson-Zapletal, to both of which it shows resemblance. It will follow that this side condition approach using special models gives yet another way to increase the second uniform indiscernible in a stationary set preserving way beyond some arbitrary prespecified ordinal. This is all part of joint ongoing work with my thesis supervisor Boban Velickovic. |
![]() | ||||||
+ | Arno Fehm | Theories of algebraic fields | 07/03/2022 | 15:15 | |||
I will survey what (little) is known about the common theory of fields that are algebraic over the field of rational numbers, and I will explain why on the other hand we have a very good understanding of the theory of sentences that are true in "almost all" such fields, in a suitable sense. |
![]() | ||||||
+ | Matthew Foreman | Stay in your own lane | 28/02/2022 | 15:15 | |||
Certain reductions of the collection of ill-founded trees to well-studied objects in ergodic theory can be ``miniaturized" to give concretely computable maps from Godel numbers of lightface sentences in number theory to computable diffeomorphisms. This miniaturization process proves statements such as: ``The twin prime conjecture is equivalent to the associated computable transformation being isomorphic to its inverse." Recently Marks and others pointed out that for universal number theoretic statements (such as Riemann's hypothesis) the proof can be greatly simplified. The talk tells the story of a set theorist working in ergodic theory trying to get results in computable analysis. |
![]() | ||||||
+ | Blaise Boissonneau | NIPn fields part 1: Artin-Schreier extensions & combinatorial complexity | 21/02/2022 | 15:15 | Sophie Germain | ||
A core question in the model theory of fields is to understand how combinatorial patterns and algebraic properties interact. An example of that is a well-known result by Kaplan, Scanlon and Wagner, which states that infinite NIP fields of characteristic p have no Artin-Schreier extension. This result has since then been proven by Hempel to also hold for NIPn fields, and a weaker version has been obtained by Chernikov, Kaplan and Simon for NTP2 fields. In this talk, we will study this result and formulate it in terms of explicit formulas, allowing us to lift complexity from the residue field, and obtain a partial classification of NIPn henselian valued fields. |
![]() | ||||||
+ | Max Dickmann | Quadratic form theory; from orderable fields to preordered rings | 14/02/2022 | 15:15 | SG 1013 | ||
Joint work with F. Miraglia and H. Ribeiro (University of São Paulo, Brazil). This talk will present (in English or French, as the public wishes) a summary of the main results of a joint paper (« Special groups and quadratic forms over rings with non zero-divisor coefficients », 60 pp.), to appear in Fundamenta Math. We develop a theory of quadratic forms with non zero-divisor coefficients over preordered (commutative, unitary) rings , where 2 is invertible and the preorder T satisfies a mild extra condition. In this context we prove that several major results known to hold in classical quadratic form theory over (orderable) fields –e.g., the Arason-Pfister Hauptsatz and Pfister’s localglobal principle-- carry over to any class of preordered rings satisfying a property called NT-quadratic faithfulness. We show that this property holds for many classes of rings frequently met in mathematical practice, such as: — the reduced f-rings and some of their extensions, for which Marshall’s signature conjecture and a vast generalization of Sylvester’s inertia law hold as well; — the reduced, partially ordered Noetherian rings and many of their quotients (a result relevant in real algebraic geometry). The abstract, axiomatic approach to quadratic form theory known as special groups [Dickmann-Miraglia, Memoirs AMS 689 (2000)] is the main tool used in the proofs of these results. |
![]() | ||||||
+ | Giorgio Venturi | Séminaire annulé | 07/02/2022 | 15:15 | |||
In this talk we present a new approach to Goedel's program for a step by step extension of set theory. This new approach is based on Robinson's model-theoretic notion of model companionship. We show that set theory has (absolute) model companions and that these are the H_{\kappa^+}: the collections of sets of hereditarily cardinality less than \kappa^+, for \kappa a regular cardinal. We then present the solution to CH that this approach provides. Finally we justify this approach as a realization of Hilbert's idea of completeness for formal theories. |
![]() | ||||||
+ | Boban Velickovic | Nice Infinitary Logics | 31/01/2022 | 15:15 | |||
Lindstrom’s theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Lowenheim Skolem Theorem. It has been one of the main tasks of Infinitary Model Theory to find stronger logics with similar characterizations with the hope that they would have useful applications. Despite intensive efforts no such logic was found until Shelah introduced his logic L^1_\kappa. Unfortunately, by that time most of the researchers working on the problem have left the subject. We try to revive the subject by introducing a class of logics which give Shelah’s logic in the limit and test their expressive power. We also give an alternative characterization of Shelah’s logic in terms of the Lowenheim-Skolem-Union property. This is joint work with J. Vaananen |
![]() | ||||||
+ | Arnaud Durand | A complexity study of reasoning tasks in team semantics | 24/01/2022 | 15:15 | |||
In the first part of the talk we will make a basic introduction to team semantics and survey the main complexity/expressivity results in this area. In the second part, we will present a new approach, proposed jointly with Juha Kontinen and Jouko Väänänen based on efficient translation to SAT (the boolean satisfiability problem) to derive new complexity results for reasoning tasks (such as model-checking, model-counting and enumeration) for algorithmic problems in team semantics. This is joint work with Juha Kontinen and Jouko Väänänen |
![]() | ||||||
+ | Francesco Parente | Combinatorial properties of ultrafilters and their orderings on Boolean algebras | 20/12/2021 | 15:15 | |||
In this talk, I shall report on joint work with Jörg Brendle, focusing on the combinatorial properties of ultrafilters on Boolean algebras in relation to the Tukey and Rudin-Keisler orderings. First, I aim to introduce the framework of Tukey reducibility and discuss the existence of non-maximal ultrafilters. Furthermore, I shall connect this discussion with a cardinal invariant of Boolean algebras, the ultrafilter number, and sketch consistency results (and open questions) concerning its possible values on Cohen and random algebras. Finally, I will analyse and compare two generalizations of the Rudin-Keisler ordering to ultrafilters on complete Boolean algebras, introducing new techniques to construct incomparable ultrafilters in this setting. |
![]() | ||||||
+ | Tamara Servi | Amalgamating Gamma and Zeta | 06/12/2021 | 15:15 | |||
The sets definable in an o-minimal expansion of the real field share many topological regularity properties with the real algebraic sets. For this reason, I will say that a real object (a subset of R^n, a real function, or a family thereof) is "tame" if it is definable in some o-minimal structure. Given two tame objects, it is not always possible to make them coexist in some common o-minimal expansion of the real field (in which case we say that the two tame objects are "incompatible"). I will recall the basic properties of tame objects and some of the known (in)compatibility results. The restrictions to the positive real axis of the Riemann Zeta function and of Euler's Gamma function have been known to be tame for some time, but the question of their compatibility remained open. I will talk about recent work of Rolin, Speissegger and myself, where we construct an o-minimal expansion of the real field in which these two functions are definable. In order to achieve this goal, we develop a theory of Borel-Laplace multi-summability for certain power series with real exponents. We use this to produce suitable collections of quasianalytic algebras of real germs in several variables, which are closed under the operations (composition, division, blow-ups, implicit functions) that ensure the o-minimality of the structure they generate (by general results of Rolin and myself, 2015, and of van den Dries and Speissegger, 2000). |
![]() | ||||||
+ | Marcin Sabok | Couplages parfaits dans les graphes hyperfinis | 22/11/2021 | 15:15 | |||
Je vais discuter le problème d'existence des couplages parfaits mesurables dans les graphes boréliens sur les espaces de probabilité. En particulier, je vais présenter le résultat que tous les graphes hyperfinis, bipartis et réguliers admettent un tel couplage. Je vais donner quelques applications de ce résultat, par exemple à la quadrature mesurable du cercle. On va aussi utiliser ce résultat pour une caractérisation de graphes bipartis de Cayley qui admet un facteur iid de couplage parfait. Cela étend un résultat de Lyons et Nazarov et répond au question de Kechris et Marks dans le cas biparti. Une autre application répond à la question de Bencs, Hruskova et Toth concernant les orientations équilibrées. Travail en commun avec M. Bowen et G. Kun |
![]() | ||||||
+ | Emmanuel Rauzy | Analyse calculable sur l'espace des groupes marqués. | 08/11/2021 | 15:15 | |||
L'analyse calculable est l'étude de la calculabilité des fonctions définies sur des espaces métriques munis de numérotations. Un des résultats les plus important de l’analyse calculable est le théorème de Ceitin, qui dit que les fonctions calculables définies sur un espace Polonais effectif sont continues. On décrira les bases de l’étude de l’analyse calculable sur l’espace des groupes marqués, et en particulier on donnera une preuve du fait que l’espace des groupes marqués est un espace Polonais qui n’est pas un espace Polonais effectif: aucune suite calculable dans l’espace des groupes marqués n’y est dense. On discutera aussi de la correspondance entre les premiers niveaux de la hiérarchie de Borel sur l’espace des groupes marqués et son analogue effectif. |
![]() | ||||||
+ | Mirna Džamonja | Paracompactness of the box topology | 11/10/2021 | 15:15 | SG 1013 | Sophie Germain | |
The box topology on a product of topological spaces is given by declaring as basic open sets any products of open sets of the composants of the product. It is a natural definition, but does not preserve many topological properties, notably it miserably fails to preserve compactness. However, a weakening of compactness, called paracompactness and introduced by Jean Dieudonné in 1944 for its nice behaviour in analysis, is sometimes preserved by box products. Investigating this for spaces obtained by the product of countably many factors or aleph_1 many factors with either full boxes or boxes of countable size, was a classical topic in set-theoretic topology of the 1980s or so, with important works by Mary Ellen Rudin, Kenneth Kunen, Eric van Douwen and others. In our work in progress we are, rather, interested in an unexplored territory of products with many coordinates. In particular, we consider the following question: Suppose that kappa is a cardinal such that for every lambda >= kappa, the box product {}^{<\kappa} 2^\lambda is paracompact. Is kappa a large cardinal ? (the notation means that the topology on 2^lambda is generated by boxes of size < kappa) We present some partial results and the difficulties with the consideration of the case kappa singular. This is somewhat connected with the recent works on descriptive set theory of the space 2^kappa for kappa singular. This is joint work with David Buhagiar, University of Malta. |
![]() | ||||||
+ | Wieslaw Kubis | Generic evolutions | 27/09/2021 | 15:15 | |||
We shall present the concept of ``abstract evolution system'' which, in particular, captures the main ideas of the theory of universal homogeneous structures (Fraisse limits). Evolution systems can also be viewed as a generalization of abstract rewriting systems. We shall present an analogue of Newman's Lemma, saying that a locally confluent terminating system is confluent. Terminating evolution systems actually correspond to finite ultra-homogeneous structures. |
![]() | ||||||
+ | Gianluca Basso | Topological dynamics beyond Polish groups, and the ambitability question | 20/09/2021 | 15:15 | |||
When $G$ is a Polish group, one way of knowing that it has nice dynamics is to show that $M(G)$, the universal minimal flow of $G$, is metrizable. For non-Polish groups, this is not the relevant dividing line: the universal minimal flow of the symmetric group of a set of cardinality $\kappa$ is the space of linear orders on $\kappa$–not a metrizable space, but still nice–, for example. In this talk, we present a set of equivalent properties of topological groups which characterize having nice dynamics. We then concentrate on an open question of Pachl and its consequences on the dynamics of topological groups. This is joint work with Andy Zucker. |
![]() | ||||||
+ | Gabriel Conant | Generically stable types and Keisler measures | 16/06/2021 | 16:00 | Contacter Sylvy Anscombe ou Alessandro Vignati | ||
A global invariant type p is called stable if there is no witness to the order property using realizations of p, and generically stable if there is no witness to the order property using a Morley sequence of realizations of p. Hrushovski and Pillay showed that in NIP theories, a type is generically stable if and only if it is definable and finitely satisfiable in some small model. These latter properties generalize readily to Keisler measures, and so this result laid the foundation for subsequent work of Hrushovski, Pillay, and Simon on generically stable measures in NIP theories. In particular, they showed that a generically stable measure in an NIP theory is uniformly and almost surely interpreted by frequency measures, i.e., a "frequency interpretation measure". Outside of the NIP setting, this characterization no longer holds, which leads to competing options for the "right" definition of generic stability for Keisler measures in general. The focus of this talk will be on comparing and contrasting these various notions, starting with an earlier result with Gannon on "frequency interpretation types". I will then present several recent positive and negative results on the behavior of Keisler measures in arbitrary theories, as well as some examples and counterexamples. This is joint work with Gannon and Hanson. |
![]() | ||||||
+ | Philip Welch | Transfinite Computational Models and Low levels of Determinacy | 09/06/2021 | 16:00 | Contacter Sylvy Anscombe ou Alessandro Vignati | ||
We sketch the theory of higher type Infinite Time Turing machine (ITTM) theory in the style of Kleene's type-2 recursion theory on reals, replacing ordinary turing machines by ITTM's. Besides being an interesting theory itself with many open questions, it turns out that there is a pencil and paper algorithm, i.e. a recursive isomorphism, for converting indices for such halting computations into a listing of games won by Player 1 with G_delta_sigma payoff set - in other words considering Determinacy(Sigma^0_3) for games on Cantor or Baire space. (In more formal terms the Halting Problem for this kind of computation is recursively isomorphic to a complete G-Sigma^0_3-set of integers.) One feature of this is that the ordinal where such machines crash is precisely the level in the constructible hierarchy over which strategies for such games are all definable. |
![]() | ||||||
+ | Krzysztof Krupinski | On generating ideals by additive subgroups of rings and an application to Bohr compactifications of some matrix groups | 02/06/2021 | 16:00 | Contacter Sylvy Anscombe ou Alessandro Vignati | ||
I will present several fundamental results about generating ideals in finitely many steps inside additive groups of rings from my joint paper with T. Rzepecki. I will also mention an application to computations of definable and classical Bohr compactifications of the groups of upper unitriangular and invertible upper triangular matrices over arbitrary unital rings, based on my joint paper with J. Gismatullin and G. Jagiella. An essential role in this research is played by model-theoretic connected components of definable groups and rings. In particular, these components are used to compute the above Bohr compactifications. Regarding connected components, roughly speaking, one of our main results says that the type-definable connected component of the additive subgroup of a definable (saturated) unital ring generates an ideal in finitely many steps (and so this generated ideal is exactly the ring type-definable connected component). |
![]() | ||||||
+ | Anush Tserunyan | Backward and forward ergodic theorems along trees | 26/05/2021 | 16:00 | Contacter Silvain Rideau ou Alessandro Vignati | ||
In the classical pointwise ergodic theorem for a probability measure preserving (pmp) transformation $T$, one takes averages of a given integrable function over the intervals $\{x, T(x), T^2(x), \hdots, T^n(x)\}$ in the forward orbit of the point $x$. In joint work with Jenna Zomback, we prove a “backward” ergodic theorem for a countable-to-one pmp $T$, where the averages are taken over arbitrary subtrees of the graph of $T$ that are rooted at $x$ and lie behind $x$ (in the direction of $T^{-1}$). Somewhat surprisingly, this theorem yields (forward) ergodic theorems for countable groups, in particular, one for pmp actions of free groups of finite rank where the averages are taken along arbitrary subtrees of the standard Cayley graph rooted at the identity. This strengthens results of Grigorchuk (1987), Nevo (1994), and Bufetov (2000). |
![]() | ||||||
+ | Michal Doucha | Descriptive complexity of Banach spaces | 19/05/2021 | 16:00 | Contacter Silvain Rideau ou Alessandro Vignati | ||
We introduce a certain Polish space of all separable Banach spaces. The definition is in the same spirit as Grigorchuk's space of marked groups or (slightly less well known) Vershik's space of all separable complete metric spaces. We compare it with a recent different approach to topologizing the space of separable Banach spaces, by Godefroy and Saint-Raymond. Our main interest will be in the descriptive complexity of classical Banach spaces with respect to this Polish topology. We show that the separable infinite-dimensional Hilbert space is characterized as the unique Banach space whose isometry class is closed, and also as the unique Banach space whose isomorphism class is F_sigma, where the former employs the Dvoretzky theorem and the latter the solution to the homogeneous subspace problem. For p in [1,infty)-{2}, we mention that the isometry class of L^p[0,1] is G_delta-complete and the class of l^p is F_sigma,delta-complete. Also, the isometry class of c_0 is F_sigma,delta-complete. The talk will be aimed at an audience with basic knowledge of descriptive set theory and general topology, but no particular knowledge of Banach space theory. It will be based on joint work with Marek Cuth, Martin Dolezal and Ondrej Kurka. |
![]() | ||||||
+ | Gianluca Paolini | Torsion-Free Abelian Groups are Borel Complete | 12/05/2021 | 16:00 | Contacter Silvain Rideau ou Alessandro Vignati | ||
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. |
![]() | ||||||
+ | Slawomir Solecki | Closed subgroups generated by generic measure preserving transformations | 05/05/2021 | 16:00 | Contacter Silvain Rideau ou Alessandro Vignati | ||
We describe the background and outline a proof of the following theorem: for a generic measure preserving transformation $T$, the closed group generated by $T$ is not isomorphic to the topological group $L^0(\lambda, {\mathbb T})$ of all Lebesgue measurable functions from $[0,1]$ to $\mathbb T$. This result answers a question of Glasner and Weiss. The main step in the proof consists of showing that Koopman representations of ergodic boolean actions of $L^0(\lambda, {\mathbb T})$ possess a non-trivial property not shared by all unitary representations of $L^0(\lambda, {\mathbb T})$. In proving that theorem, an important role is played by a new mean ergodic theorem for ergodic boolean actions of $L^0(\lambda, {\mathbb T})$. |
![]() | ||||||
+ | Joel Hamkins | Determinacy for proper class games | 14/04/2021 | 16:00 | Contacter Silvain Rideau ou Alessandro Vignati | ||
The principle of open determinacy for class games —
two-player games of perfect information with plays of length ω, where
the moves are chosen from a possibly proper class, such as games on
the ordinals — is not provable in Zermelo-Fraenkel set theory ZFC or
Gödel-Bernays set theory GBC, if these theories are consistent,
because provably in ZFC there is a definable open proper class game
with no definable winning strategy. In fact, the principle of open
determinacy and even merely clopen determinacy for class games implies
Con(ZFC) and iterated instances Con(Con(ZFC)) and more, because it
implies that there is a satisfaction class for first-order truth, and
indeed a transfinite tower of truth predicates for iterated
truth-about-truth, relative to any class parameter. This is perhaps
explained, in light of the Tarskian recursive definition of truth, by
the more general fact that the principle of clopen determinacy is
exactly equivalent over GBC to the principle of elementary transfinite
recursion ETR over well-founded class relations. Meanwhile, the
principle of open determinacy for class games is strictly stronger,
although it is provable in the stronger theory GBC+
Pi^1_1-comprehension, a proper fragment of Kelley-Morse set theory KM. http://jdh.hamkins.org/determinacy-for-proper-class-games-seminaire-de-logique-lyon-paris-april-2021/ |
![]() | ||||||
+ | Hector Pasten | A framework for the DPRM property on structures | 07/04/2021 | 16:00 | |||
A celebrated result by Davis, Putnam, Robinson and Matiyasevich shows that over the integers, listable sets are the same as Diophantine sets. There is the question of whether other interesting rings satisfy the same DPRM property and the most common setting where this problem has been considered is that of recursive rings. However, recursive rings do not seem to be the most appropriate framework: one would like to allow more general structures (not just rings) and it seems natural to allow the signature of the structure to be expanded by positive-existentially definable relations which, in general, might fail to be recursive. In this talk we will discuss the DPRM property on structures endowed with a listable presentation (rather than a recursive one) and we will present several results addressing foundational material around this notion such as uniqueness of the listable presentation, transference of the DPRM structure under interpretation, and characterization of the DPRM property in terms of p.e. bi-interpretability. As a consequence, we will obtain proofs of several folklore "facts" repeatedly claimed as results elsewhere in the literature but whose proofs are absent. Another application of the theory is that it will allow us to link various Diophantine conjectures to the question of whether or not the DPRM property holds for the field of rational numbers and for k(t) with k a finite field. |
![]() | ||||||
+ | Marcus Tressl | First order theory of semi-algebraic sets and continuous functions. | 31/03/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
I will give an overview - and report some recent progress - on first order structures attached to collections of semi-algebraic sets and functions.
Semi-algebraic here means definable in a field K that is real closed (i.e. elementary equivalent to the real field) or p-adically closed (elementary equivalent to the p-adics).
For a semi-algebraic subset X of Kn let C(X) be the set of continuous semi-algebraic functions on X with values in K. There are various structures on (or derived from) C(X):
We will mainly look at C(X) as a ring with pointwise operations, or as lattice ordered group with pointwise comparison (when K is real closed),
as well as the lattice L(X) of closed definable subsets of X (zero sets of functions in C(X)).
Key results are (in slightly paraphrased form): (1) ( with Luck Darnière ) the ring C(X) defines true arithmetic, unless X is discrete, or K is real closed and the dimension of X is 1. This result can be used to classify the homeomorphism type of X in terms of the first order theory of the ring C(X). (2) If K is real closed, then the theory of the lattice ordered group C(X) can be interpreted in the theory of the lattice L(X) (in a certain non-standard form), which e.g., transfers decidability results from L(X) to C(X). (3) The remaining case in (1), when K is real closed and X is of dimension 1 is unsolved yet, but a very recent result by Deacon Linkhorn indicates a path to a model completeness result for the ring of semi-algebraic curves in a small extension of the ring language. |
![]() | ||||||
+ | Laura Fontanella | Realizability and the Axiom of Choice | 24/03/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
Realizability aims at extracting the computational content of mathematical proofs. Introduced in 1945 by Kleene as part of a broader program in constructive mathematics, realizability has later evolved to include classical logic and even set theory. Krivine's work led to define realizability models for the theory ZF following a general technique that generalizes the method of Forcing. However realizing the full Axiom of Choice is quite problematic. After a brief presentation of Krivine's techniques, we will discuss the major obstacles for realizing the Axiom of Choice and I will present my recent joint work with Guillaume Geoffroy that led to realize weak versions of the Axiom of Choice for arbitrarily large cardinals. |
![]() | ||||||
+ | Françoise Point | On large fields of characteristic 0 endowed with a generic derivation | 17/03/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
We first describe classes of topological large fields of characteristic 0 which can be endowed with a generic derivation. This kind of derivation recently occurred in the work of W. Johnson to describe a basis of neighbourhoods of 0 in fields of finite dp-rank (but not of finite Morley rank). We then review results we obtained with P. Cubidès on the model theory of the corresponding classes of differential fields. Finally we consider definable groups, adapting former results of A. Pillay and K. Peterzil in the o-minimal case. |
![]() | ||||||
+ | Zoltán Vidnyánszky | Bases for Borel graphs of large chromatic number | 10/03/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
The first part of my talk will be an introduction to the field of Borel combinatorics. I will survey some of the most important results and discuss the connections to other fields. In the second part, I will talk about the structure of the collection of graphs with large Borel chromatic number, and whether it is possible to simply characterize them. |
![]() | ||||||
+ | James Hanson | A Versatile Counterexample for Invariant Types and Keisler Measures outside NIP | 03/03/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
Global types invariant over small sets of parameters are a central concept in stability and neo-stability theory. When dealing with NIP theories in particular, it is often useful to generalize to Keisler measures, finitely additive probability measures on the Boolean algebra of definable sets. Invariant types in NIP theories behave very regularly, and these properties extend readily to invariant measures. In this talk, we will present an ornate but conceptually simple theory that is the first known counterexample to two non-NIP generalizations of statements regarding types and measures as well as the second known (correct) counterexample to another such generalization. Joint work with Gabriel Conant and Kyle Gannon. |
![]() | ||||||
+ | Mickaël Matusinski | Surreal numbers with exponential and omega-exponentiation | 24/02/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
Introduced by Conway to evaluate partial combinatorial games, surreal numbers consist in a proper class containing "all numbers great and small". Moreover, they can be endowed with a very rich algebraic and even analytic structure, turning them into universal domains for several important theories : linearly ordered sets, ordered Abelian groups, ordered valued fields - in particular ordered generalized series fields via the omega-exponentiation -, real analytic fields and exponential fields, and more recently H-fields (an abstract version of Hardy fields due to M. Aschenbrenner and L. van den Dries). In this talk, I will introduce these fascinating objects, starting with the very basic definitions, and will give a quick overview, with a particular emphasis on exp (which extends exp on the real numbers) and the omega map (which extends the omega-exponentiation for ordinals). This will help me to subsequently present our recent contributions with A. Berarducci, S. Kuhlmann and V. Mantova concerning the notion of omega-fields (possibly with exp). One of our motivations is to clarify the link between composition and derivation for surreal numbers. |
![]() | ||||||
+ | Elaine Pimentel | A Game Model for Proofs with Costs (or: Trying to understand resource consciousness) | 17/02/2021 | 16:00 | ID de réunion : 825 2397 5662 Code secret : 523743 | ||
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this aim, we start with a game, where player I defends a claim corresponding to a (single-conclusion) sequent, while player II tries to refute that claim. Branching rules for additive connectives are modeled by choices of II, while branching for multiplicative connectives leads to splitting the game into parallel subgames, all of which have to be won by player I to succeed. The game comes into full swing by adding cost labels to assumptions, and a corresponding budget. Different proofs of the same end-sequent are interpreted as more or less expensive strategies for I to defend the corresponding claim. This leads to a new kind of labelled calculus, which can be seen as a fragment of SELL (subexponential linear logic). Finally, we generalize the concept of costs in proofs by using a semiring structure, illustrate our interpretation by examples and investigate some proof-theoretical properties. The talk assumes *no prior knowledge* on games or substructural logic. Only a basic notion of sequent systems is advisable. This is a joint work with Timo Lang, Carlos Olarte and Christian G. Fermüller. |
![]() | ||||||
+ | Rahman Mohammadpour | Specializing trees of height \omega_2 with finite approximation | 10/02/2021 | 16:00 | |||
It is well-known that under CH one can attempt to specialize trees of height ω_2 without cofinal branches using a naive forcing with countable approximations. However, one has to require more (the nonexistence of ascending paths) than the lack of cofinal branches to make sure that the naive attempt does not fail. I will discuss these possible obstacles to specialize trees of height ω_2 , and then use models as side conditions to construct a forcing notion with finite conditions, which under PFA specializes a given tree of height ω_2 without cofinal branches. If time permits, I will mention generalizations of this result to taller trees. |
![]() | ||||||
+ | Samuel Braunfeld | Cellularity and beyond | 03/02/2021 | 16:00 | |||
Cellular structures are a class of particularly simple
omega-categorical structures that yield a dividing line in many
combinatorial problems concerning hereditary classes and countable
structures. We will discuss where cellularity appears and its relation
to the more general model-theoretic properties of mutual algebraicity
and monadic stability. If time permits, we will also mention some
ongoing work on monadic NIP.
Much of this is joint work with Chris Laskowski. Slides. |
![]() | ||||||
+ | Matthew de Brecht | Quasi-Polish spaces as spaces of ideals, with applications to computable topology | 27/01/2021 | 14:00 | |||
We give a brief introduction to quasi-Polish spaces, which are a class of well-behaved countably based $T_0$-spaces that generalize both Polish spaces and $\omega$-continuous domains. We then present more recent results on a characterization of quasi-Polish spaces as spaces of ideals of a transitive relation on a countable set, and investigate some applications of this characterization to computable topology. |
![]() | ||||||
+ | Gianluca Basso | Compact metrizable structures via projective Fraïssé theory | 20/01/2021 | 16:00 | |||
The goal of projective Fraïssé theory is to approximate compact metrizable spaces via classes of finite structures and glean topological or dynamical properties of a space by relating them to combinatorial features of the associated class of structures. We will discuss general results, using the framework of compact metrizable structures, as well as applications to the study a class of one-dimensional compact metrizable spaces, that of smooth fences, and to a particular smooth fence with remarkable properties, which we call the Fraïssé fence. |
![]() | ||||||
+ | Simon Machado | Theorems of Meyer-type for approximate lattices | 13/01/2021 | 16:00 | |||
Björklund and Hartnick recently introduced a type of approximate subgroups called approximate lattices: discrete approximate subgroups of locally compact groups with finite co-volume. Their motivation was to define a non-commutative generalisation of Meyer’s mathematical quasi-crystals (certain aperiodic subsets of Euclidean spaces with long range order). A key question asks whether Meyer’s main theorem, that asserts that quasi-crystals are projections of certain subsets of higher-dimensional lattices, holds true for all approximate lattices. I will discuss how to relate Meyer’s theorem to a consequence of Hrushovski’s stabilizer theorem and how this idea can be utilised to obtain both an extension of Meyer’s theorem to amenable groups, and a decomposition theorem à la Auslander for approximate lattices in Lie groups. The latter result will then naturally lead us to take a look at approximate lattices in semi-simple groups. While an amenable Meyer-type theorem can be proved by drawing parallels between Meyer’s and Hrushovski’s point of view, we will see how ergodic-theoretic tools from Margulis’ proof of arithmeticity and Zimmer’s proof of cocycle superrigidity lead to a partial solution in the semi-simple case. |
![]() | ||||||
+ | Christian d'Elbée | Anneaux intègres dp-minimaux | 16/12/2020 | 16:00 | |||
Je présenterai les travaux de Yatir Halevi et moi même sur les anneaux intègres dp-minimaux. En vue de la classification des corps dp-minimaux, les anneaux intègres dp-minimaux sont proches d'être des anneaux de valuations, mais pas tout à fait. Ils sont locaux, divisés aus sens d'Akiba et tout localisé en un idéal premier non maximal est un sur-anneau de valuation. Un anneau intègre dp-minimal est un anneau de valuation si et seulement si le corps résiduel est infini ou bien le corps résiduel est fini et l'idéal maximal est principal. Je donnerai des exemples d'anneaux dp-minimaux qui ne sont pas des anneaux de valuations. Si le temps le permet, je présenterai aussi une preuve modèle-théorique d'un résultat de Echi et Khalfallah sur le spectre premier de l'anneau des nombres hyperréels bornés. |
![]() | ||||||
+ | Andrea Vaccaro | Set Theory and the Endomorphisms of the Calkin algebra | 09/12/2020 | 16:00 | |||
Set theory induces a sharp dichotomy in the structure of the set of automorphisms of the Calkin algebra Q(H): under the Open Coloring Axiom (OCA) all the automorphisms of Q(H) are inner (Farah, 2011), whereas the Continuum Hypothesis (CH) implies that there exist uncountably many outer automorphisms of Q(H) (Phillips-Weaver, 2007). After a brief introduction on the line of research that led to these results, I'll discuss how this dichotomic behavior extends to the semigroup End(Q(H)) of unital endomorphisms of Q(H). In particular, we'll see that under OCA all unital endomorphisms of Q(H) can be, up to unitary equivalence, lifted to unital endomorphisms of B(H). This fact allows to have an extremely clean picture of End(Q(H)), and has some interesting consequences concerning the class of C*-algebras that embed into Q(H). I will also discuss how the structure of End(Q(H)) completely changes under CH. |
![]() | ||||||
+ | Patrice Ossona de Mendez | Model theory meets combinatorics | 02/12/2020 | 16:00 | |||
The notions of first-order interpretations and transductions are the cornerstones of a bridge linking finite model theory and combinatorics in general, and graph theory in particular. I will survey some of the results and problems that emerged from this connection, including a model theoretical approach to graph sparsification and to graph limits. Slides. |
![]() | ||||||
+ | Simon André | Homogénéité faible dans les groupes virtuellement libres | 25/11/2020 | 16:00 | |||
Il y a quelques années, Perin et Sklinos, et indépendamment Ould Houcine, ont démontré que les groupes libres sont homogènes : deux uplets d'éléments qui ont le même type sont dans la même orbite sous l'action du groupe d'automorphismes. J'expliquerai dans mon exposé que les groupes virtuellement libres, c'est-à-dire les groupes qui possèdent un sous-groupe libre d'indice fini, ont une propriété un peu plus faible : l'ensemble des uplets ayant un type donné est la réunion d'un nombre fini (uniforme) d'orbites sous l'action du groupe d'automorphismes. |
![]() | ||||||
+ | Denis Osin | A topological zero-one law and elementary equivalence of finitely generated groups | 18/11/2020 | 16:00 | |||
The space of finitely generated marked groups, denoted by G, is a locally compact Polish space whose elements are groups with fixed finite generating sets; the topology on G is induced by the local convergence of the corresponding Caley graphs. We will discuss equivalent characterizations of closed subspaces S of G satisfying the following zero-one law: for any sentence sigma in the infinitary logic L_{\omega_1, \omega}, the set of all models of sigma in S is either meager or comeager. In particular, this zero-one law holds for certain natural spaces associated to hyperbolic groups and their generalizations. We will also discuss some open problems. |
![]() | ||||||
+ | Jeffrey Bergfalk | Set theory and strong homology: an overview | 04/11/2020 | 16:00 | |||
Motivated by several recent advances, we will provide a research history of the main set-theoretic problems arising in the study of strong homology. We will presume no knowledge, in our audience, of the latter. The aforementioned advances close out a second major phase of research in this area, leaving just a few conspicuous last "first questions," and our aim is to provide some context for engaging them. This research centers on multidimensional combinatorial phenomena generalizing the classical theme of \emph{nontrivial coherent families indexed by $^\omega\omega$}; its progress has involved an intriguing mix of classical (forcing axioms, iterations of large cardinal length) and novel (higher-dimensional $\Delta$-systems, simplicial combinatorics) set-theoretic techniques. |
![]() | ||||||
+ | Marcin Sabok | Hyperfiniteness at Gromov boundaries | 28/10/2020 | 16:00 | |||
I will discuss recent results establishing hyperfiniteness of equivalence relations induced by actions on Gromov boundaries of various hyperbolic spaces. This includes boundary actions of hyperbolic groups (joint work with T. Marquis) and actions of the mapping class group on boundaries of the arc graph and the curve graph (joint work with P. Przytycki) |
![]() | ||||||
+ | Dima Sinapova | Iteration, reflection, and singular cardinals | 21/10/2020 | 17:00 | |||
There is an inherent tension between stationary reflection and the failure of the singular cardinal hypothesis (SCH). The former is a compactness type principle that follows from large cardinals. Compactness is the phenomenon where if a certain property holds for every smaller substructure of an object, then it holds for the entire object. In contrast, failure of SCH is an instance of incompactness. Two classical results of Magidor are: (1) from large cardinals it is consistent to have reflection at $\aleph_{\omega+1}$, and (2) from large cardinals it is consistent to have the failure of SCH at $\aleph_\omega$. As these principles are at odds with each other, the natural question is whether we can have both. We show the answer is yes. We describe a Prikry style iteration, and use it to force stationary reflection in the presence of not SCH. Then we obtain this situation at $\aleph_\omega$ by interleaving collapses. This is joint work with Alejandro Poveda and Assaf Rinot. |
![]() | ||||||
+ | Tomás Ibarlucía | Automorphism groups acting on Hilbert spaces without almost invariant vectors | 14/10/2020 | 16:00 | |||
We will discuss, first, how to construct automorphisms of countable/separable saturated models (and, more interestingly, pairs of automorphisms) that act "very freely" on the structure, in a sense given by stability theory. Then we will see how to use this to show that automorphism groups of aleph_0-categorical metric structures have Kazhdan's Property (T), which roughly means that their unitary actions on Hilbert spaces do not have almost invariant vectors in non-trivial ways. |
![]() | ||||||
+ | Luc Pelissier | Entropy and Complexity Lower Bounds | 07/10/2020 | 16:00 | |||
Finding lower bounds in complexity theory has proven to be an extremely difficult task. We analyze three proofs of lower bounds that use techniques from algebraic geometry through the lense of dynamical systems. Interpreting programs as graphings – generalizations of dynamical systems due to Damien Gaboriau that model Girard's Geometry of Interaction, we show that the three proofs share the same structure and use algebraic geometry to give a bound on the topological entropy of the system representing the program. This work, joint with Thomas Seiller, aims at proposing Geometry of Interaction derived methods to study dynamical properties of models of computation beyond Curry-Howard. |
![]() | ||||||
+ | Luca Motto Ros | Anti-classification results for Archimedean groups | 30/09/2020 | 16:00 | |||
We study the complexity of the isomorphism relation for countable Archimedean groups, both in terms of Borel reducibility and with respect to the theory of potential classes developed by Hjorth, Kechris and Louveau. This will lead to a number of anti-classification results for such groups. We will also present similar results concerning the bi-embeddability relation over countable Archimedean groups and, if time permits, we will speak about analogous problems for countable models of certain o-minimal theories (ordered divisible abelian groups, real closed fields). Joint work with F. Calderoni, D. Marker, and A. Shani. |
![]() | ||||||
+ | Ludovic Patey | The computability-theoretic aspects of Milliken's tree theorem and applications | 24/06/2020 | 16:00 | |||
Milliken's tree theorem states that for every countable, finitely |
![]() | ||||||
+ | Michał Skrzypczak | Measure theory and Monadic Second-order logic over infinite trees | 17/06/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
Monadic Second-order (MSO) logic is a well-studied formalism featuring many decision procedures and effective transformations. It is the fundamental logic considered in automata theory, equivalent to various other ways of defining sets of objects. In this talk, I will speak about the expressive power of MSO over infinite binary trees (i.e. free structures of two successors) - the theory from the famous Rabin's decidability result. |
![]() | ||||||
+ | Assaf Rinot | Transformations of the transfinite plane | 10/06/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
We study the existence of transformations of the transfinite |
![]() | ||||||
+ | Colin | Actions of automorphism groups of Fraïssé limits on the space of linear orderings | 03/06/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
In 2005, Kechris, Pestov and Todorcevic exhibited a correspondence |
![]() | ||||||
+ | Eliott Kaplan | Model completeness for the differential field of transseries with exponentiation | 27/05/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
I will discuss the expansion of the differential field of logarithmic-exponential transseries by its natural exponential function. This expansion is model complete and locally o-minimal. I give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. These results build on Aschenbrenner, van den Dries, and van der Hoeven's model completeness result for the differential field of transseries. My method can be adapted to show that the differential field of transseries with its restricted sine and cosine and its unrestricted exponential is also model complete and locally o-minimal. |
![]() | ||||||
+ | Ludovic Patey | TBA | 27/05/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
![]() | |||||||
+ | Michael Hrusak | Strong measure zero in Polish groups | 20/05/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
We study the extent to which the Galvin-Mycielski-Solovay (joint with W. Wohofsky, J. Zapletal and/or O. Zindulka) |
![]() | ||||||
+ | Caroline Terry | Speeds of hereditary properties and mutual algebricity | 13/05/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
A hereditary graph property is a class of finite graphs closed under isomorphism and induced subgraphs. Given a hereditary graph property H, the speed of H is the function which sends an integer n to the number of distinct elements in H with underlying set {1,...,n}. Not just any function can occur as the speed of hereditary graph property. Specifically, there are discrete ``jumps" in the possible speeds. Study of these jumps began with work of Scheinerman and Zito in the 90's, and culminated in a series of papers from the 2000's by Balogh, Bollob\'{a}s, and Weinreich, in which essentially all possible speeds of a hereditary graph property were characterized. In contrast to this, many aspects of this problem in the hypergraph setting remained unknown. In this talk we present new hypergraph analogues of many of the jumps from the graph setting, specifically those involving the polynomial, exponential, and factorial speeds. The jumps in the factorial range turned out to have surprising connections to the model theoretic notion of mutual algebricity, which we also discuss. This is joint work with Chris Laskowski. |
![]() | ||||||
+ | Ilijas Farah | Between ultrapowers and reduced products | 06/05/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
Ultrapowers and reduced powers are two popular tools for studying countable (and separable metric) structures. Once an ultrafilter on N is fixed, these constructions are functors into the category of countably saturated structures of the language of the original structure. The question of the exact |
![]() | ||||||
+ | Christian Rosendal | Continuity of universally measurable homomorphisms | 29/04/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
We show that a universally measurable homomorphism between Polish |
![]() | ||||||
+ | Silvain Rideau-Kikuchi | A model theoretic theoretic account of the tilting equivalence | 22/04/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
Generalizing work of Krasner and Fontaine-Wintenberger on the isomorphism of absolute Galois groups between a mixed characteristic perfectoid field K and its charactersitic p tilt K^flat = prolim_{x -> x^p} K, Scholze introduced a notion of perfectoid adic space and proved an equivalence of category between perfectoid adic spaces over K and over K^flat. The goal of this talk will be to give a model theoretic translation of these results. We will show that, in a well chosen continuous structure, K and K^flat are bi-interpretable and that this immediately yields an equivalence of categories between type spaces over K and K^flat. We will then explain how these result relate to Scholze's results in adic geometry. This is joint work with Tom Scanlon and Pierre Simon |
![]() | ||||||
+ | Pablo Cubides Kovacsics | Pairs and pro-definability of type spaces | 15/04/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
Let T be a complete L-theory and M be a model of T. Let x be a tuple of variables and S_x(M) be the space of types over M with free variables x. In this talk we will be interested in the subset S_x^def(M) of S_x(M) of definable types. We will show that for various classical first order theories, including o-minimal expansions of divisible abelian groups, Presburger arithmetic, p-adically closed fields, real closed and algebraically closed valued fields and closed ordered differential fields, the space S_x^def(M)$ is pro-definable, i.e., a projective limit of definable sets.
Our general strategy consists in studying the class of stably embedded pairs of models of the T. Pro-definability is obtained by showing that such class is elementary in the language of pairs.
This is joint work with Jinhe Ye. |
![]() | ||||||
+ | Laurent Bartholdi | Problèmes de domino sur les groupes | 06/04/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
Soit G un groupe, fixé une fois pour toutes. On s'intéresse aux |
![]() | ||||||
+ | Pablo Cubides Kovacsics | Séance-annulée - TBA | 30/03/2020 | 15:15 | 2015 | Sophie Germain | |
![]() | |||||||
+ | Konstantin Slutsky | Séance annulée - Smooth orbit equivalence of free Borel $R^d$ actions. | 30/03/2020 | 16:00 | https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge | ||
Smooth Orbit Equivalence (SOE) is an orbit equivalence relation between free $R^d$ flows which acts as diffeomorphism between orbits. This concept originated in ergodic theory of $R$ flows under the name of time change equivalence, where it is closely connected with the concept of Kakutani equivalence of induced transformations. When viewed from the ergodic theoretical viewpoint, SOE has a rich structure in dimension one, but, as discovered by Rudolph, all ergodic measure preserving $R^d$ flows, $d > 1$, are SOE.
Miller and Rosendal initiated the study of this concept from the point of view of descriptive set theory, where phase spaces of flows aren't endowed with any measures. This significantly enlarges the class of potential orbit equivalences, and they proved that all non trivial free Borel $R$ flows are SOE. They posed a question of whether the same remains to be true in dimension $d>1$. In this talk we answer their question in the affirmative, and show that all non trivial Borel $R^d$ flows are SOE. |
![]() | ||||||
+ | Luc Pelissier | Séance annulée - TBA | 23/03/2020 | 15:15 | 2015 | Sophie Germain | |
![]() | |||||||
+ | Christian Espindola | Séance annulée - TBA | 16/03/2020 | 15:15 | 2015 | Sophie Germain | |
![]() | |||||||
+ | Amador Martin-Pizarro | Asymptotic Combinatorics, Stability and Ultrafilters | 09/03/2020 | 15:15 | 2015 | Sophie Germain | |
A finite subset A of a group G is said to have doubling K if the set A\cdot A consisting of products a\cdot b, with a and b in A, has size at most K|A|. Extreme examples of sets with small doubling are cosets of (finite) subgroups.
|
![]() | ||||||
+ | Matteo Viale | Tameness for Set Theory | 02/03/2020 | 15:15 | 2015 | Sophie Germain | |
We show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) |
![]() | ||||||
+ | Gareth Jones | Powers are easy to avoid | 24/02/2020 | 16:15 | 8029 | Sophie Germain | |
Suppose that a set is definable in the expansion of the real |
![]() | ||||||
+ | Nick Ramsey | Around exact saturation | 17/02/2020 | 15:15 | 2015 | Sophie Germain | |
Given a singular cardinal κ and a complete theory T, we say T has exact saturation at κ if there is a κ-saturated model of T that is not κ+-saturated. Stable theories and the random graph have exact saturation at every singular cardinal, while a dense linear order has exact saturation at no singular cardinal–accordingly, failure of exact saturation may be regarded as an avatar of linear order and one might attempt to classify theories according to whether they do or do not have exact saturation. We will describe recent work, joint with Itay Kaplan and Saharon Shelah, which offers several variations on this theme.
|
![]() | ||||||
+ | Alessandro Andretta | A descriptive view of the density point property in measure theory | 03/02/2020 | 15:15 | 2015 | Sophie Germain | |
I plan to give an overview of some of the work on descriptive set theory related to the Lebesgue density theorem. |
![]() | ||||||
+ | François Le Maître | Actions ultrahomogènes sur le graphe aléatoire | 20/01/2020 | 15:15 | 2015 | Sophie Germain | |
Le graphe aléatoire est l'unique graphe dénombrable infini universel (contenant tous les graphes finis comme sous-graphes) et tel que l'action de son groupe d'automorphisme soit ultrahomogène : tout isomorphisme partiel entre des sous-graphes finis s'étend en un automorphisme global du graphe. Il est naturel de se demander quels sont les groupes dénombrables admettant eux-même une action ultrahomogène sur le graphe aléatoire, autrement dit : quels sont les sous-groupes dénombrables denses du groupe d'automorphisme du graphe aléatoire ? Dans cet exposé, on donnera de nouveaux exemples de tels groupes (notamment les groupes de surface), obtenus dans un travail en commun avec Pierre Fima, Julien Melleray et Soyoung Moon. |
![]() | ||||||
+ | Philipp Schlicht | Oligomorphic groups are essentially countable | 09/12/2019 | 15:15 | 2015 | Sophie Germain | |
Model theoretic properties of a countable structure are closely connected with properties of its automorphism group. For instance, the automorphism groups of ω-categorical structures on N are precisely the oligomorphic closed subgroups of Sym(N) (a permutation group is oligomorphic if for each k there are only finitely many k-orbits). We study the complexity of topological isomorphism of oligomorphic closed subgroups of Sym(N) in the setting of Borel reducibility. Previous work of Kechris, Nies and Tent, and independently Rosendal and Zielinski, showed that this equivalence relation is below graph isomorphism. We show that it is below a Borel equivalence relation with countable equivalence classes. This is joint work with Andre Nies and Katrin Tent. |
![]() | ||||||
+ | Andreas Hallback | Locally Roelcke precompact groups and continuous logic | 02/12/2019 | 15:15 | 2015 | Sophie Germain | |
The topic of this talk lies at the intersection of continuous logic and Polish group theory. Inspired by a result of Ben-Yaacov, Rosendal and Tsankov characterising the Roelcke precompact Polish groups as automorphism groups of separably categorical metric structures, we give a characterisation of the locally Roelcke precompact Polish groups, using concepts from continuous model theory. If time permits, we will see how this result applies to the so-called Urysohn diversity - a hypergraph version of metric spaces introduced recently by Bryant, Nies and Tupper. We will give brief introductions to all subjects involved, but hope the audience is somewhat familiar with continuous logic. |
![]() | ||||||
+ | Victor Vianu | Analysis of data-driven workflows | 25/11/2019 | 15:15 | 2015 | Sophie Germain | |
Software systems centered around databases have become pervasive in a wide variety of applications, including health-care management, e-commerce, business processes, scientific workflows, and e-government. Such applications support complex workflows involving numerous interacting actors, whence the critical need for various analysis tools. Unlike arbitrary software systems, data-driven applications are increasingly specified using high-level logic-based tools, which greatly facilitates the analysis task. This new opportunity has given rise to a flourishing research area at the intersection of databases and computer-aided verification, in both academia and industry. This talk will present an overview of recent research in this area, carried out with collaborators at UC San Diego, INRIA, CNRS and ENS. |
![]() | ||||||
+ | Matteo Mio | Towards a Proof Theory of Probabilistic Logics | 18/11/2019 | 15:15 | 2015 | Sophie Germain | |
Probabilistic Logics are formal languages designed to express properties of probabilistic programs. For most probabilistic logics several key problems are still open. One of such problems is to design convenient analytical proof systems in the style |
![]() | ||||||
+ | Asaf Karaglia | Countable unions of countable sets, their power sets, and the axiom of choice | 04/11/2019 | 15:15 | 2015 | Sophie Germain | |
The union of countably many countable sets is countable, assuming the axiom of choice, and its power set is finite or the same size as the real numbers. But what happens without the axiom of choice? We will go over the basic results and slowly builds towards the theorem of D.B. Morris: There is no bound on how many subsets a countable union of countable sets can have. |
![]() | ||||||
+ | Andrew Zucker | Weak amalgamation versus amalgamation | 28/10/2019 | 15:15 | 2015 | Sophie Germain | |
Fraisse classes are those classes F of finite structures satisfying the Hereditary Property (HP), the Joint Embedding Property (JEP), and the Amalgamation Property (AP). The JEP allows one to build some countably infinite structure K whose age (the collection of finite structures which embed into K) is the class F that we started with. If AP also holds, then there is a canonical such K which we denote K_F, the Fraisse limit of the class. One can interpret this fact dynamically by considering the action of the group S_\infty on the space X_F of countable structures whose age is contained in F. One can give X_F a natural Polish topology, and the theorem of Fraisse is precisely the fact that this action has a comeager orbit. However, Ivanov, and later Kechris-Rosendal, isolated a strictly weaker property, the Weak Amalgamation Property (WAP), which also guarantees that the space X_F has a comeager orbit. This gives rise to a natural question: can we detect the difference between AP and WAP from the dynamical point of view? This talk will discuss an affirmative answer, linking these amalgamation properties to the dynamical notion of a highly proximal extension. |
![]() | ||||||
+ | Sylvy Anscombe | Axiomatizing denseness in real and p-adic closures | 21/10/2019 | 15:15 | 2015 | Sophie Germain | |
The real/p-adic closures of an ordered/p-valued field need not be complete. Conversely, one may wonder when an ordered/p-valued field is dense in its real/p-adic closures. We study the property of a field that it is dense in all its real/p-adic closures. We examine when this property is elementary in the language of rings. It is not always elementary, but for fields with finite Pythagoras/p Pythagoras numbers, it is so. In particular we show that this property holds for models of the theory of algebraic fields of characteristic zero. This essentially includes all previously known examples. This is joint work with Philip Dittmann and Arno Fehm. |
![]() | ||||||
+ | Konstantin Slutsky | Orbit Equivalence Relations of Borel Flows | 14/10/2019 | 15:15 | 2015 | Sophie Germain | |
We present an overview of the theory of orbit equivalence relations of Borel flows, (i.e. free Borel actions of the Euclidean space). While more familiar in the framework of countable group actions, orbit equivalence is an important tool in understanding the structure of $\mathbb{R}^n$ actions just as well. We will survey a number of related results including: - the classification of Borel flows up to Lebesgue Orbit Equivalence (which can be viewed as the analog of Dougherty--Jackson--Kechris classification of hyperfinite equivalence relations); - connections of this classification to Rudolph's theorem about regular cross sections; - Topological Orbit Equivalence, including the Miller--Rosendal theorem on time-change equivalence. |
![]() | ||||||
+ | Alex Berenstein | Randomizations and groups | 30/09/2019 | 15:15 | 2015 | Sophie Germain | |
Randomizations were introduced by Keisler and Ben Yaacov and they can be understood intuitively as random variables with values in M. In this talk we will give a brief introduction to the subject and study two kinds of groups that appear naturally in the construction:
1. When M is a group, the randomization inherits a natural pointwise group operations that inherits many properties from M: being abelian, definably nilpotent, etc. We show (joint work with Muñoz) that when T is stable its randomization is always connected group.
2. The group of isometries of these structures have been characterized and studied by Ibarlucía. They can be understood in terms of the group of automorphisms of M. We will discuss several topologies that arise naturally in this group and prove (joint work with Zamora) how some dynamical properties of Aut(M) transfer to the group of isometries of its Borel randomization. |
![]() | ||||||
+ | Jörg Brendle, University of Kobe, Japan | Cardinal invariants, small and large | 16/09/2019 | 15:15 | |||
{\em Cardinal invariants of the continuum} are cardinal numbers describing the combinatorial structure of the real numbers (the Cantor space $2^\omega$ or the Baire space $\omega^\omega$) and typically taking values between the first uncountable cardinal $\aleph_1$ and the cardinality of the continuum $\mathfrak c$. An example is the unbounding number $\mathfrak b$, the smallest size of a family of functions in $\omega^\omega$unbounded in the eventual dominating ordering. Such cardinal invariants have many applications in areas like general topology, group theory, real analysis, etc. While cardinal invariants of the continuum have been investigated intensively for decades, more recently people have started to look at the higher Cantor space $2^\kappa$ and the higher Baire space $\kappa^\kappa$, where $\kappa$ is an uncountable regular cardinal, and redefined analogous cardinals, called {\em higher cardinal invariants},in this context. Many results known for $\omega$ carry over to $\kappa$, in particular in the case when $\kappa$ is a large cardinal. However, there are also several interesting differences between the classical case and higher cardinalinvariants. I will give a survey on cardinal invariants, starting with the classical case, and then moving to higher invariants. |
![]() | ||||||
+ | David Evans | Higher amalgamation in measurable structures | 20/05/2019 | 15:10 | |||
Measurable structures were introduced by Macpherson and Steinhorn in 2008. Their definition abstracts certain properties of pseudofinite fields (following work of Chatzidakis, van den Dries and Macintyre) and has as a consequence that MS-measurable structures are supersimple of finite rank.
We give a higher amalgamation property which holds in MS-measurable structures (and more general contexts) which is a straightforward consequence of an infinitary formulation due to Towsner of the Hypergraph Removal Lemma. It is an open question whether omega-categorical MS-measurable structures are necessarily one-based. Hrushovski constructions could potentially give counterexamples, but it is not known whether these can be MS-measurable. However, as a consequence of the higher amalgamation result, we can at least give an example of an omega-categorical supersimple Hrushovski construction which is not MS-measurable. |
![]() | ||||||
+ | Raphaël Carroy | Le plongement topologique et la réduction continue sur la première classe de Baire | 13/05/2019 | 15:10 | |||
Une fonction entre espaces polonais de dimension zéro est de première classe de Baire lorsqu'elle est ponctuellement la limite d'une suite de fonctions continues. Cet exposé sera centré sur deux quasi-ordres entre fonctions de première classe de Baire: le plongement topologique et la réduction continue.
Un plongement topologique entre espaces est une injection continue dont la fonction inverse est également continue. Un plongement topologique d'une fonction $f$ dans une fonction $g$ est une paire $(a,b)$ de plongements topologiques vérifiant l'équation $b \circ f = g \circ a$. Une réduction continue de $f$ à $g$ est une paire $(a,b)$ de fonctions continues vérifiant l'équation $f = b \circ g \circ a$. On parlera de la complexité de ces deux quasi-ordres: on identifiera des sous-classes de fonctions sur lesquelles ils sont des bons-quasi-ordres, c'est à dire bien fondés et sans antichaînes infinies. On verra également que le plongement topologique n'est pas toujours un bon-quasi-ordre, dans certains cas il est en fait complet pour les quasi-ordres analytiques. |
![]() | ||||||
+ | Alexis Saurin | De la descente infinie à la programmation avec des types (co)inductifs | 15/04/2019 | 15:10 | |||
La logique de la programmation s'est développée depuis la mise en évidence des liens étroits qu'entretiennent théorie de la démonstration et théorie de la programmation. La correspondance, dite de Curry-Howard, entre
1) formules logiques et types de données 2) preuves et programmes 3) élimination des coupures (ou normalisation de preuve) et exécution d'un programme a stimulé une intense activité visant à comprendre le contenu logique des structures de programmation et le contenu calculatoire des formes du raisonnement ou des axiomes logico-mathématiques et a renouvelé les perspectives sur la programmation comme sur la théorie de la démonstration. Dans cet exposé, on s'intéressera à diverses formes de raisonnements par induction, de la récurrence usuelle à la descente infinie, et aux systèmes de preuves qui les formalisent. Je considérerai notamment des logiques à points fixes (dérivées du mu-calcul, qui permettent d'exprimer aussi bien des enoncés inductifs que coinductifs), dans lesquelles j'étudierai des systèmes de preuves non bien-fondés où les dérivations sont des arbres potentiellement infinis (éventuellement réguliers). Je présenterai les principaux résultats de la théorie de la démonstration infinitaire (en particulier l'élimination des coupures), ses relations avec les preuves finitaires ainsi que des perspectives d'application à la programmation. |
![]() | ||||||
+ | Anton Freund | Collapsing large ordinals | 08/04/2019 | 15:10 | |||
This talk discusses the power of "almost" order preserving collapsing functions, which map large ordinals (uncountable resp. non-recursive) to smaller ones (countable resp. recursive). More precisely, I will consider collapsing functions in the context of dilators (J.-Y. Girard): Let $D$ be a dilator, i.e. a particularly uniform function from ordinals to ordinals. It can happen that we have $D(\alpha)>\alpha$ for every ordinal $\alpha$, so that $D$ has no fixed-point. The best we can expect is a collapsing function $D(\alpha)\rightarrow\alpha$ that is almost order preserving, in a sense that will be made precise in the talk. If such a function exists, then $\alpha$ is called a Bachmann-Howard fixed-point of $D$. I will show that the following holds over a weak base theory: The statement that "every dilator has a Bachmann-Howard fixed-point" is equivalent to the existence of admissible sets, and hence to $\Pi^1_1$-comprehension (full details can be found in arXiv:1809.06759). |
![]() | ||||||
+ | Françoise Point | Expansions de corps dp-minimaux avec une derivee et applications aux theories de paires denses de corps | 25/03/2019 | 15:10 | |||
L'etude des corps topologiques differentiels est traditionnellement divisee en deux branches, l'une traite le cas ou il y a une interaction (forte) entre la derivee et la topologie et l'autre ou le comportement de la derivee sera generique. Nous nous placons dans ce dernier cas. Sous certaines conditions sur une theorie modele-complete de corps topologiques, on peut axiomatiser la theorie T^*_D de la classe des expansions differentielles existentiellement closes.
Le but de l'expose est d'expliquer quelques resultats de transferts entre T et T^*_D et de montrer comment les appliquer aux theories de paires denses de modeles de T. Il s'agit d'un travail en commun et en cours avec Pablo Cubides (Dresden). |
![]() | ||||||
+ | Thomas Seiller | Des preuves aux programmes, aux systèmes dynamiques. Perspectives géométriques en complexité algorithmique | 18/03/2019 | 15:10 | |||
La question de la séparation des classes de complexité fait actuellement face à un manque cruel de méthodes. En effet, de nombreux résultats, appelés barrières, démontrent que les méthodes de preuve connues ne permettront pas de répondre aux questions ouvertes principales. Le principal programme de recherche qui pourrait circonvenir aux barrières est le programme de complexité géométrique de K. Mulmuley. Celui-ci propose de montrer des résultats de séparation via des techniques de géométrie algébrique, et a été introduit après l'obtention d'un résultat de bornes inférieures une variante algébrique de PRAMs, un modèle de machines parallèles ad-hoc.
Cet exposé expliquera comment certaines méthodes récentes venant de la logique permettent de proposer une nouvelle approche à la question de la séparation. Basée sur une interpretation dynamique des programmes, celle-ci suggère une correspondance entre l'expressivité des modèles de calcul étudiés et certains invariants venant de théorie ergodique. Je présenterai également un travail en collaboration avec L. Pellissier, qui a consisté à relire la preuve de séparation ayant inspiré le programme de complexité géométrique via ce nouveau point de vue, faisant apparaitre le rôle de l'entropie topologique des systèmes dynamiques associés aux machines. Au-delà de renforcer l'intuition d'une correspondance entre classes de complexité et certaines classes de systèmes dynamiques, cette abstraction du résultat nous permet également de renforcer le résultat de séparation pour montrer que le problème maxflow (problème complet pour la classe P) n'est pas calculable efficacement par une machine parallèle travaillant avec des entiers. |
![]() | ||||||
+ | Martin Bays | Isolation, compression schemes, and density of compressibility | 11/03/2019 | 15:10 | |||
In model theory, various notions of isolation - ways in which the full information of a type may be determined by a fragment of it - have been important tools for the analysis and classification of models of a theory. Meanwhile, much has been written in machine learning theory on sample compression schemes - ways to code information on a concept in a bounded part.
These related ideas came together in work of Chernikov and Simon on NIP and distal theories, where they found in particular that a theory is distal precisely when every type satisfies a certain isolation notion, termed "compressibility". A model-theoretically natural question to ask of such an isolation notion is whether isolated types are dense in the natural topological space of types. Meanwhile, a recent result of Chen, Cheng, and Tang provides a strong form of compression scheme for a finite concept class, bounded in terms of its VC dimension. In work joint with Itay Kaplan and Pierre Simon, we give a certain generalisation of this last result to infinite concept classes, and use it to obtain density of compressible types in countable NIP theories. |
![]() | ||||||
+ | Joan Bagaria | Symmetry and Self-Similarity in the Higher Infinite | 04/03/2019 | 15:10 | |||
The Higher Infinite is the realm of the Large Cardinals, namely very large infinite cardinal numbers with strong combinatorial properties and whose existence cannot be proved from the standard Zermelo-Fraenkel axioms of set theory with Choice (ZFC). Large cardinal axioms of set theory assert the existence of such cardinals, which form a hierarchy that measures the consistency strength of mathematical theories. In this talk we will present some results, some old as well as some recent ones, that point to a unified view of the large cardinal hierarchy in terms of symmetry and self-similarity of the set-theoretic universe. |
![]() | ||||||
+ | Hector Pasten | Diophantine sets of number fields and their rings of integers --- à 16h en salle 1016 | 25/02/2019 | 16:00 | |||
A subset of a ring is diophantine if it is positive existentially definable in the language of rings. In number fields or in their rings of integers, every diophantine set is listable (i.e. recursively enumerable) and one can ask whether every listable set is diophantine. For instance, a classical theorem of Davis, Matiyasevic, Putnam, and Robinson shows that for the usual integers Z the answer is positive. I will discuss some general conjectures and some partial results suggesting that in the number field case not every listable set is diophantine, while in the case of rings of integers every listable set should be diophantine.
|
![]() | ||||||
+ | Benjamin Siskind | Meta-iteration trees and mouse pairs | 18/02/2019 | 15:10 | |||
The fundamental objects of study in inner model theory are iterable premice---fine-structual models of set theory which have winning strategies in certain iteration games. In the standard iteration game, two players work to produce an iterate N of a premouse M via a tree of iterated ultrapowers called a normal iteration tree. In a variant game, players produce an iterate N not via a single iteration tree but via a linear stack of normal trees. Recent work has revealed connections between these games, which have various applications in inner model theory. The key framework for understanding these connections is the theory of meta-iteration trees: iteration trees of iteration trees. Using this framework, we show that any nice winning strategy S in the standard game extends to a winning strategy S* in the variant game. Moreover, every iterate N obtainable via a play by S* in the variant game is actually obtainable via a play by the original strategy S. This is joint work with John Steel.
|
![]() | ||||||
+ | Paul-André Melliès | Jeux de gabarit: un modèle homotopique et interactif de la logique linéaire différentielle | 04/02/2019 | 15:10 | |||
La sémantique des jeux permet de décrire toute formule logique comme un jeu de dialogue et toute démonstration comme une stratégie interactive. Dans cet exposé introductif, j'expliquerai comment la notion de jeu de gabarit est née du désir de mieux comprendre la structure algébrique et combinatoire en espace et en temps de la sémantique des jeux. Mon exposé sera organisé en trois parties. J'expliquerai tout d'abord ce qu'est un modèle catégorique de la logique linéaire différentielle formulée par Thomas Ehrhard. Je décrirai ensuite le modèle des distributeurs et espèces généralisées formulé il y a dix ans par Marcelo Fiore, Nicola Gambino, Martin Hyland and Glynn Winskel, et les liens que ce modèle entretient avec la notion d'opérade en topologie algébrique. Je conclurai en décrivant le modèle des jeux de gabarit, et en expliquant les raisons pour lesquelles on doit faire interagir les démonstrations logiques modulo une notion d'homotopie, formulée dans le cadre des catégories modèles de Quillen. |
![]() | ||||||
+ | Esther Elbaz | Structures dont l'anneau de Grothendieck est $\mathbb{Z}/N\mathbb{Z}$ | 28/01/2019 | 15:10 | |||
Les anneaux de Grothendieck ont été introduits en théorie des modèles au début des années 2000. Ils sont une généralisation de la notion d'anneau de Grothendieck connue en géométrie algébrique. Il existe un parrallèle entre mes propriétés combinatoires d'une structure et les propriétés algébriques de son anneau de Grothendieck. Ces anneaux apparaissent également en intégration motivique, où ils sont utilisés pour exprimer de manière uniforme les formules de certaines fonctions de comptage.
On peut se demander quels anneaux peuvent apparaître comme anneaux de Grothendieck. On ne savait pas jusque récemment, s'il en existait de finis. Dans cet exposé, nous montrerons que pour tout nombre entier $N$, nous allons construire une théorie dont tous les modèles admettent $\mathbbZ/N \mathbbZ$ comme anneau de Grothendieck. |
![]() | ||||||
+ | Paola d'Aquino | Roots of exponential polynomials | 21/01/2019 | 15:10 | |||
Zilber identifies a new class of exponential fields (pseudo-exponential fields), and proves a categoricity result for every uncountable cardinality. He conjectures that the classical complex exponential field is the unique model of power continuum. Some of the axioms of Zilber have a geometrical nature and they guarantee solvability of systems of exponential equations over the field. In the last 15 years much attention has been given to extend classical results for the complex exponential field to the pseudo-exponential fields, and vice versa much effort has been put in proving for the complex field properties of solutions of exponential polynomials which follow from the axioms of Zilber. Analytic methods have been substituted by algebraic and geometrical arguments. I will review some of the first results on this and I will present more recent ones obtained in collaboration with A. Fornasiero and G. Terzo
|
![]() | ||||||
+ | Alessandro Vignati | Logic and Cech-Stone remainders | 14/01/2019 | 15:10 | |||
We study the properties of Cech-Stone remainder spaces, spaces of the form beta X minus X for a locally compact X where beta X denotes the Cech-Stone compactification of X. We focus on how logic interacts with the study of these objects. We approach such spaces both model theoretically, by looking at the continuous model theory of the C*-algebra of complex valued functions on beta X minus X, and set theoretically, by arguing that their homeomorphism structure depends on the axioms in play. |
![]() | ||||||
+ | Juliette Kennedy | On Extended Constructibility | 10/12/2018 | 15:10 | |||
If we replace first order logic by second order logic in the original definition of Gödel’s inner model L, we obtain HOD (result due to Myhill-Scott). In this talk after giving some historical background we consider inner models that arise if we replace first order logic by a logic that has some, but not all, of the strength of second order logic. Typical examples are the extensions of first order logic by generalized quantifiers, such as the Magidor-Malitz quantifier ([21]), the cofinality quantifier ([32]), or stationary logic ([6]). Our first set of results show that both L and HOD manifest some amount of robustness in the sense that they are not very sensitive to the choice of the underlying logic. Our second set of results shows that the cofinality quantifier gives rise to a new robust inner model between L and HOD. We show, among other things, that assuming a proper class of Woodin cardinals the regular cardinals above \aleph_1 of V are weakly compact in the inner model arising from the cofinality quantifier and the theory of that model is (set) forcing absolute and independent of the cofinality in question. |
![]() | ||||||
+ | Hugo Herbelin | Calculer avec le théorème de complétude de Gödel | 03/12/2018 | 15:10 | |||
Dans un premier temps, nous donnerons une analyse du contenu calculatoire de la preuve de Henkin du théorème de complétude (dans le cas d'une théorie récursivement énumérable).
Dans un deuxième temps, on s'intéressera à la traduction de forcing de l'énoncé de complétude pour s'apercevoir qu'on obtient alors un énoncé de complétude vis à vis des modèles de Kripke. En ré-interprétant la preuve standard de complétude vis à vis des modèles de Kripke en style direct (dans le même sens où la logique classique est un « style direct » pour raisonner intuitionnistiquement au travers des traductions négatives de Kolmogorov-Gödel-Gentzen), on obtiendra une preuve originale et calculatoire très simple du théorème de complétude... mais qui utilise une allocation mémoire ! |
![]() | ||||||
+ | Hadrien Batmalle | Forcing, réalisabilité classique et propriétés de préservation | 26/11/2018 | 15:10 | |||
La réalisabilité classique est une technique d'interprétation des énoncés d'une théorie par des programmes. Elle permet de construire des modèles et apparaît comme une généralisation du forcing. Si l'interprétation de théorèmes par des programmes a un intérêt évident en informatique, l'étude des modèles de ZF obtenus par réalisabilité classique est aussi intéressante en soi: en effet, sauf dans les cas dégénérés, ces modèles sont très différents des modèles de forcing; par exemple ils ne conservent pas les ordinaux. Cela permet d'exhiber des propriétés pathologiques qu'on ne savait pas obtenir précédemment (on a donc un outil supplémentaire pour les preuves d'indépendance) mais présente aussi de nouvelles difficultés. En particulier, si on sait bien souvent en forcing quels sont les critères que doit vérifier la structure des conditions pour obtenir telle ou telle propriété dans le nouveau modèle, la réalisabilité est, pour le moment, beaucoup plus difficile à aborder. On présentera ici quelques
techniques récentes de réalisabilité classique à rapprocher de techniques bien connues en forcing: l'opérateur de bar-récursion, qui joue un rôle analogue aux ensembles de conditions omega-clos (Krivine 2014) et un nouveau résultat de transfert de propriétés du modèle de départ qui est utilisé dans les mêmes situations que des critères de type conditions d'antichaîne. On appliquera ce dernier résultat à la construction de modèles de réalisabilité pour la négation du choix dénombrable et la négation de l'hypothèse du continu, et donc de programmes réalisant ces énoncés. |
![]() | ||||||
+ | Guillaume Malod | Les séries d'arbres et la complexité algébrique | 19/11/2018 | 15:10 | |||
Un résultat de Nisan de 1991 donne une caractérisation exacte de la complexité de calcul d'un polynôme non-commutatif par un modèle appelé branching program, via les rangs de certaines matrices. Fijalkow, Lagarde, Ohlmann et Serre ont récemment remarqué que ces résultats étaient en fait des cas particuliers de théorèmes sur les séries formelles de mots et d'arbres et ont cherché à les exploiter ceux-ci pour les appliquer à la complexité algébrique.
J'essaierai de faire une présentation synthétique de ces différents résultats. |
![]() | ||||||
+ | Frank Wagner | Anneaux et groupes dimensionnels | 12/11/2018 | 15:10 | |||
Je définirai une notion générale de dimension sur les ensembles interprétables d'une structure, et j'analyserai les anneaux et groupes qui peuvent être munis d'une telle dimension. |
![]() | ||||||
+ | Thomas Ehrhard | Sur la sémantique des langages de programmation probabilistes | 05/11/2018 | 15:10 | |||
La sémantique dénotationnelle, introduite par Scott et Strachey à la fin des années 1960, consiste à interpréter les programmes par des fonctions définies sur des "domaines" qui sont le plus souvent des ensembles partiellement ordonnés dans lesquels, intuitivement, un élément est d'autant plus grand qu'il est plus défini. On présentera une sémantique dénotationnelle des programmes probabilistes basée sur les "espaces cohérents probabilistes" dans laquelle les programmes sont interprétés par des fonctions analytiques dont toutes les dérivées sont positives, on donnera des exemples et on présentera diverses propriétés de ce modèle (adéquation, pleine abstraction etc). |
![]() | ||||||
+ | Frank Benoist | Ingrédients modèle-théoriques dans la preuve de la conjecture de Mordell-Lang | 29/10/2018 | 15:10 | |||
La preuve de la conjecture de Mordell-Lang pour les corps de fonctions par Hrushovski en 1996 constitue un exemple marquant d'application des méthodes de la théorie des modèles à la géométrie algébrique. Depuis, dans un travail commun avec Elisabeth Bouscaren et Anand Pillay, nous avons donné une preuve, se voulant plus abordable, de ce résultat, par réduction à la conjecture (démontrée) de Manin-Mumford. J'expliquerai les relations entre ces deux énoncés et présenterai les outils et méthodes de théorie des modèles qui interviennent dans la preuve. L'exposé se veut accessible aux non-spécialistes.
|
![]() | ||||||
+ | David Aspero | The special $\aleph_2$-Aronszajn tree property and GCH | 15/10/2018 | 15:10 | |||
Assuming the existence of a weakly compact cardinal, we build a forcing extension in which GCH holds and every $\aleph_2$-Aronszajn tree is special. This answers a well-known question from the 1970's. I will present the proof of this theorem, with as many details as possible. This is joint work with Mohammad Golshani.
|
![]() | ||||||
+ | Jouko Vaananen | An invitation to dependence logic | 08/10/2018 | 15:10 | |||
I will give an introduction to dependence logic and to the team semantics on which it rests. Dependence logic is an inquiry into the first order and algorithmic properties of dependence and independence relations in mathematics, statistics and computer science. I will discuss connections to model theory, database theory, quantum physics, social choice and set theory. It is perhaps surprising that the opposite of dependence is not independence, but rather anonymity or privacy, extending the investigation into another notoriously important field. |
![]() | ||||||
+ | Alessandro Vignati | L'exposé est reporté à une date ultérieure - Uniform Roe algebras and rigidity, part II | 24/09/2018 | 15:10 | |||
This talk is the second part of Farah's talk from two weeks ago. From a coarse metric space X one associates a C*-algebra known as the Uniform Roe algebra of X. This algebra has a canonical quotient called the Uniform Roe corona of X. We study the question of what information on spaces X and Y one can infer when the Uniform Roe coronas of X and Y are isomorphic, and how answers to this question depend on the set theoretical axioms in play. This is joint work with Bruno Braga and Ilijas Farah. |
![]() | ||||||
+ | Andrew Zucker | Bernoulli disjointness | 17/09/2018 | 15:10 | |||
Building on recent work of Glasner and Weiss, we will consider a countable group G and define the notion of disjointness between two G-flows X and Y. We then consider the question of when every minimal flow is disjoint from the Bernoulli shift. Time permitting, we will discuss an application of these ideas to an old problem in topological dynamics due to Ellis and/or Furstenberg.
|
![]() | ||||||
+ | Ilijas Farah | Uniform Roe algebras and rigidity | 03/09/2018 | 15:10 | |||
I will start by defining the coarse equivalence of metric spaces. This is an equivalence relation meant to capture the large scale geometry of a given space.
To a coarse metric space one can associate a C*-algebra called uniform Roe algebra. When does isomorphism of uniform Roe algebras associated imply coarse equivalence of the underlying coarse spaces? A recent result of Spakula and Willett gives sufficient conditions in the case of coarse metric spaces. These conditions are uniform discreteness and property A (the ‘coarse’ variant of amenability). I will discuss a weakening of these conditions. Very recently, these rigidity results were extended to Roe coronas (quotients of uniform Roe algebras modulo the compact operators). No previous knowledge of coarse spaces, Roe algebras, or logic is required. (This is a joint work with Bruno De Mendoca Braga and Alessandro Vignati.) |
![]() | ||||||
+ | Matthew Foreman | Global Structure Theorems for the space of measure preserving transformations | 02/07/2018 | 15:10 | |||
In joint work with B. Weiss we show that there is a very large class of ergodic transformations (a “cone” under the pre-ordering induced by factor maps) whose joining structure is identical to another class, the “circular systems”. The latter class is of interest because every member can be realized as a Lebesgue-measure preserving diffeomorphism of the torus T^2.
Using this theorem, we are able to conclude that the joining structure among diffeomorphisms includes that of a cone of diffeomorphisms. This solves several well-known problems such as the existence of ergodic Lebesgue measure preserving diffeomorphisms with an arbitrary compact Choquet simplices of invariant measures and the existence of measure-distal diffeomorphisms of T^2 of height greater than 2. (In fact we give examples of arbitrary countable ordinal height.) As a bonus result we give a class of diffeomorphisms T of the torus “Godel's diffeomorphisms” for which T being isomorphic to T^-1 is independent of ZFC. |
![]() | ||||||
+ | Delia Kesner | Types Quantitatifs: Fondements et Applications | 04/06/2018 | 15:10 | |||
Des techniques quantitatives émergent aujourd'hui dans différents domaines de l'informatique pour faire face aux défis posés par le calcul sensible à la consommation des ressources.
Dans cet exposé on discutera de la pertinence de la théorie des types quantitatifs associés aux langages de programmation d'ordre supérieur (avec filtrage, opérateurs de contrôle, réductions infinis). En commençant par l'exemple phare du lambda-calcul, on présentera ses fondements, des extensions puissantes et plusieurs applications intéressantes. |
![]() | ||||||
+ | Daniel Soukup | High Davies-trees in infinite combinatorics | 07/05/2018 | 15:10 | |||
The goal of this talk is to explore a general method based on trees of elementary submodels which can be used to highly simplify proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we also present the corresponding technique with countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic. |
![]() | ||||||
+ | Noé de Rancourt | Théorie de Ramsey sans principe des tiroirs, et propriété de Ramsey adverse | 05/03/2018 | 15:10 | |||
La théorie de Ramsey de dimension infinie est une branche de la théorie de Ramsey dans laquelle on cherche à obtenir des sous-structures homogènes de structures données lorsqu'on colorie des suites infinies d'éléments de cette structure. Son théorème fondateur est le théorème de Galvin-Prikry, mais de nombreux théorèmes similaires ont été démontrés par la suite. Tous reposent sur un principe des tiroirs, c'est-à-dire un résultat dans lequel on colorie non pas des suites de points, mais seulement des points.
Le premier résultat de type Ramsey sans principe des tiroirs a été démontré par Gowers dans les années 90, dans le cadre des espaces de Banach. L'abandon du principe des tiroirs a un prix : on ne peut pas obtenir de sous-structures réellement homogènes mais seulement des sous-structures qui le sont "presque", le "presque" étant ici exprimé en terme de jeux. Dans cet exposé, je présenterai un théorème de type Ramsey sans principe des tiroir dans un cadre abstrait, généralisant à la fois le théorème de Galvin-Prikry et celui de Gowers. Ce résultat motivera l'introduction de la propriété de Ramsey stratégique, une propriété des ensembles de suites d'entiers qui, dans ZFC, est satisfaite par tous les ensembles analytiques. J'introduira par la suite la propriété de Ramsey adverse, une propriété généralisant à la fois la propriété de Ramsey stratégique et la détermination des jeux sur les entiers. En terme d'implications, cette propriété se situe entre la détermination des jeux sur les réels et celle des jeux sur les entiers, mais on ne sait pas exactement où ; j'énoncerai quelques résultats concernant la propriété de Ramsey adverse pour les ensembles projectifs sous des hypothèses supplémentaires de théorie des ensembles, qui permettront de mieux la situer. |
![]() | ||||||
+ | Chris Laskowski | Borel complexity and potential canonical Scott sentences | 26/02/2018 | 15:10 | |||
Given a first order theory or a sentence $\Phi$ of $L_\omega_1,\omega$, we define the class of potential canonical Scott sentences of $\Phi$. Simply by comparing cardinalities, we obtain new results about the Borel complexity of $(Mod(\Phi),\iso)$, the class of countable models of $\Phi$. In particular, we find examples of first order theories T for which Mod(T) is not Borel complete, yet the isomorphism relation on Mod(T) is not Borel.
This is joint work with Douglas Ulrich and Richard Rast. |
![]() | ||||||
+ | Rafael Zamora | Definably amenable groups and the fixed point property | 19/02/2018 | 15:10 | |||
We proved an analogue of the fixed point property for definably amenable groups. This work is joint with J.F. Carmona, K. Davila and A. Onshuus. |
![]() | ||||||
+ | Francisco Miraglia | Abstract Algebraic Theory of Quadratic Forms and Rings (joint work with M. Dickmann) | 12/02/2018 | 15:10 | |||
Let A be a commutative unitary semi-real (– 1 is not a sum of squares) ring in which 2 is a unit; let T = A^2 or a proper preorder of A. We shall describe first order axioms such that if the pair (A, T) is a model of these statements, then there is a special group, G_T(A), naturally associated to (A, T), faithfully coding the T-theory of diagonal quadratic forms with unit coefficients in A. Under mild restrictions, these axioms are necessary and sufficient for G_T(A) to faithfully code representation and T-isometry of non-singular diagonal quadratic forms with coefficients in A.
We shall present significant classes of rings satisfying these axioms and establish interesting results concerning the behavior of quadratic form theory over these classes of rings. The needed concepts will be presented during the talk, which contains only part of the results published in: M. Dickmann, F. Miraglia, Faithfully Quadratic Rings, Memoirs of the AMS, 1128, (November 2015). |
![]() | ||||||
+ | Itaï Ben Yaacov | Vers une reconstruction pour des théories non aleph0-catégoriques | 20/11/2017 | 15:10 | |||
Soit T une théorie a0-catégorique, et G(T) le groupe d'automorphismes d'un modèle dénombrable (ou séparable, en logique continue), muni de la topologie de la convergence simple. Nous savons depuis longtemps que
1. Deux théories a0-catégoriques T, T' sont bi-interprétables ssi G(T) et G(T') sont isomorphes en tant que groupes topologiques. 2. Un groupe topologique G est (isomorphe à) un G(T), en logique classique (continue), ssi G est un groupe Polonais oligomorphe (Roelcke précompact). Le 2 est un résultat de « reconstruction » : à partir d'un groupe topologique ayant une propriété abstraite, on produit une théorie, qui est d'ailleurs essentiellement unique. De surcroît, des propriétés modèle-théoriques de la théorie (stabilité, NIP) sont équivalentes à des propriétés dynamiques du groupe. Comme la stabilité ou NIP ont un sens pour les théories non a0-catégoriques, la question d'une généralisation de cette correspondance se pose. Je propose une approche qui consiste à associer à une théorie non pas un groupe, mais un groupoïde topologique. En particulier, à partir de ce groupoïde on peut récupérer une théorie bi-interprétable avec la théorie du départ. Ceci est une toute première étape dans un travail en cours, la suite duquel pourrait être le problème de thèse de mon étudiant Mangraviti. |
![]() | ||||||
+ | Zoé Chatzidakis | Notions de clôtures aux différences de corps aux différences. | 13/11/2017 | 15:10 | |||
Un corps aux différences est un corps avec un automorphisme distingué. La modèle compagne de leur théorie, ACFA, est supersimple. En analogie avec ce qui se passe pour les corps différentiels de caractéristique 0 et la théorie DCF0, on peut se demander si les modèles premiers (d'ACFA) existent et sont uniques à isomorphisme près.
Je donnerai d'abord les raisons évidentes pour une réponse négative. Puis j'investiguerai la question si sur certains corps aux différences il existe des modèles premiers uniques, et là encore, donnerai un contre-exemple. Il se trouve cependant qu'en regardant d'autres notions de clôtures, provenant de notions de modèles aleph-epsilon saturés ou kappa-saturés, et en imposant une condition naturelle au corps de base K, on peut montrer que les modèles aleph-epsilon premiers (ou kappa-premiers) existent et sont uniques à K-isomorphisme près. Ce résultat est faux en caractéristique positive. |
![]() | ||||||
+ | Pablo Cubides Kovacsics | Densité forte des types définissables | 06/11/2017 | 15:10 | |||
Récemment, l'importance de la densité des types définissables a été relevée par différentes preuves de l'élimination des imaginaires dans les corps valués algébriquement clos. Dans cet exposé, on introduira des variantes de cette propriété et on donnera des exemples de théories les satisfaisant. Comme application, on obtiendra une preuve de l'élimination des imaginaires de la théorie des corps ordonnés différentielement clos (CODF). Il s'agit d'un travail un commun avec Quentin Brouette et Françoise Point.
|
![]() | ||||||
+ | Alessandro Vignati | Application of logic to C*-algebras | 23/10/2017 | 15:10 | |||
We survey through some of the most recent applications of logic to C*-algebras. In particular we introduce the basics of the model theory of C*-algebras and we survey through the different layers of saturation certain algebras can have. Finally, we exploit some of the connections between saturation and the structure of automorphisms of reduced product C*-algebras.
This will be a logician-friendly talk: no advanced knowledge of C*-algebras is needed. |
![]() | ||||||
+ | Andrés Villaveces | Around the model theory of modular invariants. | 16/10/2017 | 15:10 | |||
The model theoretic analysis of the j-function has taken two apparently different paths in recent years. One of these has been inspired by arithmetic geometric considerations, has been done in infinitary logic and has produced some categoricity results (Harris). The other one (due initially to Freitag and Scanlon, later Aslanyan) has focused on the differential equations satisfied by the j-function. I will describe these two approaches, as well as some recent lines of generalization. The last part is joint work with Alex Cruz.
|
![]() | ||||||
+ | Ludovic Patey | Introduction aux mathématiques à rebours | 09/10/2017 | 15:10 | |||
Les mathématiques à rebours sont un domaine fondationnel qui vise à trouver les axiomes optimaux pour prouver les théorèmes de la vie de tous les jours. Elles se placent dans l'arithmétique du second ordre, avec une théorie de base, RCA, capturant informellement les "mathématiques calculables". Nous reviendrons sur les justifications historiques des mathématiques à rebours, présenterons ses principales observations, ainsi que l'approche moderne des mathématiques à rebours comme formalisme de classification de phénomènes calculatoires. |
![]() | ||||||
+ | Jan Dobrowolski | inp-minimal groups | 02/10/2017 | 15:10 | |||
We will discuss some topics related to inp-minimal groups, including a sketch of the proof of the joint result with J. Goodrick stating that every left-ordered inp-minimal group is abelian (which generalizes P. Simon's result about bi-ordered groups). |
![]() | ||||||
+ | Slawomir Solecki | Menger compacta as projective Fraisse limits with emphasis on dimension one | 29/05/2017 | 15:10 | |||
In each dimension d, there exists a canonical compact, second countable space, called the d-dimensional Menger space, with certain universality and homogeneity properties. For d = 0, it is the Cantor set, for d = infinity, it is the Hilbert cube. I will concentrate on the 1-dimensional Menger space. I will prove that it is a quotient of a projective Fraisse limit. I will describe how a property of projective Fraisse limits coming from Logic, called the projective extension property, can be used to prove high homogeneity of the 1-dimensional Menger space.
This is joint work with Aristotelis Panagiotopoulos. |
![]() | ||||||
+ | Alexis Bès | L'arithmétique de Skolem et ses extensions | 22/05/2017 | 15:10 | |||
L'arithmétique de Skolem est la théorie du premier ordre des entiers naturels munis de la multiplication (sans l'addition). Cet exposé proposera un aperçu des principaux résultats de décidabilité autour de (N,*) et ses extensions, ainsi que des liens avec les automates. On présentera d'abord la preuve par Mostowski de la décidabilité de (N,*), basée sur les produits de structures et la décidabilité de l'arithmétique de Presburger, puis la preuve de Hodgson, basée sur les automates. On montrera ensuite comment la notion de produit généralisé introduite par Feferman et Vaught permet d'obtenir des extensions décidables de (N,*), comme par exemple (N,*,"x et y ont autant de diviseurs premiers") ou (N,*,"x et y sont premiers et x < y"). On verra enfin que ce dernier exemple (dû à F.Maurin), conduit à une notion naturelle d'automate pour les mots sur un alphabet infini. |
![]() | ||||||
+ | Joanna Ochremiak | Infinite constraint satisfaction problems | 15/05/2017 | 15:10 | |||
We study the homomorphism problem for infinite relational structures which can be defined by finitely many first-order formulas over the natural numbers with equality. We determine the decidability status of this problem depending on whether the signature or/and the number of tuples in a single relation are allowed to be infinite.
Joint work with Bartek Klin, Eryk Kopczyński, Sławek Lasota and Szymon Toruńczyk. |
![]() | ||||||
+ | Julien Melleray | Mesures invariantes d'homéomorphismes minimaux | 27/03/2017 | 15:10 | |||
Je reviendrai sur une caractérisation, due à Ibarlucia et moi-même, des ensembles de mesures invariantes d'homéomorphismes minimaux d'un espace de Cantor, et examinerai la question de savoir si cette caractérisation peut être simplifiée (en supprimant une des hypothèses dite de "divisibilité approximative"). J'expliquerai pourquoi cette caractérisation fait apparaître un lien avec de la théorie de Fraïssé et discuterai quelques questions ouvertes (selon le temps). |
![]() | ||||||
+ | Arpita Korwar | Polynomial Identity Testing of Sum of ROABPs | 20/03/2017 | 15:10 | |||
Polynomials are fundamental objects in mathematics. Though univariate polynomials are fairly well-understood, multivariate polynomials are not. Arithmetic circuits are the primary tool used to study the complexity of polynomials in computer science. They allow for the classification of polynomials according to their complexity.
Polynomial identity testing (PIT) asks if a polynomial, input in the form of an arithmetic circuit, is identically zero. One special kind of arithmetic circuits are read-once arithmetic branching programs (ROABPs), which can be written as a product of univariate polynomial matrices over distinct variables. We will be studying the characterization of an ROABP. In the process, we can give a polynomial-time PIT for the sum of constantly many ROABPs. |
![]() | ||||||
+ | Gilles Godefroy | Quelques applications de l’axiome de Martin aux espaces de Banach | 13/03/2017 | 15:10 | |||
L’axiome de Martin est un axiome qu’on peut ajouter aux axiomes de ZFC, qui est compatible avec la négation de l’hypothèse du continu et qui a pour effet de "pousser vers le dénombrable" tous les cardinaux inférieurs au continu. La théorie des espaces de Banach non séparables est assez différente suivant qu’on accepte, ou non, cet axiome. Nous verrons cela sur quelques exemples simples, qui ont en commun que l’axiome de Martin permet de construire des systèmes (presque) biorthogonaux transfinis. |
![]() | ||||||
+ | Matthew Foreman | A solution to a problem of von Neumann | 06/03/2017 | 15:10 | |||
In 1932 von Neumann proposed classifying the statistical behavior of diffeomorphisms of manifolds. In modern language this is restated as classifying the equivalence relation of measure theoretic isomorphism. The main theorem in this talk is that the classification problem is impossible. The equivalence relation is not Borel. As part of the proof a “Global Structure Theorem” is proved that settle a couple of open questions about another classical problem, the “realization problem.” This is joint work with B. Weiss.
|
![]() | ||||||
+ | Isabel Müller | La Conjecture de Zilber et ses contre-exemples | 27/02/2017 | 15:10 | |||
Dans une tentative de classer la géométrie des ensembles fortement minimaux, Zilber les avait conjecturés pour se diviser en trois types différents: Les géométries triviales, les géométries qui ressemblent à des espaces vectoriels et ceux qui ressemblent à des corps. Hrushovski a ensuite réfuté cette conjecture en introduisant une construction intelligente qui avait été modifiée et utilisée beaucoup depuis. Son contre-exemple à la conjecture de Zilber a fourni une structure, qui n'était pas monobasée, donc ne pouvait pas être de type trivial ou de type espace vectoriel, mais elle interdisait une certaine configuration point-ligne-plan qui est toujours présente dans les corps. Hrushovski appela cette propriété CM-trivial et plus tard Pillay, avec quelques corrections d'Evans, à défini toute une hiérarchie de nouvelles géométries, où à la base on trouve les géométries monobasées (1-ample) et les géométries non-CM-triviales (2-ample) et sur le dessus on trouve des corps, qui sont n-ample pour tout n. Récemment, Baudisch, Pizarro et Ziegler et indépendamment Tent ont fourni des exemples prouvant que cette hiérarchie d'ampleur est stricte. Tandis que leurs exemples sont omega-stables de rang infini, il est resté ouvert si on peut trouver des géométries de rang fini qui sont au moins 2-amples mais n'interprètent pas un corps. Avec Katrin Tent, nous avons produit une structure presque fortement minimale qui est 2-ample, mais pas 3-ample, en utilisant une construction à la façon de Hrushovski. Dans cet exposé, nous donnerons un aperçu de la conjecture et de ses contre-exemples, motivant pourquoi notre nouvelle structure s'inscrit naturellement dans le tableau. |
![]() | ||||||
+ | Charles Paperman | Some news from the Crane Beach | 20/02/2017 | 15:10 | |||
First-order logic over words is known to be equivalent to the circuits complexity class AC0 when equipped with arbitrary predicates. In this talk I will present result about the expressivity of first order logic when we restrict the class of predicates. I will focus in particular on the Crane Beach Property. Introduced more than a decade ago, this property is true of a logic if all the expressible languages admitting a neutral letter are regular. Finally I will present it's closely tied to the counting (in)ability of a logic as an application. |
![]() | ||||||
+ | Alejandro Petrovich | Non-classical Quantifiers Over Non-classical Logics | 13/02/2017 | 15:10 | |||
In the literature there are several papers on the study of quantifiers in non-classical logics. Part of these works consists of considering the fragment corresponding to the study of monadic logic, that is, the fragment where the predicate symbols depend only on a fixed variable or a constant symbol. Although the connectives of propositional logic are non-classical, quantifiers are interpreted in the classical sense. The purpose of this paper is to introduce different notions of quantifiers in the particular case of the infinite valued logic (IVL) developed by Lukasiewicz. The algebraic models of this theory turn out to be MV algebras endowed with an additional operator, where MV-algebras are the algebraic models corresponding to the logic IVL. When quantifiers are interpreted classically, these structures are called monadic MV-algebras and are generalizations of the well known monadic Boolean algebras introduced by Halmos [Ha62].
References: [Ha62] P. Halmos, Algebraic Logic, Chelsea Publishing Company, 1962. [Sch77] Schwartz, D., Theorie der polyadischen MV-algebren endlicher Ordnung, Math. Nachr., 78 (1977) 131--138. [Sch80] Schwartz, D., Polyadic MV-algebras, Zeitschrift f\"ur Math. Logik und Grundla\-gen der Mathematik, 26 (1980) 561--564 . |
![]() | ||||||
+ | L'exposé de Francisco Miraglia prévu le 30 janvier est annulé | Abstract Algebraic Theory of Quadratic Forms and Rings | 30/01/2017 | 15:10 | |||
Abstract (joint work with M. Dickmann): Let A be a commutative unitary semi-real (– 1 is not a sum of squares) ring in which 2 is a unit; let T = A2 or a proper preorder of A. We shall describe first order axioms such that if the pair (A, T) is a model of these statements, then there is a special group, $G_T(A)$, naturally associated to (A, T), faithfully coding the T-theory of diagonal quadratic forms with unit coefficients in A. Under mild restrictions, these axioms are necessary and sufficient for $G_T(A)$ to faithfully code representation and T-isometry of non-singular diagonal quadratic forms with coefficients in A. We shall present important classes of rings satisfying these axioms and extract significant results concerning the behavior of quadratic form theory over these classes of rings. The needed concepts will be presented during the talk, which contains only part of the results that appeared in: M. Dickmann, F. Miraglia, Faithfully Quadratic Rings, Memoirs of the AMS, 1128, (November 2015). |
![]() | ||||||
+ | Christina Brech | Universal objects among Boolean algebras and Banach spaces | 23/01/2017 | 15:10 | |||
An element B of a given class of Boolean algebras is universal if every other element of the class is isomorphic to a subalgebra of B. In the context of Banach spaces, we have similar notions considering isomorphisms or isometries of Banach spaces. We will discuss the existence of universal objects for some classes of Boolean algebras and of Banach spaces and their interaction. We are particularly interested in the classes of all objects of a fixed size - cardinality of Boolean algebras and density character of Banach spaces - and we shall compare the countable/separable and the uncountable/nonseparable settings.
|
![]() | ||||||
+ | Silvain Rideau | Groupes définissables dans des corps enrichis | 16/01/2017 | 15:10 | |||
Un résultat de Pillay affirme qu'un groupe définissable dans un corps différentiellement clos peut être plongé dans un groupe algébrique. Des théorèmes semblables ont été prouvés depuis pour de nombreuses structures de corps enrichis: corps séparablement clos, corps avec automorphisme générique, corps réels clos... De plus, la preuve de tous ces résultats utilisent des outils similaires développés pour étudier les groupes dans les théories stables puis simples.
Le but de mon exposé sera d'exposer certains de ces résultats de structure pour les groupes définissables ainsi que les outils utilisés. Enfin, si le temps le permet, j'expliquerais comment, dans le cas le moins compliqué, on peut s'affranchir, dans une certaines mesure, des hypothèses de stabilité ou de simplicité utilisées dans ces preuves pour pouvoir les appliquer dans des corps valués. |
![]() | ||||||
+ | Jacques Van de Wiele | Valuations | 05/12/2016 | 15:10 | |||
Thème principal : (cours elementaire sur les) anneaux de (pre)valuation p-adique, theorie des modeles, arithmetique, approche finitaire
thèmes abordés : logique intuitionniste, algebre commutative, constructive modules, (co)homologies, categories abeliennes, (logique lineaire) topos de Faltings Biblio principale : Grothendieck [01.8GRO14a] Integration Motivique (Loeser, Nicaise, Sebag) [18MOT1-11a] [18MOT2-11a] Marc Hindry :Arithmetique [30HIN08a] Ahmed Abbes, Michel Gros, Takeshi Tsuji :The p-adique Simpson Correspondence [18ABB16a] Ihsen Yengui : Constructive Commutative Algebra [16.5YEN15a] |
![]() | ||||||
+ | Benoit Monin | A small history of K-triviality | 28/11/2016 | 15:10 | |||
The Kolmogorov complexity of a string is, informally, the length of the smallest program that produces this string. We write C(s) = n to mean that the smallest program producing the string s is of length n.
An infinite binary sequence X is said to be C-trivial if the Kolmogorov complexity of its prefixes is minimal, that is, if there is a constant d such that for any n, we have C(X rest n) < C(n) + d (Here X rest n denotes the n first bits of X). It is clear that any computable (infinite binary) sequence is C-trivial. Chaitin proved that the converse holds: A sequence X is computable iff it is C-trivial (1). Chaitin also successfully used Kolmogorov complexity to provide a formal definition of the intuitive idea we can have of a random sequence. To do so, he needed a variation of the standard Kolmogorov complexity, called "prefix Kolmogorov complexity" and denoted by K. Using this prefix Kolmorogov complexity K, he defined a sequence Z to be random if for any n we have K(Z rest n) > n - d for some constant d. The intuition is that the prefix Kolmogorov complexity should be maximal for prefixes of random sequences. This definition of randomness is still today the most studied, for many reasons that we shall not detail during the talk. Chaitin conjectured (1) to also be true with prefix Kolmorogov complexity K, that is, X is computable iff X is K-trivial (that is, there is d such that for every n we have K(X rest n) < K(n) + d). Solovay later refuted the conjecture by constructing a non-computable K-trivial sequence A. The notion of K-triviality was born, and had yetto reveal many surprises through its numerous different characterizations, and its connections with algorithmic randomness. After introducing the main concepts with more details, we will try during this talk to give some explanations and intuitions on the work that has been done by various people on K-triviality these last 15 years. |
![]() | ||||||
+ | Dominique Lecomte | Complexité borélienne des relations d'équivalence | 21/11/2016 | 15:10 | |||
Nous étudions la complexité topologique des relations d'équivalence boréliennes, et donc la classe de ces dernières munie du quasi-ordre de réduction continue. Nous présenterons les premiers résultats de cette étude entamée il y a moins d'un an, ainsi que certains des théorèmes ayant permis de les obtenir. |
![]() | ||||||
+ | Miki Hermann | Minimal Distance of Propositional Models | 14/11/2016 | 15:10 | |||
We investigate the complexity of three optimization problems in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find a satisfying assignment with minimal Hamming distance to a given assignment that satisfies the formula (NextOtherSol, NOSOL$) or that does not need to satisfy it (NearestSol, NSOL). The third problem asks for two satisfying assignments with a minimal Hamming distance among all such assignments (MinSolDistance, MSD).
For all three problems we give complete classifications with respect to the relations admitted in the formula. We give polynomial time algorithms for several classes of constraint languages. For all other cases we prove hardness or completeness regarding APX, poly-APX, or equivalence to well-known hard optimization problems. |
![]() | ||||||
+ | Tomás Ibarlucía | Belles paires de structures randomisées | 07/11/2016 | 15:10 | |||
Un problème intriguant en théorie des modèles des structures métriques est celui de généraliser la notion de théorie mono-basée. Dans le cadre d'une théorie oméga-catégorique T, une proposition intéressante vient de considérer la théorie T_P de belles paires de modèles de T : quand est-ce T_P oméga-catégorique ? Cette propriété généralise celle d'être mono-basée dans le cas classique et s'applique à d'autres exemples importants. Malheureusement, on verra qu'elle n'est jamais satisfaite par des théories randomisées non-triviales. On rappellera ce qu'est la randomisation T^R de T, puis on classifiera les modèles séparables de (T^R)_P lorsque T est oméga-catégorique. |
![]() | ||||||
+ | Christophe Chalons | Autour des degrés ludiques | 17/10/2016 | 15:10 | |||
![]() | |||||||
+ | Jordi Lopez-Abad | La propriété de Ramsey approximative des matrices réelles et des espaces vectoriels normés | 26/09/2016 | 15:10 | |||
Nous présentons la propriété de Ramsey approximative des espaces vectoriels normés de dimension finie. Nous discuterons aussi le degré de Ramsey métrique des matrices réelles et complexes, comme une version du Théorème de Graham-Leeb-Rothschild sur les Grassmanniennes d'un espace vectoriel sur un corps fini. |
![]() | ||||||
+ | Philipp Schlicht | A generalization of the Baire property | 20/06/2016 | 15:10 | Salle 1016 Bâtiment Sophie Germain | ||
Many definable subsets of the Baire space of functions on the natural numbers satisfy the Baire property, for instance all analytic sets. However, it is well known that some simply definable subsets of the space of functions on a regular uncountable cardinal fail to satisfy the analogue to the Baire property. We introduce a more general property that is equal to the Baire property in the countable setting, and show that it is consistent that all definable subsets of the space of functions on an uncountable regular cardinal have this property. We consider applications such as the non-existence of definable well-orders. |
![]() | ||||||
+ | Alexis Saurin | Logiques à points fixes et théorie de la preuve (in)finitaire | 30/05/2016 | 15:10 | Salle 1016, bâtiment Sophie Germain | ||
Dans cet exposé, on étudiera la théorie de la démonstration de logiques à points fixes, en se plaçant dans le cadre de la correspondance de Curry-Howard qui met en relation 1) formules logiques et types de données 2) preuves et programmes 3) procédure d'élimination des coupures et exécution d'un programme.
L'exposé conduira à discuter du contenu calculatoire des logiques à points fixes et permettra de présenter des systèmes de preuves finitaires et infinitaires pour ces logiques. En se concentrant sur le cadre infinitaire, on présentera les théorèmes de focalisation et d'élimination des coupures, résultats centraux en théorie de la démonstration, notamment pour la logique linéaire, que l'on introduira, resituera et dont on discutera les conséquences. |
![]() | ||||||
+ | Ehud Hrushovski | What can probability logic describe? | 09/05/2016 | 15:10 | Salle 1016 Bâtiment Sophie Germain | ||
Probability quantifiers were studied by Keisler and Hoover in the 1980's,following earlier work of Carnap, Gaifmann, Krauss-Scott. I will survey some basic results on pure probability logic, where only stochastic quantifiers are allowed. The interpretative powers of this logic are drastically more limited than that of first-order logic. If the language consists of binary relations, one can interpret nothing more than spatial location (in a sense that will be explained; essentially on the Kim-Pillay space.) Subtleties increase with higher-order relations.
|
![]() | ||||||
+ | Esther Elbaz | La théorie des modules des corps séparablement clos | 04/04/2016 | 15:10 | Salle 1016, bâtiment Sophie Germain | ||
Dans [1], Pilar Dellunde, Françoise Delon et Françoise Point ont considéré les corps séparablement clos de caractéristique non nulle et de degré d’imperfection fixé comme des modules sur l'anneau des endomorphismes $\mathbbF_p (B) \left \lbrace \alpha \right \lbrace$ où B est une p-base du corps et $\alpha$ est le morphisme de Froebénius. Après avoir axiomatisé cette théorie, les auteurs ont montré qu'elle est complète et admet l'élimination des quantificateurs dans le langage usuel des modules enrichis de symboles de fonctions additives analogues aux fonctions $p$-composantes du corps. Dans cet exposé, nous présenterons ces résultats. [1] The Theory of Modules of Separably Closed Fields 1 Pilar Dellunde; Françoise Delon; Françoise Point The Journal of Symbolic Logic, Vol. 67, No. 3. (Sep., 2002), pp. 997-1015. |
![]() | ||||||
+ | Guillaume Lagarde | Bornes inférieures pour les circuits non-commutatifs : un autre Waterloo de la complexité algébrique ? | 14/03/2016 | 15:10 | Salle 1016, bâtiment Sophie Germain | ||
On ne connait toujours pas de polynôme explicite nécessitant des circuits algébriques non-commutatifs (Circuits NC) de taille superpolynomiale.
Le cadre non-commutatif semble pourtant commode pour montrer de telle borne inférieure car la rigidité de la non-commutativité impose de nombreuses contraintes sur la manière de calculer efficacement. C'est dans ce contexte que Nisan, en 1991, fournit une borne exponentielle sur la taille des ABPs non-commutatifs (Algebraic Branching Programs) calculant le permanent. Nous montrons que ce résultat s'inscrit de manière naturelle comme cas particulier d'un théorème sur les circuits non-ambigus (c'est-à-dire ceux qui ne possèdent qu'un seul type de "parse tree") et proposons quelques pistes afin d'étendre ce résultat à des circuits de plus en plus proche de circuits NC généraux. (Travaux en commun avec Guillaume Malod et Sylvain Perifel; Nutan Limaye et Srikanth Srinivasan) |
![]() |