Calendar
September 8:
Logic Workshop
The model-theory of compact spaces
Hans Schoutens
CUNY
Abstract
A more correct title would read: the model-theory of the category of compact (Hausdorff) spaces. Last year, I gave a talk about the model-theory of categories, and this talk will be its continuation (but I will repeat everything that is relevant) in which I will look at one special case: COMP, the category of compact spaces. Let C be any model that is elementary equivalent to the category COMP (but if you’re a standard guy, you can just take C=COMP and everything is still interesting). The model C 'remembers' the topology of each of its objects (except we might have lost compactness). But it can recover much more, to an extent that I would almost call it 'foundational'. I will show how to reconstruct a model of PA, a model of the ORD (ordinals) and even a model of ZFC. If you wonder, which model of ZFC you get if you just start with COMP, the answer is: the same you woke up to this morning!
Video
September 15:
Logic Workshop
No seminar
CUNY holiday for Rosh Hashanah.
September 22:
Model Theory Seminar
Finite structures embedded in infinite ones, then and now
Michael Benedikt
University of Oxford
Abstract
This talk is about a hybrid of finite and infinite model theory, where formulas can reference two kinds of non-logical symbols. There are 'built-in' or 'interpreted' symbols, which are interpreted over an infinite structure for a complete background theory - e.g. real or integer arithmetic. And there are 'uninterpreted relation symbols' ranging over finite relations living within an infinite model of the theory. The expressiveness of first order logic in this setting was studied in the late 90's and early 2000's, motivated by the real field case, stemming from questions in databases and computational geometry. Much of this talk will review what was accomplished decades ago. We then present an overview of recent results by myself and Ehud Hrushovski (https://arxiv.org/abs/2304.09231), that begin to prorgess on the many questions that were left open in decades past.
Video
September 22:
Logic Workshop
On equations of Poizat type
David Marker
University of Illinois at Chicago
Abstract
We look at differential equations of the form $x^{\prime\prime}/x^\prime=f(x)$ where $f$ is a rational function over the field of constants. We characterize when such equations are strongly minimal and study algebraic relations between solutions to two such equations.
Video
September 29:
Logic Workshop
Is the consistency operator canonical?
James Walsh
New York University
Abstract
It is a well-known empirical phenomenon that natural axiomatic theories are well-ordered by consistency strength. The restriction to natural theories is necessary; using ad-hoc techniques (such as self-reference and Rosser orderings) one can exhibit non-linearity and ill-foundedness in the consistency strength hierarchy. What explains the contrast between natural theories and axiomatic theories in general?
Our approach to this problem is inspired by work on an analogous problem in recursion theory. The natural Turing degrees $(0,0’,\ldots,\text{Kleene’s~}\mathcal{O},\ldots,0^{\#},\ldots)$ are well-ordered by Turing reducibility, yet the Turing degrees in general are neither linearly ordered nor well-founded, as ad-hoc techniques (such as the priority method) bear out. Martin's Conjecture, which is still unresolved, is a proposed explanation for this phenomenon. In particular, Martin’s Conjecture specifies a way in which the Turing jump is canonical.
After discussing Martin’s Conjecture, we will formulate analogous proof-theoretic hypotheses according to which the consistency operator is canonical. We will then discuss results - both positive and negative - within this framework. Some of these results were obtained jointly with Antonio Montalbán.
Video
October 6:
Logic Workshop
Ergodic theorems along trees
Jenna Zomback
University of Maryland
Abstract
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, Tx, T^2 x,...,T^n x)$ in front of the point $x$. We prove a “backward” ergodic theorem for a countable-to-one pmp $T$, where the averages are taken over subtrees of the graph of $T$ that are rooted at $x$ and lie behind $x$ (in the direction of $T^{-1}$). Surprisingly, this theorem yields forward ergodic theorems for countable groups, in particular, one for pmp actions of free groups of finite rank, and can be extended to yield ergodic theorems for pmp actions of free semigroups as well. In each case, the averages are taken along subtrees of the standard Cayley graph rooted at the identity. This is joint work with Anush Tserunyan.
Video
October 13:
Model Theory Seminar
TBA
Vincent Guingona
Towson University
Abstract
October 17:
MOPA
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Coin flipping on models of arithmetic to define the standard cut
Elliot Glazer
Harvard University
Abstract
We will discuss the following claim: 'The standard cut of a model $M$ of PA (or even Q) is uniformly definable with respect to a randomly chosen predicate.' Restricting our consideration to countable models, this claim is true in the usual sense, i.e. there is a formula $\varphi$ such that for any countable model of arithmetic $M,$ the set $S_M^{\varphi} := \{P \subset M: \omega = \{x \in M: (M, P) \models \varphi(x)\} \}$ is Lebesgue measure 1. However, if $M$ is countably saturated, then there is no $\varphi$ such that $S_M^{\varphi}$ is measured by the completed product measure on $2^M.$ We will identify various combinatorial ideals on $2^M$ that can be used to formalize the original claim with no restriction on the cardinality of $M,$ and discuss the relationship between closure properties of these ideals and principles of choice.
Video
October 20:
Logic Workshop
TBA
Rehana Patel
Wesleyan University
Abstract
October 24:
MOPA
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
TBA
Alessandro Berarducci and Marcello Mamino
University of Pisa
Abstract
October 27:
Logic Workshop
Poincaré-Weyl's predicativity: going beyond $\Gamma_0$
Arnon Avron
Tel Aviv University
Abstract
On the basis of Poincaré and Weyl's view of predicativity as invariance, we develop an extensive framework for predicative, type-free first-order set theory in which $\Gamma_0$ and much bigger ordinals can be defined as von Neumann ordinals. This refutes the accepted view of $\Gamma_0$ as the 'limit of predicativity.' We also explain what is wrong in Feferman-Schütte analysis of predicativity on which this view of $\Gamma_0$ is based.
Video
November 3:
Logic Workshop
Nonstandard methods without the Axiom of Choice
Karel Hrbacek
CUNY
Abstract
Model-theoretic frameworks for nonstandard methods entail the existence of nonprincipal ultrafilters over $\mathbb N$, a strong version of the Axiom of Choice (AC). While AC is instrumental in many abstract areas of mathematics, such as general topology or functional analysis, its use in infinitesimal calculus or number theory should not be necessary.
Mikhail Katz and I have formulated a set theory SPOT in the language that has, in addition to membership, a unary predicate “is standard.” In addition to ZF, the theory has three simple axioms, Transfer, Nontriviality and Standard Part, that reflect the insights of Leibniz. It is a subtheory of the nonstandard set theories IST and HST, but unlike them, it is a conservative extension of ZF. Arguments carried out in SPOT thus do not depend on any form of AC. Infinitesimal calculus can be developed in SPOT as far as the global version of Peano's Theorem (the usual proofs of which use ADC, the Axiom of Dependent Choice). The existence of upper Banach densities can be proved in SPOT.
The conservativity of SPOT over ZF is established by a construction that combines the methods of forcing developed by Ali Enayat for second-order arithmetic and Mitchell Spector for set theory with large cardinals.
A stronger theory SCOT is a conservative extension of ZF+ADC. It is suitable for handling such features as an infinitesimal approach to the Lebesgue measure.
I will also formulate an extension of SPOT to a theory with multiple levels of standardness SPOTS, in which Renling Jin's recent groundbreaking proof of Szemeredi's Theorem can be carried out. While it is an open question whether SPOTS is conservative over ZF, SPOTS + DC (Dependent Choice for relations definable in it) is a conservative extension of ZF + ADC.
Reference: KH and M. G. Katz, Infinitesimal analysis without the Axiom of Choice, Ann. Pure Applied Logic 172, 6 (2021). https://doi.org/10.1016/j.apal.2021.102959, https://arxiv.org/abs/2009.04980
Video
November 10:
Logic Workshop
Upward Löwenheim Skolem numbers for abstract logics
Victoria Gitman
CUNY
Abstract
Galeotti, Khomskii and Väänänen recently introduced the notion of the upward Löwenheim Skolem (ULS) number for an abstract logic. A cardinal $\kappa$ is the upward Lowenheim Skolem number for a logic $\mathcal L$ if it is the least cardinal with the property that whenever $M$ is a model of size at least $\kappa$ satisfying a sentence $\varphi$ in $\mathcal L$, then there are arbitrarily large models $N$ satisfying $\varphi$ and having $M$ as a substructure (not necessarily elementary). If we remove the requirement that $M$ has to be a substructure of $N$, we get the classic notion of a Hanf number. While $\rm ZFC$ proves that every logic has a Hanf number, having a ULS number often turns out to have large cardinal strength. In a joint work with Jonathan Osinski, we study the ULS numbers for several classical logics. We introduce a strengthening of the ULS number, the strong upward Löwenheim Skolem number SULS which strengthens the requirement that $M$ is a substructure to full elementarity in the logic $\mathcal L$. It is easy to see that both the ULS and the SULS number for a logic $\mathcal L$ are bounded by the least strong compactness cardinal for $\mathcal L$, if it exists.
Video
November 17:
Logic Workshop
TBA
Joel David Hamkins
Notre Dame University
Abstract
November 24:
Logic Workshop
No seminar
CUNY holiday for Thanksgiving.
December 8:
Logic Workshop
Beth definability and nested relations
Michael Benedikt
Oxford University
Abstract