## Logic Seminar 31 July 2024 17:00 hrs at NUS by George Barmpalias, CAS

## Kyoto University RIMS Set Theory Workshop, October 9-11, 2024

## Wednesday seminar

## Set theory and topology seminar 25.06.2024 everybody

I am happy to announce that the last seminar this semester in Set Theory and Topology (on Thuesday 25.06.2024 at 17:15) will take place in

"Forma Płynna Beach Bar"

Plaża miejska, Wybrzeże Wyspiańskiego.

Every participant is the speaker.

(on behalf of the organizers, i.e. Piotr Borodulin-Nadzieja, Paweł Krupski, Aleksandra Kwiatkowska, Grzegorz Plebanek, Robert Rałowski and myself)

## Wednesday seminar

## Set theory and topology seminar 18.06.2024 Aleksander Cieślak

**(Wrocław University of Science and Technology) the lecture:**

**Aleksander Cieślak**

(on behalf of the organizers, i.e. Piotr Borodulin-Nadzieja, Paweł Krupski, Aleksandra Kwiatkowska, Grzegorz Plebanek, Robert Rałowski and myself)

About 15 minutes before the seminar we invite you for coffee and a chat to social room A.4.1.A in C-19.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Wednesday seminar

## KGRC talk June 20

## 56th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium will be in the afternoon.

Our speaker this week will be Lionel Nguyen Van The from Aix-Marseille University. This talk will take place this Friday, June 14th, from 4pm to 5pm (UTC+8, Beijing time).

Abstract:

Structural Ramsey theory appeared naturally as a branch of Ramsey theory in the seventies, and is concerned with partition properties of combinatorial objects that are equipped with

*some*structure (typically, in the sense of first order logic). While several seminal results were proved in those years, the subject was offered an unexpected revival thirty years later, whose consequences are still being felt today. This talk will be an attempt to describe the main lines of thought behind this story, starting from the pioneering work of Graham, Leeb, Nesetril, Rödl, Rothschild, Spencer and Voigt, continuing with that of Kechris, Pestov and Todorcevic, and finishing with that of Dobrinen.

This is going to be an online event. Follow the link below to join the Zoom meeting. Please use your real name to join the meeting.

Best wishes,

Ming Xiao

## Set theory and topology seminar 11.06.2024 Jadwiga Świerczyńska

**(Wrocław University of Science and Technology) the lecture:**

**Jadwiga Świerczyńska**

(on behalf of the organizers, i.e. Piotr Borodulin-Nadzieja, Paweł Krupski, Aleksandra Kwiatkowska, Grzegorz Plebanek, Robert Rałowski and myself)

About 15 minutes before the seminar we invite you for coffee and a chat to social room A.4.1.A in C-19.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## KGRC talks June 11 -13

## 55th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium will be in the afternoon.

Our speaker this week will be Rizos Sklinos from the Chinese Academy of Sciences. This talk will take place this Friday, June 7th, from 4pm to 5pm (UTC+8, Beijing time).

This is going to be an online/offline hybrid event. Follow the link below to join the Zoom meeting. Please use your real name to join the meeting.

Time ：16:00pm, Jun. 7, 2024(Beijing Time)

Zoom Number ： 436 658 8683

Passcode ：477893

Best wishes,

Ming Xiao

## Wednesday seminar

## Cross-Alps Logic Seminar (speaker: Lorenz Halbeisen)

**Lorenz Halbeisen**(ETH Zürich)

*The Graph Embedding Property and its relation to the Prime Ideal*The Cross-Alps Logic Seminar is co-organized by the logic groups of Genoa, Lausanne, Turin and Udine as part of our collaboration in the project PRIN 2022 'Models, Sets and Classifications'.

All the best,

Vincenzo

## Wednesday seminar

## Set theory and topology seminar 4.06.2024 Andres Uribe-Zapata (TU Wien)

**(Wrocław University of Science and Technology) the lecture:**

**Andres Uribe-Zapata (TU Wien)**

In this talk, we present an integration theory with respect to finitely additive measures on a field of sets $\mathcal{B} \subseteq \mathcal(X)$ for some non-empty set $X$. For this, we start by reviewing some fundamental properties of finitely additive measures on Boolean algebras. Later, we present a definition of the integral in this context and some basic properties of the integral and the integrability. We also study integration over subsets of $X$ to introduce the Jordan algebra and compare the integration on this new algebra with the integration on $\mathcal{B}$. Finally, we say that a finitely additive measure on $\mathcal{B}$ is \emph{free} if $\mathcal{B}$ contains any finite subset of $X$ and its measure is zero. We close the talk by providing some characterizations of free finitely additive measures.

This is a joint work with Miguel A. Cardona and Diego A. Mejía.

References:

[CMU] Miguel A. Cardona, Diego A. Mejía and Andrés F. Uribe-Zapata. *Finitely additive measures on Boolean algebras*. In Preparation.

[UZ23] Andrés Uribe-Zapata. *Iterated forcing with finitely additive measures: applications of prob**ability to forcing theory*. Master’s thesis, Universidad Nacional de Colombia, sede Medellín, 2023. https://shorturl.at/sHY59.

About 15 minutes before the seminar we invite you for coffee and a chat to social room A.4.1.A in C-19.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## KGRC Talk - June 6

## 54th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Our speaker this week will be Andre Nies from the University of Auckland. This talk is going to take place this Friday, May 31, from 4pm to 5pm (UTC+8, Beijing time).

This is going to be an online event. Follow the link below to join the Zoom meeting. Please use your real name to join the meeting.

Title ：The 54th Nankai Logic Colloquium-- Andre Nies

Time ：16:00pm, May. 31, 2024(Beijing Time)

Zoom Number ： 436 658 8683

Passcode ：477893

Link ：https://frontai-hk.zoom.us/j/4366588683?pwd=ob0TsLuLeIl0JT7403RaqvFKgOnuRf.1&omn=82728819387

_____________________________________________________________________

Best wishes,

Ming Xiao

## Cross-Alps Logic Seminar (speaker: Mirna Džamonja)

**Mirna Džamonja**(CNRS-Université de Paris / IHPST)

*Transfer principles in logic*The Cross-Alps Logic Seminar is co-organized by the logic groups of Genoa, Lausanne, Turin and Udine as part of our collaboration in the project PRIN 2022 'Models, Sets and Classifications'.

All the best,

Vincenzo

## Wednesday seminar

## This Week in Logic at CUNY

- - - - Tuesday, May 21, 2024 - - - -

- - - - Wednesday, May 22, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Emilio Minichiello , The CUNY Graduate Center.**

Date and Time: ** Wednesday May 22, 2024, 7:00 - 8:30 PM. IN PERSON TALK!**

Title:** Presenting Profunctors.**

Abstract: In categorical database theory, profunctors are ubiquitous. For example, they are used to define schemas in the algebraic data model. However, they can also be used to query and migrate data. In this talk, we will discuss an interesting phenomenon that arises when trying to model profunctors in a computer. We will introduce two notions of profunctor presentations: the UnCurried and Curried presentations. They are modeled on thinking of profunctors as functors P: C^op x D -> Set and as functors P: C^op -> Set^D, respectively. Semantically of course, these are equivalent, but their syntactic properties are quite different. The UnCurried presentations are more intuitive and easier to work with, but they carry a fatal flaw: there does not exist a semantics-preserving composition operation of UnCurried presentations that also preserves finiteness. Therefore we introduce the Curried presentations and show that they remedy this flaw. In the process, we characterize which UnCurried Presentations can be made Curried, and discuss some applications. This talk will be based off of this recent preprint which is joint work with Gabriel Goren Roig and Joshua Meyers.

- - - - Friday, May 24, 2024 - - - -

- - - - Monday, May 27, 2024 - - - -

- - - - Tuesday, May 28, 2024 - - - -

- - - - Wednesday, May 29, 2024 - - - -

- - - - Thursday, May 30, 2024 - - - -

- - - - Friday, May 31, 2024 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## KGRC Talks - May 24

## Wednesday seminar

## 53rd Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon, but at an irregular time, as we have two speakers this week.

_____________________________________________________________________

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best wishes,

Ming Xiao

## UPDATE: This Week in Logic at CUNY

Hi everyone,

- - - - Tuesday, May 14, 2024 - - - -

Tuesday, May 14, Time 2:00 - 4:00 PM (EDT)

zoom link: ask Sergei Artemov sartemov@gmail.com

**Speaker**:

*Hans van Ditmarsch,**CNRS, IRIT, University of Toulouse, France*

**Title:**

*Epistemic logic and simplicial complexes*

**Abstract: **All my working life as a logician epistemic logic came with Kripke models, in particular the kind for multiple agents with equivalence relations to interpret knowledge. Sure enough, I knew about enriched Kripke models, like subset spaces, or with topologies. But at some level of abstraction you get back your standard Kripke model. Imagine my surprise, around 2018, that there is an entirely dual sort of structure on which the epistemic logical language can be interpreted and that results in the same S5 logic: simplicial complexes. Instead of points that are worlds and links labeled with agents, we now have points that are agents and links labeled with worlds. Or, instead of edges (links), triangles, tetrahedrons, etcetera, that represent worlds. Simplicial complexes are well-known within combinatorial topology and have wide usage in distributed systems to model (a)synchronous computation. The link with epistemic modal logic is recent, spreading out from Mexico City and Paris to other parts of the world, like Vienna and Bern. Other logics are relevant too, for example KB4, in order to encode crashed processes/agents. Other epistemics are relevant too, and in particular distributed knowledge, which facilitates further generalizations from simplicial complexes to simplicial sets. It will be my pleasure to present my infatuation with this novel development connecting epistemic logic and distributed computing. Suggested introductory reading is:

https://arxiv.org/abs/2002.08863

https://link.springer.com/chapter/10.1007/978-3-030-75267-5_1

Knowledge and Simplicial Complexes

Hans van Ditmarsch, Eric Goubault, Jeremy Ledent, Sergio Rajsbaum

https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.34

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)

Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid

Section 4.3 Representing Epistemic Attitudes via Simplicial Complexes

- - - - Wednesday, May 15, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Raymond Puzio.**

Date and Time: ** Wednesday May 15, 2024, 7:00 - 8:30 PM. IN-PERSON!**

Title:** Uniqueness of Classical Retrodiction.**

Abstract: In previous talks at this Category seminar and at the Topology, Geometry and Physics seminar, Arthur Parzygnat showed how Bayesian inversion and its generalization to quantum mechanics may be interpreted as a functor on a suitable category of states which satisfies certain axioms. Such a functor is called a retrodiction and Parzygnat and collaborators conjectured that retrodiction is unique. In this talk, I will present a proof of this conjecture for the special case of classical probability theory on finite state spaces.

In this special case, the category in question has non-degenerate probability distributions on finite sets as its objects and stochastic matrices as its morphisms. After preliminary definitions and lemmas, the proof proceeds in three main steps.

In the first step, we focus on certain groups of automorphisms of certain objects. As a consequence of the axioms, it follows that these groups are preserved under any retrodiction functor and that the restriction of the functor to such a group is a certain kind of group automorphism. Since this group is isomorphic to a Lie group, it is easy to prove that the restriction of a retrodiction to such a group must equal Bayesian inversion if we assume continuity. If we do not make that assumption, we need to work harder and derive continuity "from scratch" starting from the positivity condition in the definition of stochastic matrix.

In the second step, we broaden our attention to the full automorphism groups of objects of our category corresponding to uniform distributions. We show that these groups are generated by the union of the subgroup consisting of permutation matrices and the subgroup considered in the first step. From this fact, it follows that the restriction of a retrodiction to this larger group must equal Bayesian inversion.

In the third step, we finally consider all the objects and morphisms of our category. As a consequence of what we have shown in the first two steps and some preliminary lemmas, it follows that retrodiction is given by matrix conjugation. Furthermore, Bayesian inversion is the special case where the conjugating matrices are diagonal matrices. Because the hom sets of our category are convex polytopes and a retrodiction functor is a continuous bijection of such sets, a retodiction must map polytope faces to faces. By an algebraic argument, this fact implies that the conjugating matrices are diagonal, answering the conjecture in the affirmative.

Paper.

- - - - Thursday, May 16, 2024 - - - -

*** FINAL EXAMS WEEK BEGINS - CUNY GRADUATE CENTER ***

- - - - Friday, May 17, 2024 - - - -

- - - - Monday, May 20, 2024 - - - -

- - - - Tuesday, May 21, 2024 - - - -

- - - - Wednesday, May 22, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Emilio Minichiello , The CUNY Graduate Center.**

Date and Time: ** Wednesday May 22, 2024, 7:00 - 8:30 PM. IN PERSON TALK!**

Title:** Presenting Profunctors.**

Abstract: In categorical database theory, profunctors are ubiquitous. For example, they are used to define schemas in the algebraic data model. However, they can also be used to query and migrate data. In this talk, we will discuss an interesting phenomenon that arises when trying to model profunctors in a computer. We will introduce two notions of profunctor presentations: the UnCurried and Curried presentations. They are modeled on thinking of profunctors as functors P: C^op x D -> Set and as functors P: C^op -> Set^D, respectively. Semantically of course, these are equivalent, but their syntactic properties are quite different. The UnCurried presentations are more intuitive and easier to work with, but they carry a fatal flaw: there does not exist a semantics-preserving composition operation of UnCurried presentations that also preserves finiteness. Therefore we introduce the Curried presentations and show that they remedy this flaw. In the process, we characterize which UnCurried Presentations can be made Curried, and discuss some applications. This talk will be based off of this recent preprint which is joint work with Gabriel Goren Roig and Joshua Meyers.

- - - - Friday, May 24, 2024 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## This Week in Logic at CUNY

- - - - Tuesday, May 14, 2024 - - - -

Tuesday, May 14, Time 2:00 - 4:00 PM (EDT)

zoom link: ask Sergei Artemov sartemov@gmail.com

**Speaker**:

*Hans van Ditmarsch,**CNRS, IRIT, University of Toulouse, France*

**Title:**

*Epistemic logic and simplicial complexes*

**Abstract: **All my working life as a logician epistemic logic came with Kripke models, in particular the kind for multiple agents with equivalence relations to interpret knowledge. Sure enough, I knew about enriched Kripke models, like subset spaces, or with topologies. But at some level of abstraction you get back your standard Kripke model. Imagine my surprise, around 2018, that there is an entirely dual sort of structure on which the epistemic logical language can be interpreted and that results in the same S5 logic: simplicial complexes. Instead of points that are worlds and links labeled with agents, we now have points that are agents and links labeled with worlds. Or, instead of edges (links), triangles, tetrahedrons, etcetera, that represent worlds. Simplicial complexes are well-known within combinatorial topology and have wide usage in distributed systems to model (a)synchronous computation. The link with epistemic modal logic is recent, spreading out from Mexico City and Paris to other parts of the world, like Vienna and Bern. Other logics are relevant too, for example KB4, in order to encode crashed processes/agents. Other epistemics are relevant too, and in particular distributed knowledge, which facilitates further generalizations from simplicial complexes to simplicial sets. It will be my pleasure to present my infatuation with this novel development connecting epistemic logic and distributed computing. Suggested introductory reading is:

https://arxiv.org/abs/2002.08863

https://link.springer.com/chapter/10.1007/978-3-030-75267-5_1

Knowledge and Simplicial Complexes

Hans van Ditmarsch, Eric Goubault, Jeremy Ledent, Sergio Rajsbaum

https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.34

Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)

Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid

Section 4.3 Representing Epistemic Attitudes via Simplicial Complexes

- - - - Wednesday, May 15, 2024 - - - -

- - - - Thursday, May 16, 2024 - - - -

*** FINAL EXAMS WEEK BEGINS - CUNY GRADUATE CENTER ***

- - - - Friday, May 17, 2024 - - - -

- - - - Monday, May 20, 2024 - - - -

- - - - Tuesday, May 21, 2024 - - - -

- - - - Wednesday, May 22, 2024 - - - -

- - - - Thursday, May 23, 2024 - - - -

- - - - Friday, May 24, 2024 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## 120 Years of Choice, Leeds, 8–12 July 2024

## Set Theory in the United Kingdom, Oxford, 16 May 2024

## Wednesday seminar

## KGRC Set Theory Talks - May 12-17

## This Week in Logic at CUNY

Logic and Metaphysics Workshop

Date: Monday, May 6, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Alethic pluralism and Kripkean truth

Abstract: According to alethic pluralism, there is more than one way of being true: truth is not unique, in that there is a plurality of truth properties each of which pertains to a specific domain of discourse. This paper shows how such a plurality can be represented in a coherent formal framework by means of a Kripke-style construction that yields intuitively correct extensions for distinct truth predicates. The theory of truth it develops can handle at least three crucial problems that have been raised in connection with alethic pluralism: mixed compounds, mixed inferences, and semantic paradoxes.

Note: This is joint work with Andrea Iacona (Turin) and Stefano Romeo (Turin).

- - - - Tuesday, May 7, 2024 - - - -

CUNY Graduate Center

Virtual (email Victoria Gitman (vgitman@gmail.com) for meeting id)

**Ali Enayat**, University of Gothenburg**Tarski's undefinability of truth theorem strikes again**

Tarski's undefinability of truth theorem has two versions, the first one deals with truth itself, takes some effort to prove, and is a descendant of the Epimenides (liar) paradox. The second one deals with the related concept of satisfaction, has a one-line proof, and is a descendent of Russell's paradox. This talk is about the first one, which appeared in the 1953 monograph 'Undecidable Theories' by Tarski, Mostowski, and Robinson; it was employed there to show the essential undecidability of consistent theories that can represent all recursive functions (a strong form of the Gödel-Rosser incompleteness theorem). I will present Tarski's original 1953 formulation (which differs from the common formulation in modern expositions) and will explain how it was used in my recent work with Albert Visser to show that no consistent completion of a sequential theory whose signature is finite is axiomatizable by a collection of sentences of bounded quantifier-alternation-depth. A variant of this result was proved independently by Emil Jeřábek, as I will explain. Our proof method has a pedagogical dividend since it allows one to replace the cryptic Gödel-Carnap fixed point lemma with the perspicuous undefinability of truth theorem in the proof of the Gödel-Rosser incompleteness theorem.

Tuesday, May 7, Time 2:00 - 4:00 PM (EDT)

zoom link: ask Sergei Artemov sartemov@gmail.com

Speaker: SREEHARI KALLOORMANA, Graduate Center CUNY

Title: Formal Argumentation Theory and Argumentation Logics.

Abstract: Deductive Logic is monotonic, in that when the set of premises grows, the set of conclusions grows as well. Since the 1980s, Non-monotonic Logics, where this does not hold, have been studied to model commonsense reasoning, especially in the field of artificial intelligence. In this talk, we will be looking at argument-based nonmonotonic logics, which formalize the notion of attack and defeat in the field of argumentation theory. We will consider briefly abstract argumentation frameworks and the various semantic notions proposed by P.M. Dung in 1995, followed by logic-based structured argumentation frameworks `a la John Pollock, and the more recent ASPIC framework. Various notions of argument attack/defeat fundamental to argumentation, such as rebuttal, undercutting, and undermining, will be discussed. We will then introduce and discuss the idea of reasoning about argumentation using Justification logic, by introducing priority orderings over formulas and justification terms.

- - - - Wednesday, May 8, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: Juan Orendain, Case Western Univeristy.

Date and Time: Wednesday May 8, 2024, 7:00 - 8:30 PM. ZOOM TALK.

Title:** Canonical squares in fully faithful and absolutely dense equipments.**

Abstract: Equipments are categorical structures of dimension 2 having two separate types of 1-arrows -vertical and horizontal- and supporting restriction and extension of horizontal arrows along vertical ones. Equipments were defined by Wood in [W] as 2-functors satisfying certain conditions, but can also be understood as double categories satisfying a fibrancy condition as in [Sh]. In the zoo of 2-dimensional categorical structures, equipments nicely fit in between 2-categories and double categories, and are generally considered as the 2-dimensional categorical structures where synthetic category theory is done, and in some cases, where monoidal bicategories are more naturally defined.

In a previous talk in the seminar, I discussed the problem of lifting a 2-category into a double category along a given category of vertical arrows, and how this problem allows us to define a notion of length on double categories. The length of a double category is a number that roughly measures the amount of work one needs to do to reconstruct the double category from a bicategory along its set of vertical arrows.

In this talk I will review the length of double categories, and I will discuss two recent developments in the theory: In the paper [OM] a method for constructing different double categories from a given bicategory is presented. I will explain how this construction works. One of the main ingredients of the construction are so-called canonical squares. In the preprint [O] it is proven that in certain classes of equipments -fully faithful and absolutely dense- every square that can be canonical is indeed canonical. I will explain how from this, it can be concluded that fully faithful and absolutely dense equipments are of length 1, and so they can be 'easily' reconstructed from their horizontal bicategories.

References:

[O] Length of fully faithful framed bicategories. arXiv:2402.16296.

[OM] J. Orendain, R. Maldonado-Herrera, Internalizations of decorated bicategories via π-indexings. To appear in Applied Categorical Structures. arXiv:2310.18673.

[W] R. K. Wood, Abstract Proarrows I, Cahiers de topologie et géométrie différentielle 23 3 (1982) 279-290.

[Sh] M. Shulman, Framed bicategories and monoidal fibrations. Theory and Applications of Categories, Vol. 20, No. 18, 2008, pp. 650–738.

- - - - Thursday, May 9, 2024 - - - -

- - - - Friday, May 10, 2024 - - - -

CUNY Graduate Center

Friday May 10, 12:30pm NY time, Room: 6495

Alf Dolich, CUNY**The decidability of the rings Z/mZ**

In this expository talk I will discuss recent work of Derakhshan and Macintyre on the decidability of the common theory of the rings Z/mZ as m varies through the natural numbers m>1.

CUNY Graduate Center

Friday May 10, 2:00pm-3:30pm, Room 5417

**Roman Kossak**, CUNY**The lattice problem for models of arithmetic**

The lattice problem for models of PA is to determine which lattices can be represented either as lattices of elementary substructures of a model of PA or, more generally, which can be represented as lattices of elementary substructures of a model N that contain a given elementary substructure M of N.

Since the 1970's, the problem generated much research with highly nontrivial results with proofs combining specific methods in the model theory of arithmetic with lattice theory and various combinatorial theorems. The problem has a definite answer in the case of distributive lattices, and, despite much effort, there are still many open questions in the nondistributive case. I will briefly survey some early results and present a few proofs that illustrate the difference between the distributive and nondistributive cases.

- - - - Monday, May 13, 2024 - - - -

- - - - Tuesday, May 14, 2024 - - - -

- - - - Wednesday, May 15, 2024 - - - -

- - - - Thursday, May 16, 2024 - - - -

*** FINAL EXAMS WEEK BEGINS - CUNY GRADUATE CENTER ***

- - - - Friday, May 17, 2024 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Logic Seminar 8 May 2024 17:00 hrs at NUS

## Fwd: 9 FMP: przestrzenie Banacha: geometria i operatory

Od:

**Grzegorz Plebanek**<grzegorz.plebanek@math.uni.wroc.pl>

Date: wt., 30 kwi 2024 o 22:47

Subject: Fwd: 9 FMP: przestrzenie Banacha: geometria i operatory

To: Szymon Żeberski <szymon.zeberski@pwr.edu.pl>

Cc: <sebastian.jachimek@math.uni.wroc.pl>, Piotr Borodulin-Nadzieja <pborod@math.uni.wroc.pl>

Szymonie, rozeslij to, proszę do wszystkich z seminarium. To Jest wiadomość od Tomka Kanii (który prosi o informowanie wszystkich zainteresowanych) w sprawie sesji Przestrzenie Banacha, ale na liście konferencji jest też sesja Teoria Mnogości. Pozdrawiam, G

Od:

**Tomasz Kania**<tomasz2.kania@uj.edu.pl>

Date: wt., 30 kwi 2024 o 21:10

Subject: 9 FMP: przestrzenie Banacha: geometria i operatory

okazuje się, że sesja z przestrzeni Banacha się odbędzie (nie jest jednak jeszcze jasne, którego dnia konferencji); jeżeli nadal wyrażasz zainteresowanie przyjazdem, bardzo proszę o przesłanie abstraktu na:

Abstrakty - 9. Forum Matematyków Polskich (us.edu.pl)

(oraz idealnie potwierdzenie emailowe do mnie, że udało Ci się posłać).

__ __

## Set Theory Workshop "Compactness and Cardinal Invariants" Vienna, May 2, 2024

## UPDATE: This Week in Logic at CUNY

Rutgers Logic Seminar

Monday Apr 29, 3:30pm Hill Center, Hill 705

Logic and Metaphysics Workshop

Date: Monday, April 29, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Physicalism, intentionality and normativity: The essential explanatory gap

Abstract: In this paper, I present an explanatory gap argument against the view that the semantic facts are fully grounded in the physical facts. Unlike traditional explanatory gap arguments, which stem from the failure of analytic reductive explanation, the explanatory gap I point to stems from the failure of metaphysical explanation. I argue for the following theses. (i) Physicalist grounding claims are metaphysically necessary, if true. (ii) To be explanatorily adequate, these grounding claims must be deducible from facts about essence. (iii) Semantico-physical grounding claims are possibly false, not (only) because they are conceivably false, but because they cannot be deduced from facts about essence. (iv) Semantic properties are essentially weakly normative: it lies in their natures to have correctness conditions and subjectively rationalize—rather than merely cause—behaviour. This gives rise to an explanatory gap that indicates that the semantic facts are not fully grounded in the physical facts.

- - - - Tuesday, Apr 30, 2024 - - - -

Computational Logic Seminar

Spring 2024 (online)

Tuesday, April 30

Time 2:00 - 4:00 PM (EDT)

zoom link: ask Sergei Artemov sartemov@gmail.com

Speaker: Benjamin PrudHomme, Graduate Center CUNY

Title: On Game Theory and Epistemic Logic

Abstract: Review of basic game theory and epistemic game theory concepts, including strictly competitive games, pure and mixed strategy Nash equilibria, rationalizability, models of knowledge, distinction between mutual and common knowledge. Review of proofs of when a game has a Nash equilibrium, Nash's Theorem, Muddy Children Problem. Discussions of current and potential future efforts to utilize logic in developing a more comprehensive theory of pure strategy solutions.

- - - - Wednesday, May 1, 2024 - - - -

- - - - Thursday, May 2, 2024 - - - -

- - - - Friday, May 3, 2024 - - - -

CUNY Graduate Center

Friday May 3, 12:30pm NY time, Room: 6495

Genericity in models of arithmetic

In this talk, I plan to explore a few notions of 'genericity' in the context of models of arithmetic. I will recall the notion of genericity borrowed from set-theory, used by Simpson to prove that every countable model of PA has an expansion to a pointwise definable model of PA*. I will then explore other notions of genericity inspired by more model-theoretic contexts. One such notion is 'neutrality': in a model M, we say an undefinable set X is neutral if the definable closure relation in (M, X) is the same as in M. Another notion, inspired by work done on model-theoretic genericity by Chatzidakis and Pillay, is called CP-genericity. I will explore these notions and outline some results, including: (1) every model of PA has a neutral set which is not CP-generic, (2) every countable model of PA has a CP-generic which is not neutral (and in fact, fails neutrality spectacularly: ie, we can find a CP-generic where the expansion is pointwise definable), and (3) every countable model of PA has a neutral CP-generic. This talk touches on work contained in two papers, one of which was joint work with Roman Kossak, and the other was joint work with James Schmerl.

CUNY Graduate Center

Friday, May 3, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

**Spencer Unger**, University of Toronto**Iterated ultrapower methods in analysis of Prikry type forcing**

We survey some old and new results in singular cardinal combinatorics whose proofs can be phrased in terms of iterated ultrapowers and ask a few questions.

CUNY Graduate Center

Friday May 3, 2:00pm-3:30pm, Room 5417

**Christian Wolf**, CUNY**Computability of entropy and pressure on compact symbolic spaces beyond finite type**

In this talk we discuss the computability of the entropy and topological pressure on compact shift spaces and continuous potentials . This question has recently been studied for subshifts of finite type (SFTs) and their factors (Sofic shifts). We develop a framework to address the computability of the entropy pressure on general shift spaces and apply this framework to coded shifts. In particular, we prove the computability of the topological pressure for all continuous potentials on S-gap shifts, generalized gap shifts, and Beta shifts. We also construct shift spaces which, depending on the potential, exhibit computability and non-computability of the topological pressure. We further show that the generalized pressure function is not computable for a large set of shift spaces and potentials . Along the way of developing these computability results, we derive several ergodic-theoretical properties of coded shifts which are of independent interest beyond the realm of computability. The topic of the talk is joint work with Michael Burr (Clemson U.), Shuddho Das (Texas Tech) and Yun Yang (Virginia Tech).

- - - - Monday, May 6, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, May 6, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Alethic pluralism and Kripkean truth

Abstract: According to alethic pluralism, there is more than one way of being true: truth is not unique, in that there is a plurality of truth properties each of which pertains to a specific domain of discourse. This paper shows how such a plurality can be represented in a coherent formal framework by means of a Kripke-style construction that yields intuitively correct extensions for distinct truth predicates. The theory of truth it develops can handle at least three crucial problems that have been raised in connection with alethic pluralism: mixed compounds, mixed inferences, and semantic paradoxes.

Note: This is joint work with Andrea Iacona (Turin) and Stefano Romeo (Turin).

- - - - Tuesday, May 7, 2024 - - - -

- - - - Wednesday, May 8, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: Juan Orendain, Case Western Univeristy.

Date and Time: Wednesday May 8, 2024, 7:00 - 8:30 PM. ZOOM TALK.

Title: Canonical squares in regularly framed bicategories.

- - - - Thursday, May 9, 2024 - - - -

- - - - Friday, May 10, 2024 - - - -

CUNY Graduate Center

Friday May 10, 2:00pm-3:30pm, Room 5417

**Roman Kossak**, CUNY**The lattice problem for models of arithmetic**

The lattice problem for models of PA is to determine which lattices can be represented either as lattices of elementary substructures of a model of PA or, more generally, which can be represented as lattices of elementary substructures of a model N that contain a given elementary substructure M of N.

Since the 1970's, the problem generated much research with highly nontrivial results with proofs combining specific methods in the model theory of arithmetic with lattice theory and various combinatorial theorems. The problem has a definite answer in the case of distributive lattices, and, despite much effort, there are still many open questions in the nondistributive case. I will briefly survey some early results and present a few proofs that illustrate the difference between the distributive and nondistributive cases.

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Cross-Alps Logic Seminar (speaker: Spencer Unger)

**Spencer Unger**(University of Toronto)

will give a talk on

*Iterated ultrapower methods*## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday Apr 29, 3:30pm Hill Center, Hill 705

Logic and Metaphysics Workshop

Date: Monday, April 29, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Physicalism, intentionality and normativity: The essential explanatory gap

Abstract: In this paper, I present an explanatory gap argument against the view that the semantic facts are fully grounded in the physical facts. Unlike traditional explanatory gap arguments, which stem from the failure of analytic reductive explanation, the explanatory gap I point to stems from the failure of metaphysical explanation. I argue for the following theses. (i) Physicalist grounding claims are metaphysically necessary, if true. (ii) To be explanatorily adequate, these grounding claims must be deducible from facts about essence. (iii) Semantico-physical grounding claims are possibly false, not (only) because they are conceivably false, but because they cannot be deduced from facts about essence. (iv) Semantic properties are essentially weakly normative: it lies in their natures to have correctness conditions and subjectively rationalize—rather than merely cause—behaviour. This gives rise to an explanatory gap that indicates that the semantic facts are not fully grounded in the physical facts.

- - - - Tuesday, Apr 30, 2024 - - - -

- - - - Wednesday, May 1, 2024 - - - -

- - - - Thursday, May 2, 2024 - - - -

- - - - Friday, May 3, 2024 - - - -

CUNY Graduate Center

Friday May 3, 12:30pm NY time, Room: 6495

Genericity in models of arithmetic

In this talk, I plan to explore a few notions of 'genericity' in the context of models of arithmetic. I will recall the notion of genericity borrowed from set-theory, used by Simpson to prove that every countable model of PA has an expansion to a pointwise definable model of PA*. I will then explore other notions of genericity inspired by more model-theoretic contexts. One such notion is 'neutrality': in a model M, we say an undefinable set X is neutral if the definable closure relation in (M, X) is the same as in M. Another notion, inspired by work done on model-theoretic genericity by Chatzidakis and Pillay, is called CP-genericity. I will explore these notions and outline some results, including: (1) every model of PA has a neutral set which is not CP-generic, (2) every countable model of PA has a CP-generic which is not neutral (and in fact, fails neutrality spectacularly: ie, we can find a CP-generic where the expansion is pointwise definable), and (3) every countable model of PA has a neutral CP-generic. This talk touches on work contained in two papers, one of which was joint work with Roman Kossak, and the other was joint work with James Schmerl.

CUNY Graduate Center

Friday, May 3, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

**Spencer Unger**, University of Toronto**Iterated ultrapower methods in analysis of Prikry type forcing**

We survey some old and new results in singular cardinal combinatorics whose proofs can be phrased in terms of iterated ultrapowers and ask a few questions.

CUNY Graduate Center

Friday May 3, 2:00pm-3:30pm, Room 5417

**Christian Wolf**, CUNY**Computability of entropy and pressure on compact symbolic spaces beyond finite type**

In this talk we discuss the computability of the entropy and topological pressure on compact shift spaces and continuous potentials . This question has recently been studied for subshifts of finite type (SFTs) and their factors (Sofic shifts). We develop a framework to address the computability of the entropy pressure on general shift spaces and apply this framework to coded shifts. In particular, we prove the computability of the topological pressure for all continuous potentials on S-gap shifts, generalized gap shifts, and Beta shifts. We also construct shift spaces which, depending on the potential, exhibit computability and non-computability of the topological pressure. We further show that the generalized pressure function is not computable for a large set of shift spaces and potentials . Along the way of developing these computability results, we derive several ergodic-theoretical properties of coded shifts which are of independent interest beyond the realm of computability. The topic of the talk is joint work with Michael Burr (Clemson U.), Shuddho Das (Texas Tech) and Yun Yang (Virginia Tech).

- - - - Monday, May 6, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, May 6, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Alethic pluralism and Kripkean truth

Abstract: According to alethic pluralism, there is more than one way of being true: truth is not unique, in that there is a plurality of truth properties each of which pertains to a specific domain of discourse. This paper shows how such a plurality can be represented in a coherent formal framework by means of a Kripke-style construction that yields intuitively correct extensions for distinct truth predicates. The theory of truth it develops can handle at least three crucial problems that have been raised in connection with alethic pluralism: mixed compounds, mixed inferences, and semantic paradoxes.

Note: This is joint work with Andrea Iacona (Turin) and Stefano Romeo (Turin).

- - - - Tuesday, May 7, 2024 - - - -

- - - - Wednesday, May 8, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: Juan Orendain, Case Western Univeristy.

Date and Time: Wednesday May 8, 2024, 7:00 - 8:30 PM. ZOOM TALK.

Title: Canonical squares in regularly framed bicategories.

- - - - Thursday, May 9, 2024 - - - -

- - - - Friday, May 10, 2024 - - - -

CUNY Graduate Center

Friday May 10, 2:00pm-3:30pm, Room 5417

**Roman Kossak**, CUNY**The lattice problem for models of arithmetic**

The lattice problem for models of PA is to determine which lattices can be represented either as lattices of elementary substructures of a model of PA or, more generally, which can be represented as lattices of elementary substructures of a model N that contain a given elementary substructure M of N.

Since the 1970's, the problem generated much research with highly nontrivial results with proofs combining specific methods in the model theory of arithmetic with lattice theory and various combinatorial theorems. The problem has a definite answer in the case of distributive lattices, and, despite much effort, there are still many open questions in the nondistributive case. I will briefly survey some early results and present a few proofs that illustrate the difference between the distributive and nondistributive cases.

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## KGRC Set Theory Talk - May 2

## Wednesday seminar

## 51st Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Our speaker this week will be Jiachen Yuan from the University of Leeds. This talk is going to take place this Friday, Apr 26, from 4pm to 5pm(UTC+8, Beijing time).

This is going to be an online event. Follow the link below to join the Zoom meeting. Please use your real name to join the meeting.

Title ：The 51st Nankai Logic Colloquium -- Jiachen Yuan

Time ：16:00pm, Apr. 26, 2024(Beijing Time)

Zoom Number ： 734 242 5443

Passcode ：477893

Link ：https://zoom.us/j/7342425443?pwd=NnO2EFts9VOfCR9eDFUkoI3lNn2QTo.1&omn=84627872662

_____________________________________________________________________

Best wishes,

Ming Xiao

## This Week in Logic at CUNY

*** CUNY SPRING RECESS APRIL 22 - 30 ***

Monday Apr 22, 3:30pm Hill Center, Hill 705

Dave Marker, University of Illinois at Chicago

Rigid real closed fields

- - - - Tuesday, Apr 23, 2024 - - - -

Computational Logic Seminar

Spring 2024 (online)

zoom link: ask Sergei Artemov (sartemov@gmail.com)

Speaker: Thomas Schlögl, Technische Universität Wien

Title: Epistemic Modeling of Truly Private Updates and a Glance at

a New Epistemic Model Checking and Visualization Tool

Abstract: Epistemic logic has been successfully applied to the modeling of epistemic and doxastic attitudes of agents in distributed systems. Dynamic Epistemic Logic (DEL) adds communication via model transforming updates. Since agents in distributed systems often exchange information without other agents knowing, however, the commonly known model updates in DEL are generally not adequate for describing fully private communication. In this talk, I will present a novel update mechanism for solving the fully private consistent update synthesis task: designing a model update that makes a given goal formula true while maintaining the consistency of the agents’ beliefs.

In addition, I will provide a first glimpse of the alpha version of a performant epistemic model checking and visualization tool I am currently working on. Model-checking allows us to verify whether a finite-state model (typically represented as a Kripke structure) satisfies a given specification. Many model-checking tools exist for a variety of logical languages, including epistemic logic. To effectively support foundational theoretical research like developing sound and efficient fully private model updates, however, a tool is needed that simultaneously provides:

.) a flexible and intuitive user interface,

.) powerful visualization capabilities for large models (>10,000 states),

.) a performant model-checking algorithm that also provides explanations/proofs/counter-examples

.) easy extendability w.r.t. logical language features and model generation/updates

- - - - Wednesday, Apr 24, 2024 - - - -

- - - - Thursday, Apr 25, 2024 - - - -

- - - - Friday, Apr 26, 2024 - - - -

*** CUNY SPRING RECESS APRIL 22 - 30 ***

Logic and Metaphysics Workshop

Date: Monday, April 29, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Physicalism, intentionality and normativity: The essential explanatory gap

Abstract: In this paper, I present an explanatory gap argument against the view that the semantic facts are fully grounded in the physical facts. Unlike traditional explanatory gap arguments, which stem from the failure of analytic reductive explanation, the explanatory gap I point to stems from the failure of metaphysical explanation. I argue for the following theses. (i) Physicalist grounding claims are metaphysically necessary, if true. (ii) To be explanatorily adequate, these grounding claims must be deducible from facts about essence. (iii) Semantico-physical grounding claims are possibly false, not (only) because they are conceivably false, but because they cannot be deduced from facts about essence. (iv) Semantic properties are essentially weakly normative: it lies in their natures to have correctness conditions and subjectively rationalize—rather than merely cause—behaviour. This gives rise to an explanatory gap that indicates that the semantic facts are not fully grounded in the physical facts.

- - - - Tuesday, Apr 30, 2024 - - - -

- - - - Wednesday, May 1, 2024 - - - -

- - - - Thursday, May 2, 2024 - - - -

- - - - Friday, May 3, 2024 - - - -

CUNY Graduate Center

Friday, May 3, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

**Spencer Unger**, University of Toronto**Iterated ultrapower methods in analysis of Prikry type forcing**

We survey some old and new results in singular cardinal combinatorics whose proofs can be phrased in terms of iterated ultrapowers and ask a few questions.

CUNY Graduate Center

Friday May 3, 2:00pm-3:30pm, Room 5417

**Christian Wolf**, CUNY**Computability of entropy and pressure on compact symbolic spaces beyond finite type**

In this talk we discuss the computability of the entropy and topological pressure on compact shift spaces and continuous potentials . This question has recently been studied for subshifts of finite type (SFTs) and their factors (Sofic shifts). We develop a framework to address the computability of the entropy pressure on general shift spaces and apply this framework to coded shifts. In particular, we prove the computability of the topological pressure for all continuous potentials on S-gap shifts, generalized gap shifts, and Beta shifts. We also construct shift spaces which, depending on the potential, exhibit computability and non-computability of the topological pressure. We further show that the generalized pressure function is not computable for a large set of shift spaces and potentials . Along the way of developing these computability results, we derive several ergodic-theoretical properties of coded shifts which are of independent interest beyond the realm of computability. The topic of the talk is joint work with Michael Burr (Clemson U.), Shuddho Das (Texas Tech) and Yun Yang (Virginia Tech).

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## Set theory and topology seminar 23.04.2024 Tomasz Żuchowski

**(Wrocław University of Science and Technology) the lecture:**

**Tomasz Żuchowski**

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## KGRC Talks - April 25

## 50th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon, but at an irregular time, as we have two speakers this week.

Time（Stevo Todorcevic） ：14:30pm, Apr. 19, 2024(Beijing Time)

Time（Dilip Raghavan） ：16:00pm, Apr. 19, 2024(Beijing Time)

Zoom Number ： 734 242 5443

Passcode ：477893

Link ：https://zoom.us/j/7342425443?pwd=NnO2EFts9VOfCR9eDFUkoI3lNn2QTo.1&omn=81450804954

_____________________________________________________________________

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best wishes,

Ming Xiao

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday Apr 15, 3:30pm Hill Center, Hill 705

Logic and Metaphysics Workshop

Date: Monday, April 15, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Imaging is Alpha + Aizerman

Abstract: I give a non-probabilistic account of the imaging revision process. Most familiar in its various probabilistic forms, imaging was introduced by David Lewis (1976) as the form of belief revision appropriate for supposing subjunctively that a hypothesis be true. It has played a central role in the semantics of subjunctive conditionals, in causal decision theory, and, less well known to philosophers, in the computational theory of information retrieval. In the economics literature, non-probabilistic imaging functions have been called “pseudo-rationalizable choice functions”. I show that the imaging functions are precisely those which satisfy both Sen’s Alpha Principle (aka “Chernoff’s Axiom”) and the Aizerman Axiom. This result allows us to see very clearly the formal relationship between non-probabilistic imaging and AGM revision (which is Alpha + Beta).

- - - - Tuesday, Apr 16, 2024 - - - -

Computational Logic Seminar

Spring 2024 (online)

Tuesday, April 16, Time 2:00 - 4:00 PM

zoom link: contact Sergei Artemov (sartemov@gmail.com)

Speaker: Lukas Zenger, University of Bern

Title: Intuitionistic modal logic with the master modality

- - - - Wednesday, Apr 17, 2024 - - - -

- - - - Thursday, Apr 18, 2024 - - - -

- - - - Friday, Apr 19, 2024 - - - -

CUNY Graduate Center

Friday April 19, 2:00pm-3:30pm, Room 5417

Some applications of model theory to lattice-ordered groups

When does a hyperarchimedean lattice-ordered group embed into a hyperarchimedean lattice-ordered group with strong unit? After explaining the meaning of this question, I will describe some partial answers obtained via model theory.

- - - - Monday, Apr 22, 2024 - - - -

*** CUNY SPRING RECESS APRIL 22 - 30 ***

- - - - Tuesday, Apr 23, 2024 - - - -

*** CUNY SPRING RECESS APRIL 22 - 30 ***

- - - - Wednesday, Apr 24, 2024 - - - -

*** CUNY SPRING RECESS APRIL 22 - 30 ***

- - - - Thursday, Apr 25, 2024 - - - -

*** CUNY SPRING RECESS APRIL 22 - 30 ***

- - - - Friday, Apr 26, 2024 - - - -

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## KGRC Talks - April 18

## Set theory and toplogy seminar 16.04.2024 Krzysztof Zakrzewski (UW)

**(Wrocław University of Science and Technology) the lecture:**

**Krzysztof Zakrzewski (MIM UW)**

## Wednesday seminar

## Two Related Seminars in Geometry and Topology by Shlpak Banerjee and in Logic by Philipp Kunde on Wednesday 17 April 2024

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday Apr 8, Hill Center, Hill 705, SPECIAL TIME: 4:00pm

Jing Zhang, Toronto

Squares, ultrafilters and forcing axioms

Logic and Metaphysics Workshop

Date: Monday, April 8, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Social construction and meta-ground

Abstract: The notion of social construction plays an important role in many areas of social philosophy, including the philosophy of gender, the philosophy of race, and social ontology. But it is far from clear how this notion (or cluster of notions) is to be understood. One promising proposal, which has been championed in recent years by Aaron Griffith (2017, 2018) and Jonathan Schaffer (2017), is that the notion of constitutive social construction may be analyzed in terms of the notion of metaphysical grounding. In this paper, I argue that a simple ground-theoretic analysis of social construction is subject to two sorts of problem cases and that existing ground-theoretic accounts do not avoid these problems. I then develop a novel ground-theoretic account of social construction in terms of meta-ground, and I argue that it avoids the problems. The core idea of the account is that in cases of social construction, the meta-ground of the relevant grounding fact includes a suitable connective social fact.

- - - - Tuesday, Apr 9, 2024 - - - -

MOPA (Models of Peano Arithmetic)

CUNY Graduate Center

Virtual (email Victoria Gitman for meeting id)

Tuesday, April 9, 1pm

Athar Abdul-Quader, Purchase College

Representations of lattices

- - - - Wednesday, Apr 10, 2024 - - - -

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Date and Time: Wednesday April 10, 2024, 7:00 - 8:30 PM. IN-PERSON

Title: Pulse Diagrams and Category Theory.

Abstract: ``Pulse diagrams'' are motivated by the ubiquity of pulsation in biology, from action potentials, to heartbeat, to respiration, and at longer time-scales to circadian rhythms and even to human behavior. The syntax of the diagrams is simple, and the semantics are easy to define and simulate with Python code. They express behaviors of parts and wholes as in categorical mereology, but are missing a compositional framework, like string diagrams. Examples to discuss include cellular automata, leaky-integrate-and-fire neurons, harmonic frequency generation, Gillespie algorithm for the chemical master equation, piecewise-linear genetic regulatory networks, Lotka-Volterra systems, and if time permits, aspects of the adaptive immune system. The talk is more about questions than about answers.

- - - - Thursday, Apr 11, 2024 - - - -

- - - - Friday, Apr 12, 2024 - - - -

CUNY Graduate Center

Friday, April 12, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

Boban Velickovic University of Paris

Logic Workshop

CUNY Graduate Center

Friday April 12, 2:00pm-3:30pm, Room 5417

**Hans Schoutens**, CUNY**Geometric tools for the decidability of the existential theory of **

I will give a brief survey how tools from algebraic geometry can be used in finding solutions to Diophantine equations over and similar rings. These tools include Artin approximation, arc spaces, motives and resolution of singularities. This approach yields the definability of the existential theory of (in the ring language with a constant for ) contingent upon the validity of resolution of singularities (Denef-Schoutens). Anscombe-Fehm proved a weaker result using model-theoretic tools and together with Dittmann, they gave a proof assuming only the weaker 'local uniformization conjecture.'

- - - - Monday, Apr 15, 2024 - - - -

Rutgers Logic Seminar

Monday Apr 15, 3:30pm Hill Center, Hill 705

Logic and Metaphysics Workshop

Date: Monday, April 15, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Imaging is Alpha + Aizerman

Abstract: I give a non-probabilistic account of the imaging revision process. Most familiar in its various probabilistic forms, imaging was introduced by David Lewis (1976) as the form of belief revision appropriate for supposing subjunctively that a hypothesis be true. It has played a central role in the semantics of subjunctive conditionals, in causal decision theory, and, less well known to philosophers, in the computational theory of information retrieval. In the economics literature, non-probabilistic imaging functions have been called “pseudo-rationalizable choice functions”. I show that the imaging functions are precisely those which satisfy both Sen’s Alpha Principle (aka “Chernoff’s Axiom”) and the Aizerman Axiom. This result allows us to see very clearly the formal relationship between non-probabilistic imaging and AGM revision (which is Alpha + Beta).

- - - - Tuesday, Apr 16, 2024 - - - -

- - - - Wednesday, Apr 17, 2024 - - - -

- - - - Thursday, Apr 18, 2024 - - - -

- - - - Friday, Apr 19, 2024 - - - -

CUNY Graduate Center

Friday April 19, 2:00pm-3:30pm, Room 5417

Some applications of model theory to lattice-ordered groups

When does a hyperarchimedean lattice-ordered group embed into a hyperarchimedean lattice-ordered group with strong unit? After explaining the meaning of this question, I will describe some partial answers obtained via model theory.

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

## Logic Seminar Tuesday 9 April 2023 by Piotr Kowalski

## KGRC Talk - April 11

## Nankai Logic Colloquium paused for two weeks

## Set theory and topology seminar 9.04.2024 Jakub Rondos

**(Wrocław University of Science and Technology) the lecture:**

**Jakub Rondos (University of Vienna)**

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Cross-Alps Logic Seminar (speaker: Luca Motto Ros)

**Luca Motto Ros**(University of Torino)

*Borel complexity of graph homomorphism*## This Week in Logic at CUNY

Logic and Metaphysics Workshop

Date: Monday, April 1, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Andrew Tedder (Vienna).

Title: Relevant logics as topical logics

Abstract: There is a simple way of reading a structure of topics into the matrix models of a given logic, namely by taking the topics of a given matrix model to be represented by subalgebras of the algebra reduct of the matrix, and then considering assignments of subalgebras to formulas. The resulting topic-enriched matrix models bear suggestive similarities to the two-component frame models developed by Berto et. al. in Topics of Thought. In this talk I’ll show how this reading of topics can be applied to the relevant logic R, and its algebraic characterisation in terms of De Morgan monoids, and indicate how we can, using this machinery and the fact that R satisfies the variable sharing property, read R as a topic-sensitive logic. I’ll then suggest how this approach to modeling topics can be applied to a broader range of logics/classes of matrices, and gesture at some avenues of research.

- - - - Tuesday, Apr 2, 2024 - - - -

MOPA (Models of Peano Arithmetic)

CUNY Graduate Center

Virtual (email Victoria Gitman for meeting id)

Tuesday, April 2, 1pm

**Athar Abdul-Quader**, Purchase College**Representations of lattices**

Following up on the series of talks on the history of the problem, in this talk we will discuss the main technique for realizing finite lattices as interstructure lattices, due to Schmerl in 1986. We will motivate this technique by studying an example: the Boolean algebra . We will see how we can modify the technique to produce elementary extensions realizing specific ranked lattices to ensure that such extensions are end, cofinal, or mixed extensions.

**Computational Logic Seminar**

**Spring 2024**

**(online)**

**Tuesday, April 2,**

**Time 2:00 - 4:00 PM**

**Speaker:**

**Sonja J.L. Smets**, The University of Amsterdam

**Title:**

*Reasoning about Epistemic Superiority and Data Exchange*

**Abstract:**In this presentation I focus on a framework that generalizes dynamic epistemic logic in order to model a wider range of scenarios including those in which agents read or communicate (or somehow gain access to) all the information stored at specific sources, or possessed by some other agents (including information of a non-propositional nature, such as data, passwords, secrets etc). The resulting framework allows one to reason about the state of affairs in which one agent (or group of agents) has ‘epistemic superiority’ over another agent (or group). I will present different examples of epistemic superiority and I will draw a connection to the logic of functional dependence by A. Baltag and J. van Benthem. At the level of group attitudes, I will further introduce the new concept of 'common distributed knowledge', which combines features of both common knowledge and distributed knowledge. This presentation is based on joint work with A. Baltag in [1].

[1] A. Baltag and S. Smets, Learning what others know, in L. Kovacs and E. Albert (eds.), LPAR23 proceedings of the International Conference on Logic for Programming, AI and Reasoning, EPiC Series in Computing, 73:90-110, 2020. https://doi.org/10.29007/plm4

- - - - Wednesday, Apr 3, 2024 - - - -

- - - - Thursday, Apr 4, 2024 - - - -

- - - - Friday, Apr 5, 2024 - - - -

April 5, Friday, 10 AM

Zoom meeting, please contact Rohit Parikh for zoom link

*The implicative conditional*, by Eric Raidl and myself, recently published in

*Journal of Philosophical Logic*(with free access). The paper presents a proposal for a strong conditional, that is, one that really expresses that the consequent is a consequence of the antecedent, or that the antecedent is a sufficient reason for believing the consequent, in a given context. We claim that the implicative conditional describes the logical behavior of an empirically defined class of natural language conditionals, also named implicative conditionals, which excludes concessive and some other conditionals. The logical properties of this conditional in a reflexive normal Kripke semantics will be discussed. Its axiomatic system, which was proved sound and complete, will be presented. The implicative conditional avoids the paradoxes of the material and strict conditionals, presents connexive properties, and assures the relevance of the antecedent to the consequent.

CUNY Graduate Center

Friday, April 5, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

Kameryn Williams Bard College at Simon's Rock

Logic Workshop

CUNY Graduate Center

Friday April 5, 2:00pm-3:30pm, Room 5417

Decision problem for groups as equivalence relations

In 1911, Dehn proposed three decision problems for finitely presented groups: the word problem, the conjugacy problem, and the isomorphism problem. These problems have been central to both group theory and logic, and were each proven to be undecidable in the 50's. There is much current research studying the decidability of these problems in certain classes of groups.

Classically, when a decision problem is undecidable, its complexity is measured using Turing reducibility. However, Dehn's problems can also be naturally thought of as computably enumerable equivalence relations (ceers). We take this point of view and measure their complexity using computable reductions. This yields behaviors different from the classical context: for instance, every Turing degree contains a word problem, but not every ceer degree does. This leads us to study the structure of ceer degrees containing a word problem and other related questions.

- - - - Monday, Apr 8, 2024 - - - -

Rutgers Logic Seminar

Monday Apr 8, 3:30pm, Hill Center, Hill 705

Jing Zhang

Logic and Metaphysics Workshop

Date: Monday, April 8, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Social construction and meta-ground

Abstract: The notion of social construction plays an important role in many areas of social philosophy, including the philosophy of gender, the philosophy of race, and social ontology. But it is far from clear how this notion (or cluster of notions) is to be understood. One promising proposal, which has been championed in recent years by Aaron Griffith (2017, 2018) and Jonathan Schaffer (2017), is that the notion of constitutive social construction may be analyzed in terms of the notion of metaphysical grounding. In this paper, I argue that a simple ground-theoretic analysis of social construction is subject to two sorts of problem cases and that existing ground-theoretic accounts do not avoid these problems. I then develop a novel ground-theoretic account of social construction in terms of meta-ground, and I argue that it avoids the problems. The core idea of the account is that in cases of social construction, the meta-ground of the relevant grounding fact includes a suitable connective social fact.

- - - - Tuesday, Apr 9, 2024 - - - -

- - - - Wednesday, Apr 10, 2024 - - - -

- - - - Thursday, Apr 11, 2024 - - - -

- - - - Friday, Apr 12, 2024 - - - -

CUNY Graduate Center

Friday, April 12, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

Boban Velickovic University of Paris

Logic Workshop

CUNY Graduate Center

Friday April 12, 2:00pm-3:30pm, Room 5417

**Hans Schoutens**, CUNY**Geometric tools for the decidability of the existential theory of **

I will give a brief survey how tools from algebraic geometry can be used in finding solutions to Diophantine equations over and similar rings. These tools include Artin approximation, arc spaces, motives and resolution of singularities. This approach yields the definability of the existential theory of (in the ring language with a constant for ) contingent upon the validity of resolution of singularities (Denef-Schoutens). Anscombe-Fehm proved a weaker result using model-theoretic tools and together with Dittmann, they gave a proof assuming only the weaker 'local uniformization conjecture.'

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

## Wednesday seminar

## 49th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Title ：The 49th Nankai Logic Colloquium -- Aristotelis Panagiotopoulos

Time ：16:00pm, Mar. 29, 2024(Beijing Time)

Zoom Number ： 734 242 5443

Passcode ：477893

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best wishes,

Ming Xiao

## Logic Seminar Talks 27 March 2024 and 3 April 2024 at NUS

## UPDATE: This Week in Logic at CUNY

Rutgers Logic Seminar

Monday Mar 25, 3:30pm, Hill Center, Hill 705

Date: Monday, March 25, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: A moderate theory of overall resemblance

Abstract: This paper defends the moderate theory of overall resemblance stated by: A) y is at least as similar to x as z is iff: i) every resemblance property shared by x and z is also shared by x and y, and ii) for any resemblance family of properties F, y is at least as similar to x as z is with respect to F. In this account, a resemblance property is a property that corresponds to a genuine respect in which two things can resemble each other, whereas a resemblance family is a set of properties with respect to which things can be more or less similar to each other. An example of a resemblance property is being cubical, an example of a non-resemblance property is being either a gold cube or a silver sphere, and an example of a resemblance family is the set of specific mass properties.

- - - - Tuesday, Mar 26, 2024 - - - -

MOPA (Models of Peano Arithmetic)

CUNY Graduate Center

Virtual (email Victoria Gitman for meeting id)

Tuesday, March 26, 1pm

Roman Kossak, CUNY**The lattice problem for models of PA: Part ii**

The lattice problem for models of PA is to determine which lattices can be represented either as lattices of elementary substructures of a model of PA or, more generally, which can be represented as lattices of elementary substructures of a model N that contain a given elementary substructure M of N. I will talk about the history of the problem, from the seminal paper of Haim Gaifman from 1976 and other early results to some recent work of Jim Schmerl. There is much to talk about.

Computational Logic Seminar

Spring 2024 (online)

Tuesday, March 26 Time 2:00 - 4:00 PM

zoom link: contact Sergei Artemov (sartemov@gmail.com)

Speaker: Thomas Studer, University of Bern

Title: Simplicial Complexes for Epistemic Logic

- - - - Wednesday, Mar 27, 2024 - - - -

- - - - Thursday, Mar 28, 2024 - - - -

- - - - Friday, Mar 29, 2024 - - - -

- - - - Monday, Apr 1, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, April 1, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Andrew Tedder (Vienna).

Title: Relevant logics as topical logics

Abstract: There is a simple way of reading a structure of topics into the matrix models of a given logic, namely by taking the topics of a given matrix model to be represented by subalgebras of the algebra reduct of the matrix, and then considering assignments of subalgebras to formulas. The resulting topic-enriched matrix models bear suggestive similarities to the two-component frame models developed by Berto et. al. in Topics of Thought. In this talk I’ll show how this reading of topics can be applied to the relevant logic R, and its algebraic characterisation in terms of De Morgan monoids, and indicate how we can, using this machinery and the fact that R satisfies the variable sharing property, read R as a topic-sensitive logic. I’ll then suggest how this approach to modeling topics can be applied to a broader range of logics/classes of matrices, and gesture at some avenues of research.

- - - - Tuesday, Apr 2, 2024 - - - -

- - - - Wednesday, Apr 3, 2024 - - - -

- - - - Thursday, Apr 4, 2024 - - - -

- - - - Friday, Apr 5, 2024 - - - -

CUNY Graduate Center

Friday, April 5, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

Kameryn Williams Bard College at Simon's Rock

Logic Workshop

CUNY Graduate Center

Friday April 5, 2:00pm-3:30pm, Room 5417

Decision problem for groups as equivalence relations

In 1911, Dehn proposed three decision problems for finitely presented groups: the word problem, the conjugacy problem, and the isomorphism problem. These problems have been central to both group theory and logic, and were each proven to be undecidable in the 50's. There is much current research studying the decidability of these problems in certain classes of groups.

Classically, when a decision problem is undecidable, its complexity is measured using Turing reducibility. However, Dehn's problems can also be naturally thought of as computably enumerable equivalence relations (ceers). We take this point of view and measure their complexity using computable reductions. This yields behaviors different from the classical context: for instance, every Turing degree contains a word problem, but not every ceer degree does. This leads us to study the structure of ceer degrees containing a word problem and other related questions.

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

## Set theory and topology seminar 26.03.2024 Tomasz Żuchowski

**(Wrocław University of Science and Technology) the lecture:**

**Tomasz Żuchowski**

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday Mar 25, 3:30pm, Hill Center, Hill 705

Date: Monday, March 25, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: A moderate theory of overall resemblance

Abstract: This paper defends the moderate theory of overall resemblance stated by: A) y is at least as similar to x as z is iff: i) every resemblance property shared by x and z is also shared by x and y, and ii) for any resemblance family of properties F, y is at least as similar to x as z is with respect to F. In this account, a resemblance property is a property that corresponds to a genuine respect in which two things can resemble each other, whereas a resemblance family is a set of properties with respect to which things can be more or less similar to each other. An example of a resemblance property is being cubical, an example of a non-resemblance property is being either a gold cube or a silver sphere, and an example of a resemblance family is the set of specific mass properties.

- - - - Tuesday, Mar 26, 2024 - - - -

Computational Logic Seminar

Spring 2024 (online)

Tuesday, March 26 Time 2:00 - 4:00 PM

zoom link: contact Sergei Artemov (sartemov@gmail.com)

Speaker: Thomas Studer, University of Bern

Title: Simplicial Complexes for Epistemic Logic

- - - - Wednesday, Mar 27, 2024 - - - -

- - - - Thursday, Mar 28, 2024 - - - -

- - - - Friday, Mar 29, 2024 - - - -

- - - - Monday, Apr 1, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, April 1, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Andrew Tedder (Vienna).

Title: Relevant logics as topical logics

Abstract: There is a simple way of reading a structure of topics into the matrix models of a given logic, namely by taking the topics of a given matrix model to be represented by subalgebras of the algebra reduct of the matrix, and then considering assignments of subalgebras to formulas. The resulting topic-enriched matrix models bear suggestive similarities to the two-component frame models developed by Berto et. al. in Topics of Thought. In this talk I’ll show how this reading of topics can be applied to the relevant logic R, and its algebraic characterisation in terms of De Morgan monoids, and indicate how we can, using this machinery and the fact that R satisfies the variable sharing property, read R as a topic-sensitive logic. I’ll then suggest how this approach to modeling topics can be applied to a broader range of logics/classes of matrices, and gesture at some avenues of research.

- - - - Tuesday, Apr 2, 2024 - - - -

- - - - Wednesday, Apr 3, 2024 - - - -

- - - - Thursday, Apr 4, 2024 - - - -

- - - - Friday, Apr 5, 2024 - - - -

CUNY Graduate Center

Friday, April 5, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

Kameryn Williams Bard College at Simon's Rock

Logic Workshop

CUNY Graduate Center

Friday April 5, 2:00pm-3:30pm, Room 5417

Decision problem for groups as equivalence relations

In 1911, Dehn proposed three decision problems for finitely presented groups: the word problem, the conjugacy problem, and the isomorphism problem. These problems have been central to both group theory and logic, and were each proven to be undecidable in the 50's. There is much current research studying the decidability of these problems in certain classes of groups.

Classically, when a decision problem is undecidable, its complexity is measured using Turing reducibility. However, Dehn's problems can also be naturally thought of as computably enumerable equivalence relations (ceers). We take this point of view and measure their complexity using computable reductions. This yields behaviors different from the classical context: for instance, every Turing degree contains a word problem, but not every ceer degree does. This leads us to study the structure of ceer degrees containing a word problem and other related questions.

Speakers:

Paul Baginski (Fairfield)

Artem Chernikov (Maryland)

Alf Dolich (CUNY)

Alexei Kolesnikov (Towson)

NEMTD 2024 sponsored by the Mid-Atlantic Mathematical Logic Seminar (NSF grant #DMS-1834219) and the Wesleyan Department of Mathematics and Computer Science.

Organizers: Alex Kruckman, Rehana Patel, Alex Van Abel. Contact akruckman@wesleyan.edu with any questions.

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

## Wednesday seminar

## 48th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Time ：16:00pm, Mar. 22, 2024(Beijing Time)

Zoom Number ： 734 242 5443

Passcode ：477893

Link ：https://zoom.us/j/7342425443?pwd=NnO2EFts9VOfCR9eDFUkoI3lNn2QTo.1&omn=87996387829

_____________________________________________________________________

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best wishes,

Ming Xiao

## Logic Seminar 20 March 2024 17:00 hrs by Sun Mengzhou

## This Week in Logic at CUNY

Logic and Metaphysics Workshop

Date: Monday, March 18, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Modal quantifiers, potential infinity, and Yablo sequences

Abstract: When properly arithmetized, Yablo’s paradox results in a set of formulas which (with local disquotation in the background) turns out to be consistent, but omega-inconsistent. Adding either uniform disquotation or the omega-rule results in inconsistency. Since the paradox involves an infinite sequence of sentences, one might think that it doesn’t arise in finitary contexts. We study whether it does. It turns out that the issue depends on how the finitistic approach is formalized. On one of them, proposed by Marcin Mostowski, all the paradoxical sentences simply fail to hold. This happens at a price: the underlying finitistic arithmetic itself is omega-inconsistent. Finally, when studied in the context of a finitistic approach which preserves the truth of standard arithmetic, the paradox strikes back — it does so with double force, for now the inconsistency can be obtained without the use of uniform disquotation or the omega-rule.

Note: This is joint work with Rafał Urbaniak (Gdańsk).

- - - - Tuesday, Mar 19, 2024 - - - -

Roman Kossak, CUNY**The lattice problem for models of PA**

The lattice problem for models of PA is to determine which lattices can be represented either as lattices of elementary substructures of a model of PA or, more generally, which can be represented as lattices of elementary substructures of a model N that contain a given elementary substructure M of N. I will talk about the history of the problem, from the seminal paper of Haim Gaifman from 1976 and other early results to some recent work of Jim Schmerl. There is much to talk about.

**Computational Logic Seminar**

**Spring 2024**

**(online)**

**Tuesday, March 19,**

**Time 2:00 - 4:00 PM**

**Speaker**:

*,*

**Tudor Protopopescu***CUNY*

**Title:**

*Logics of Intuitionistic Knowledge and Verification*

**Abstract:**We present intuitionistic epistemic systems IEL-, IEL and IEL+, systems of verification based belief, knowledge and strict knowledge. The intuitionistic epistemic language captures basic reasoning about intuitionistic knowledge and belief, but its language has expressive limitations. Following Gödel's explication of IPC as a fragment of the more expressive system of classical modal logic S4, we present a faithful embedding of the intuitionistic systems into S4 extended with a verification modality. These systems in turn have explicit counterparts in the Logic of Proofs extended with a verification modality.

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Sina Hazratpour, Johns Hopkins University.**

Date and Time: ** Wednesday March 20, 2024, 7:00 - 8:30 PM.**

Title:** Fibred Categories in Lean.**

Abstract: Fibred categories are one of the most important and useful concepts in category theory and its application in categorical logic. In this talk I present my recent formalization of fibred categories in the interactive theorem prover Lean 4. I begin by highlighting certain technical challenges associated with handling the equality of objects and functors within the extensional dependent type system of Lean, and how they can be overcome. In this direction, I will demonstrate how we can take advantage of dependent coercion, instance synthesis, and automation tactics from the Lean toolbox. Finally I will discuss a formalization of Homotopy Type Theory in Lean 4 using a fired categorical framework.

- - - - Thursday, Mar 21, 2024 - - - -

- - - - Friday, Mar 22, 2024 - - - -

CUNY Graduate Center

Friday, March 22, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

**Arthur Apter**, CUNY**A choiceless answer to a question of Woodin**

In a lecture presented in July 2023, Moti Gitik discussed the following question from the 1980s due to Woodin, as well as approaches to its solution and why it is so difficult to solve:

Question: Assuming there is no inner model of ZFC with a strong cardinal, is it possible to have a model of ZFC such that ' and for every ', together with the existence of an inner model of ZFC such that for the so that and ' is measurable and '?I will discuss how to find answers to this question, if we drop the requirement that satisfies the Axiom of Choice. I will also briefly discuss the phenomenon that on occasion, when the Axiom of Choice is removed from consideration, a technically challenging question or problem becomes more tractable. One may, however, end up with models satisfying conclusions that are impossible in ZFC.

Reference: A. Apter, 'A Note on a Question of Woodin', *Bulletin of the Polish Academy of Sciences (Mathematics)*, volume 71(2), 2023, 115--121.

CUNY Graduate Center

**Mediate cardinals**

In the late 1910s Bertrand Russell was occupied with two things: getting into political trouble for his pacifism and trying to understand the foundations of mathematics. His students were hard at work with him on this second occupation. One of those students was Dorothy Wrinch. In 1923 she gave a characterization of the axiom of choice in terms of a generalization of the notion of a Dedekind-finite infinite set. Unfortunately, her career turned toward mathematical biology and her logical work was forgotten by history.

This talk is part of a project of revisiting Wrinch's work from a modern perspective. I will present the main result of her 1923 paper, that AC is equivalent to the non-existence of what she termed mediate cardinals. I will also talk about some new independence results. The two main results are: (1) the smallest for which a -mediate cardinal exists can consistently be any regular and (2) the collection of regular for which exact -mediate cardinals exist can consistently be any class.

- - - - Monday, Mar 25, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, March 25, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: A moderate theory of overall resemblance

Abstract: This paper defends the moderate theory of overall resemblance stated by: A) y is at least as similar to x as z is iff: i) every resemblance property shared by x and z is also shared by x and y, and ii) for any resemblance family of properties F, y is at least as similar to x as z is with respect to F. In this account, a resemblance property is a property that corresponds to a genuine respect in which two things can resemble each other, whereas a resemblance family is a set of properties with respect to which things can be more or less similar to each other. An example of a resemblance property is being cubical, an example of a non-resemblance property is being either a gold cube or a silver sphere, and an example of a resemblance family is the set of specific mass properties.

- - - - Tuesday, Mar 26, 2024 - - - -

- - - - Wednesday, Mar 27, 2024 - - - -

- - - - Thursday, Mar 28, 2024 - - - -

- - - - Friday, Mar 29, 2024 - - - -

WHERE: Rutgers, The State University of New Jersey.

WHEN: Saturday, March 23

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

## KGRC Talk - March 21

## Set theory and topology seminar 19.03.2024 Piotr Szewczak

**(Wrocław University of Science and Technology) the lecture:**

**Piotr Szewczak (UKSW)**

*perfectly meager in the transitive sense*if for any perfect set P there is an F-sigma set F containing X such that for every point t the intersection of t+F and P is meager in the relative topology of P. A set X is

*Hurewicz*if for any sequence of increasing open covers of X one can select one set from each cover such that the chosen sets formulate a gamma-cover of X, i.e., an infinite cover such that each point from X belongs to all but finitely many sets from the cover. Nowik proved that each Hurewicz set which cannot be mapped continuously onto the Cantor set is perfectly meager in the transitive sense. We answer a question of Nowik and Tsaban, whether of the same assertion holds for each Hurewicz set with no copy of the Cantor set inside. We solve this problem, under CH, in the negative.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Wednesday seminar

## 47th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the morning.

Our speaker this week will be Sumun Iyer from Cornell University. This talk is going to take place this Friday, Mar 15, from 9am to 10am(UTC+8, Beijing time).

Title ：The 47th Nankai Logic Colloquium -- Sumun Iyer

Time ：9:00am, Mar. 15, 2024(Beijing Time)

Zoom Number ： 734 242 5443

Passcode ：477893

Link ：https://zoom.us/j/7342425443?pwd=EG6I3uatr8anqkk6HM5wZ9FKjhkjbC.1&omn=87197636384

_____________________________________________________________________

Best wishes,

Ming Xiao

## This Week in Logic at CUNY

Logic and Metaphysics Workshop

Date: Monday, March 11, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Dispensing with the grounds of logical necessity

Abstract: Logical laws are typically conceived as being necessary. But in virtue of what is this the case? That is, what are the grounds of logical necessity? In this paper, I examine four different answers to this question in terms of: truth-conditions, invariance of truth-values under different interpretations, possible worlds, and brute facts. I ultimately find all of them wanting. I conclude that an alternative conception of logic that dispenses altogether with grounds of logical necessity provides a less troublesome alternative. I then indicate some of the central features of this conception.

- - - - Tuesday, Mar 12, 2024 - - - -

Albert Visser, Utrecht University**Restricted completions**

This talk reports on research in collaboration with Ali Enayat and Mateusz Łełyk.

Steffen Lempp and Dino Rossegger asked: is there a consistent completion of that is axiomatised by sentences of bounded quantifier-alternation complexity? We show that there is no such restricted completion. We also show that, if one changes the measure of complexity to being , there is a restricted completion. Specifically, we show that the true theory of the non-negative part of can be axiomatised by a single sentence plus a set of -sentences.In our talk we will sketch these two answers. One of our aims is to make clear is that the negative answer for the case of quantifier-alternation complexity simply follows from Rosser's Theorem viewed from a sufficiently abstract standpoint.

- - - - Wednesday, Mar 13, 2024 - - - -

- - - - Thursday, Mar 14, 2024 - - - -

- - - - Friday, Mar 15, 2024 - - - -

CUNY Graduate Center

Friday, March 15, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

**Squares, ultrafilters and forcing axioms**

A uniform ultrafilter over a cardinal is called *indecomposable* if, whenever and , there is a set such that is countable. Indecomposability is a natural weakening of -completeness and has a number of implications for, e.g., the structure of ultraproducts. In the 1980s, Sheard answered a question of Silver by proving the consistency of the existence of an inaccessible but not weakly compact cardinal carrying an indecomposable ultrafilter. Recently, however, Goldberg proved that this situation cannot hold above a strongly compact cardinal: If is strongly compact and carries an indecomposable ultrafilter, then is either measurable or a singular limit of countably many measurable cardinals. We prove that the same conclusion follows from the Proper Forcing Axiom, thus adding to the long list of statements first shown to hold above a strongly compact or supercompact cardinal and later shown also to follow from PFA. Time permitting, we will employ certain indexed square principles to prove that our results are sharp. This is joint work with Assaf Rinot and Jing Zhang.

CUNY Graduate Center

**Tennebaum's Theorem for quotient presentations and model-theoretic skepticism**

A computable quotient presentation of a mathematical structure consists of a computable structure on the natural numbers , meaning that the operations and relations of the structure are computable, and an equivalence relation on , not necessarily computable but which is a congruence with respect to this structure, such that the quotient is isomorphic to the given structure . Thus, one may consider computable quotient presentations of graphs, groups, orders, rings and so on.

A natural question asked by B. Khoussainov in 2016, is if the Tennenbaum Thoerem extends to the context of computable presentations of nonstandard models of arithmetic. In a joint work with J.D. Hamkins we have proved that no nonstandard model of arithmetic admits a computable quotient presentation by a computably enumerable equivalence relation on the natural numbers.

However, as it happens, there exists a nonstandard model of arithmetic admitting a computable quotient presentation by a co-c.e. equivalence relation. Actually, there are infinitely many of those. The idea of the proof consists is simulating the Henkin construction via finite injury priority argument. What is quite surprising, the construction works (i.e. injury lemma holds) by Hilbert's Basis Theorem. The latter argument is joint work with T. Slaman and L. Harrington.

- - - - Monday, Mar 18, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, March 18, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Modal quantifiers, potential infinity, and Yablo sequences

Abstract: When properly arithmetized, Yablo’s paradox results in a set of formulas which (with local disquotation in the background) turns out to be consistent, but omega-inconsistent. Adding either uniform disquotation or the omega-rule results in inconsistency. Since the paradox involves an infinite sequence of sentences, one might think that it doesn’t arise in finitary contexts. We study whether it does. It turns out that the issue depends on how the finitistic approach is formalized. On one of them, proposed by Marcin Mostowski, all the paradoxical sentences simply fail to hold. This happens at a price: the underlying finitistic arithmetic itself is omega-inconsistent. Finally, when studied in the context of a finitistic approach which preserves the truth of standard arithmetic, the paradox strikes back — it does so with double force, for now the inconsistency can be obtained without the use of uniform disquotation or the omega-rule.

Note: This is joint work with Rafał Urbaniak (Gdańsk).

- - - - Tuesday, Mar 19, 2024 - - - -

- - - - Wednesday, Mar 20, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Sina Hazratpour, Johns Hopkins University.**

Date and Time: ** Wednesday March 20, 2024, 7:00 - 8:30 PM.**

Title:** Fibred Categories in Lean.**

Abstract: Fibred categories are one of the most important and useful concepts in category theory and its application in categorical logic. In this talk I present my recent formalization of fibred categories in the interactive theorem prover Lean 4. I begin by highlighting certain technical challenges associated with handling the equality of objects and functors within the extensional dependent type system of Lean, and how they can be overcome. In this direction, I will demonstrate how we can take advantage of dependent coercion, instance synthesis, and automation tactics from the Lean toolbox. Finally I will discuss a formalization of Homotopy Type Theory in Lean 4 using a fired categorical framework.

- - - - Thursday, Mar 21, 2024 - - - -

- - - - Friday, Mar 22, 2024 - - - -

CUNY Graduate Center

Friday, March 22, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

**Arthur Apter**, CUNY**A choiceless answer to a question of Woodin**

In a lecture presented in July 2023, Moti Gitik discussed the following question from the 1980s due to Woodin, as well as approaches to its solution and why it is so difficult to solve:

Question: Assuming there is no inner model of ZFC with a strong cardinal, is it possible to have a model of ZFC such that ' and for every ', together with the existence of an inner model of ZFC such that for the so that and ' is measurable and '?I will discuss how to find answers to this question, if we drop the requirement that satisfies the Axiom of Choice. I will also briefly discuss the phenomenon that on occasion, when the Axiom of Choice is removed from consideration, a technically challenging question or problem becomes more tractable. One may, however, end up with models satisfying conclusions that are impossible in ZFC.

Reference: A. Apter, 'A Note on a Question of Woodin', *Bulletin of the Polish Academy of Sciences (Mathematics)*, volume 71(2), 2023, 115--121.

CUNY Graduate Center

WHERE: Rutgers, The State University of New Jersey.

WHEN: Saturday, March 23

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## KGRC Talks - March 11-15

## Set theory and topology seminar 12.03.2024 Grigor Sargsyan

**(Wrocław University of Science and Technology) the lecture:**

**Grigor Sargsyan (IMPAN)**

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Wednesday seminar

## KGRC Set Theory Talks - March 4-8

Alexi Block Gorman, Ohio State University, Columbus, US (host: Matthias Aschenbrenner) visits March 3–9

Elliot Kaplan, McMaster University, Hamilton, CA, Columbus, US (host: Nigel Pynn-Coates) visits March 3–9

Silvan Horvath, ETH Zurich, CH (host: Vera Fischer) visits March 4–July 31

* * * * * * * * *

KGRC/Institute of Mathematics invites you to the following talks:

(updates at https://kgrc.univie.ac.at/) )

**SET THEORY SEMINAR**

Kolingasse 14–16, 1090, 1st floor, SR 10,

Thursday, March 7, 11:30am – 12:00pm, hybrid mode

**”Magic Sets”**

S. Horvath (ETH Zurich, CH)

S. Horvath (ETH Zurich, CH)

A Magic Set is a set M of reals with the property that for all nowhere constant, continuous functions f and

g on the reals it holds that f [M ] ⊆ g[M ] implies f = g.

I will cover some of the basic results on magic sets and introduce magic forcing - a forcing notion that adds

a new magic set to the ground model.

Zoom: If you have not received the Zoom data by the day before the talk, please contact petra.czarnecki@univie.ac.at.

Meeting ID: 671 1734 6051

Passcode: kgrc

Please direct any questions about this talk to vera.fischer@univie.ac.at.

* * * * * * * * *

**SET THEORY SEMINAR**

Kolingasse 14–16, 1090, 1st floor, SR 10,

Thursday, March 7, 12:00pm – 13:00pm, hybrid mode

**”A general theory of iterated forcing using finitely additive measures”**

A. F. Uribe Zapata (TU Wien)

A. F. Uribe Zapata (TU Wien)

Saharon Shelah in 2000 introduced a finite-support iteration using finitely additive measures to prove that,

consistently, the covering of the null ideal may have countable cofinality. In 2019, Jakob Kellner, Saharon

Shelah, and Anda R. T ̆anasie achieved some new results and applications using such iterations.

In this talk, based on the works mentioned above, we present a general theory of iterated forcing using

finitely additive measures, which was developed in the speaker’s master’s thesis. For this purpose, we intro-

duce two new notions: on the one hand, we define a new linkedness property, which we call ”FAM-linked”

and, on the other hand, we generalize the idea of intersection number to forcing notions, which justifies the

limit steps of our iteration theory. Finally, we show a new separation of the left-side of Cicho ́n’s diagram

allowing a singular value.

Zoom info

Zoom: If you have not received the Zoom data by the day before the talk, please contact petra.czarnecki@univie.ac.at.

Passcode: kgrc

Please direct any questions about this talk to vera.fischer@univie.ac.at.

* * * * * * * * *

**VIDEO**recordings available so far of the

**LOGIC COLLOQUIUM:**

January 25: Y. Khomskii (Amsterdam U College, NL and U Hamburg, DE) "Trees, Transcendence and Quasi-generic reals"https://ucloud.univie.ac.at/index.php/s/Wd9DPzXqQsnBPzC

November 16: D. A. Mejía (Shizuoka U, JP) ”Iterations with ultrafilter-limits and fam-limits” https://ucloud.univie.ac.at/index.php/s/T6pD2XgwTfNPYtn

—–

The LECTURE NOTE for Diego Mejía’s mini-course available so far of the Set Theory Seminar:

January 25: D. A. Mejıa (Shizuoka U, JP) ”Forcing techniques for Cicho ́n’s Maximum” https://mathematik.univie.ac.at/fileadmin/user_upload/f_mathematik/Events_News/Vortraege_Events/2023-24/20240122_Mejia_minicourse-1.pdf.

**VIDEO**recordings available so far of the

**SET THEORY SEMINAR**:

January 25: D. A. Mejía (Shizuoka U, JP), ”Forcing techniques for Cicho ́n’s Maximum VI” video: https://ucloud.univie.ac.at/index.php/s/8EyKfLZW3NBH4f2

January 18: D. A. Mejía (Shizuoka U, JP), ”Forcing techniques for Cicho ́n’s Maximum V” video:https://ucloud.univie.ac.at/index.php/s/QrKjY6CYtJMx7WT

January 11: D. A. Mejía (Shizuoka U, JP), ”Forcing techniques for Cicho ́n’s Maximum IV” https://ucloud.univie.ac.at/index.php/s/KFpbqsLjQm3tcKn

December 7: "Forcing techniques for Cichoń's Maximum: FS iterations II" video:https://ucloud.univie.ac.at/index.php/s/iwqKFiYCEpPaPsN

November 30: "Forcing techniques for Cichoń's Maximum I" video: https://ucloud.univie.ac.at/index.php/s/xWjSe9eA92ReRV9

-- Mag. Petra Czarnecki de Czarnce-Chalupa Institute of Mathematics (Kurt Goedel Research Center, Logic) University of Vienna Kolingasse 14-16, #7.48 1090 Vienna, Austria Phone: +43/ (0)1 4277-50501

## NUS Logic Seminar Talk by Rupert Hoelzl on 6 March 2024 17:00 hrs

## Set theory and topology seminar 5.03.2024 Agnieszka Widz

**(Wrocław University of Science and Technology) the lecture:**

**Agnieszka Widz**

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday, March 4, 3:30pm, Rutgers University, Hill 705

Logic and Metaphysics Workshop

Date: Monday, March 4, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Elise Crull (CUNY).

Title: Declaring no dependence

Abstract: Viable fundamental ontologies require at least one suitably stable, generic-yet-toothy metaphysical dependence relation to establish fundamentality. In this talk I argue that recent experiments in quantum physics using Page-Wootters devices to model global vs. local dynamics cast serious doubt on the existence of such metaphysical dependence relations when – and arguably, inevitably within any ontological framework – physical systems serve as the relata.

- - - - Tuesday, Mar 5, 2024 - - - -

**Tightness and solidity in fragments of Peano Arithmetic**

It was shown by Visser that Peano Arithmetic has the property that no two distinct extensions of it (in its language) are bi-interpretable. Enayat proposed to refer to this property of a theory as *tightness* and to carry out a more systematic study of tightness and its stronger variants, which he called *neatness* and *solidity*.

Enayat proved that not only , but also , , and are solid; and on the other hand, that finitely axiomatisable fragments of them are not even tight. Later work by a number of authors showed that many natural proper fragments of these theories are also not tight.

Enayat asked whether there are proper solid subtheories (containing some basic axioms that depend on the theory) of the theories listed above. We answer this question in the case of by proving that for every there exists a solid theory strictly between and . Furthermore, we can require that the theory does not interpret , and that if any true arithmetic sentence is added to it, the theory still does not prove .

Joint work with Leszek Kołodziejczyk and Mateusz Łełyk.

Spring 2024 (online) For a zoom link contact S.Artemov

Tuesday, March 5, Time 2:00 - 4:00 PM

Speaker: Sergei Artemov, Graduate Center

Title: On Tolerance Analysis in Extensive-Form Games.

- - - - Wednesday, Mar 6, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Jean-Pierre Marquis, Universite de Montreal.**

Date and Time: ** Wednesday March 6, 2024, 7:00 - 8:30 PM. IN PERSON TALK!**

Title:** Hom sweet Hom: a sketch of the history of duality in category theory.**

Abstract: Duality, in its various forms and roles, played a surprisingly important part in the development of category theory. In this talk, I will concentrate on the development of these forms and roles that lead to the categorical formulation of Stone-type dualities in the 1970s. I will emphasize the epistemological gain and loss along the way.

- - - - Thursday, Mar 7, 2024 - - - -

- - - - Friday, Mar 8, 2024 - - - -

CUNY Graduate Center

Friday, March 8, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

- - - - Monday, Mar 11, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, March 11, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Title: Dispensing with the grounds of logical necessity

Abstract: Logical laws are typically conceived as being necessary. But in virtue of what is this the case? That is, what are the grounds of logical necessity? In this paper, I examine four different answers to this question in terms of: truth-conditions, invariance of truth-values under different interpretations, possible worlds, and brute facts. I ultimately find all of them wanting. I conclude that an alternative conception of logic that dispenses altogether with grounds of logical necessity provides a less troublesome alternative. I then indicate some of the central features of this conception.

- - - - Tuesday, Mar 12, 2024 - - - -

Albert Visser, Utrecht University**Restricted completions**

This talk reports on research in collaboration with Ali Enayat and Mateusz Łełyk.

Steffen Lempp and Dino Rossegger asked: is there a consistent completion of that is axiomatised by sentences of bounded quantifier-alternation complexity? We show that there is no such restricted completion. We also show that, if one changes the measure of complexity to being , there is a restricted completion. Specifically, we show that the true theory of the non-negative part of can be axiomatised by a single sentence plus a set of -sentences.In our talk we will sketch these two answers. One of our aims is to make clear is that the negative answer for the case of quantifier-alternation complexity simply follows from Rosser's Theorem viewed from a sufficiently abstract standpoint.

- - - - Wednesday, Mar 13, 2024 - - - -

- - - - Thursday, Mar 14, 2024 - - - -

- - - - Friday, Mar 15, 2024 - - - -

CUNY Graduate Center

Friday, March 15, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

CUNY Graduate Center

WHERE: Rutgers, The State University of New Jersey.

WHEN: Saturday, March 23

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## Wednesday seminar

## 45th Nankai Logic Colloquium

Hello everyone,

Our speaker this week will be Takayuki Kihara from Nagoya University. This talk is going to take place this Friday, Mar. 01, from 4pm to 5pm(UTC+8, Beijing time).

```
[Title]
On the Wadge degrees of Borel partitions
[Abstract]
In descriptive set theory, there are a lot of semi-well-ordered hierarchies, such as the Borel hierarchy, the projective hierarchy, and the difference hierarchy. Under AD, their ultimate refinement is provided by the Wadge degrees, which is also semi-well-ordered.
Now, the question arises: what exactly gives rise to this semi-well-ordered structure?
Our goal is to reveal the true structure behind this semi-well-order. To achieve this, it is crucial to handle not subsets (two-valued functions) but partitions (k-valued functions). As long as we only observe two-valued functions, all dynamic mechanisms lurking behind collapse, appearing to our eyes only as a semi-well-order. By dealing with partitions, we can expose the ultimate dynamic structure that was concealed. What existed there is not a semi-well-order but rather a better quasi-order, -- a sort of transfinite "matryoshkas" of trees.
```

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## Cross-Alps Logic Seminar (speaker: Simon Henry)

**Simon Henry**(University of Ottawa)

*Higher categorical language*## This Week in Logic at CUNY

Logic and Metaphysics Workshop

Date: Monday, Feb 26, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Matteo Plebani (Turin).

Title: Semantic paradoxes as collective tragedies

Abstract: What does it mean to solve a paradox? A common assumption is that to solve a paradox we need to find the wrong step in a certain piece of reasoning. In this talk, I will argue while in the case of some paradoxes such an assumption might be correct, in the case of paradoxes such as the liar and Curry’s paradox it can be questioned.

- - - - Tuesday, Feb 27, 2024 - - - -

Computational Logic Seminar

Spring 2024 (online)

Tuesday, February 27, 2:00 - 4:00 PM

For a ZOOM link contact Sergei Artemov (sartemov@gc.cuny.edu)

Speaker: Vincent Peluce, Graduate Center

Title: What is Intuitionistic Arithmetic

- - - - Wednesday, Feb 28, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

**Astra Kolomatskaia, Stony Brook.**

**Wednesday February 28, 2024, 7:00 - 8:30 PM. IN PERSON TALK!**

**Room 6417**

**Displayed Type Theory and Semi-Simplicial Types.**

- - - - Thursday, Feb 29, 2024 - - - -

- - - - Friday, Mar 1, 2024 - - - -

CUNY Graduate Center

Rehana Patel Wesleyan University

CUNY Graduate Center

Alf Dolich, CUNY**Component Closed Structures on the Reals**

A structure, R, expanding is called component closed if whenever is definable so are all of 's connected components. Two basic examples of component closed structures are and . It turns out that these two structures are exemplary of a general phenomenon for component closed structures from a broad class of expansions of : either their definable sets are very 'tame' (as in the case of the real closed field) or they are quite 'wild' (as in the case of the real field expanded by the integers).

- - - - Monday, Mar 4, 2024 - - - -

Rutgers Logic Seminar

Monday, March 4, 3:30pm, Rutgers University, Hill 705

Logic and Metaphysics Workshop

Date: Monday, March 4, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Elise Crull (CUNY).

Title: Declaring no dependence

Abstract: Viable fundamental ontologies require at least one suitably stable, generic-yet-toothy metaphysical dependence relation to establish fundamentality. In this talk I argue that recent experiments in quantum physics using Page-Wootters devices to model global vs. local dynamics cast serious doubt on the existence of such metaphysical dependence relations when – and arguably, inevitably within any ontological framework – physical systems serve as the relata.

- - - - Tuesday, Mar 5, 2024 - - - -

- - - - Wednesday, Mar 6, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Jean-Pierre Marquis, Universite de Montreal.**

Date and Time: ** Wednesday March 6, 2024, 7:00 - 8:30 PM. IN PERSON TALK!**

Title:** Hom sweet Hom: a sketch of the history of duality in category theory.**

Abstract: Duality, in its various forms and roles, played a surprisingly important part in the development of category theory. In this talk, I will concentrate on the development of these forms and roles that lead to the categorical formulation of Stone-type dualities in the 1970s. I will emphasize the epistemological gain and loss along the way.

- - - - Thursday, Mar 7, 2024 - - - -

- - - - Friday, Mar 8, 2024 - - - -

CUNY Graduate Center

Friday, March 8, 12:30pm NY time

Virtual: Please email Victoria Gitman (vgitman@gmail.com) for meeting id.

WHERE: Rutgers, The State University of New Jersey.

WHEN: Saturday, March 23

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## 44th Nankai Logic Colloquium

Hello everyone,

Our speaker this week will be Clark Lyons from the University of California, Los Angeles. This talk is going to take place this Friday, Feb 23, from 9am to 10am(UTC+8, Beijing time).

Title: Baire Measurable Matchings in Non-amenable Graphs Abstract: Tutte's theorem provides a necessary and sufficient condition for a finite graph to have a perfect matching. In this talk I will present joint work with Kastner showing that if a locally finite Borel graph satisfies a strengthened form of Tutte's condition, then it has a perfect matching which is Baire measurable. As a consequence, the Schreier graph of a free action of a non-amenable group on a Polish space admits a Baire measurable perfect matching. This is analogous to the result of Csoka and Lippner on factor of IID perfect matchings for non-amenable Cayley graphs.

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## Set theory and topology seminar 27.02.2024 Grzegorz Plebanek

**(Wrocław University of Science and Technology) the lecture:**

**Grzegorz Plebanek**

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Wednesday seminar

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday, Feb 19, 3:30pm, Rutgers University, Hill 705

Artem Chernikov, Maryland

Intersecting sets in probability spaces and Shelah's classification

- - - - Tuesday, Feb 20, 2024 - - - -

**Computational Logic Seminar**

**Spring 2024**

**(online)**

**Tuesday, February 20**

**Time 2:00 - 4:00 PM**

**Speaker**:

**,**

*Matteo Plebani**The University of Turin*

**Title:**

*Counterpossibles in relative computability theory: a closer look*

**Abstract:**A counterpossible is a counterfactual with an impossible antecedent, like “if zero were equal to one, two would be equal to five”. Matthias Jenny [Jenny, 2018] has argued that the following is an example of a false counterpossible:

HT If the validity problem were algorithmically solvable, then arithmetical truth would be also algorithmically decidable

As Jenny himself emphasizes, establishing that HT is a false counterpossible would be highly significant. According to the standard analysis of counterfactuals ([Lewis, 1973], [Stalnaker, 1968]) all counterpossibles are vacuously true. If HT is false, then, the standard analysis of counterfactuals is wrong.

In this paper, we will argue that HT admits two readings, which are expressed by two different ways of formalizing HT. Under the first reading, HT is clearly a counterpossible. Under the second reading, HT is clearly false. Hence, it is possible to read HT as a counterpossible (section 2) and it is possible to read HT as a false claim (section 3). However, it is unclear that it is possible to do both things at once, i.e. interpret HT as a false counterpossible.

It can be proven that the two readings are not equivalent. The formalization expressing the first reading is a mathematical theorem, which means that under the first reading, HT is a true counterpossible. On the other hand, I will argue that under the second reading HT, while false, is best interpreted as a counterpossible with a contingent antecedent.

- - - - Wednesday, Feb 21, 2024 - - - -

- - - - Thursday, Feb 22, 2024 - - - -

- - - - Friday, Feb 23, 2024 - - - -

CUNY Graduate Center

**Commutativity of cofinal types of ultrafilters**

- - - - Monday, Feb 26, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, Feb 26, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

Matteo Plebani (Turin).

Title: Semantic paradoxes as collective tragedies

Abstract: What does it mean to solve a paradox? A common assumption is that to solve a paradox we need to find the wrong step in a certain piece of reasoning. In this talk, I will argue while in the case of some paradoxes such an assumption might be correct, in the case of paradoxes such as the liar and Curry’s paradox it can be questioned.

- - - - Tuesday, Feb 27, 2024 - - - -

- - - - Wednesday, Feb 28, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

**Astra Kolomatskaia, Stony Brook.**

**Wednesday February 28, 2024, 7:00 - 8:30 PM. IN PERSON TALK!**

**Room 6417**

**Displayed Type Theory and Semi-Simplicial Types.**

In this talk, we will construct semi-simplicial types in Displayed Type Theory [dTT], a fully semantically general homotopy type theory. Many of our main results are independent of type theory and will say something new and surprising about the homotopy theoretic notion of a classifier for semi-simplicial objects.

This talk is based on joint work with Michael Shulman. Reference: https://arxiv.org/abs/2311.18781

- - - - Thursday, Feb 29, 2024 - - - -

- - - - Friday, Mar 1, 2024 - - - -

CUNY Graduate Center

Rehana Patel Wesleyan University

CUNY Graduate Center

Alf Dolich, CUNY**Component Closed Structures on the Reals**

A structure, R, expanding is called component closed if whenever is definable so are all of 's connected components. Two basic examples of component closed structures are and . It turns out that these two structures are exemplary of a general phenomenon for component closed structures from a broad class of expansions of : either their definable sets are very 'tame' (as in the case of the real closed field) or they are quite 'wild' (as in the case of the real field expanded by the integers).

WHERE: Rutgers, The State University of New Jersey.

WHEN: Saturday, March 23

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Logic Seminar Wed 21.02.2024 17:00 hrs at NUS by Neil Barton

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday, Feb 12, 3:30pm, Rutgers University, Hill 705

For a cardinal $\kappa\ge 2$, one can weaken the classical concept "x is ordinal definable" (i.e., x is the unique object satisfying some condition involving ordinal parameters) to "x is <$\kappa$-blurrily ordinal definable," meaning that x is one of fewer than $\kappa$ many objects satisfying some condition involving ordinal parameters. By considering the hereditary version of this, one naturally arrives at the inner model <$\kappa$-HOD, the class of all hereditarily <$\kappa$-blurrily ordinal definable sets. In ZFC, by varying $\kappa$, one obtains a hierarchy of inner models spanning the entire spectrum from HOD to V. Those stages in the hierarchy where something new is added I call leaps.

I will give an overview of what is known about this hierarchy: ZFC-provable facts regarding the relationships between the stages of the hierarchy and the basic structure of leaps, and consistency results on leap constellations, including consistency strength determinations.

- - - - Tuesday, Feb 13, 2024 - - - -

MOPA

The Borel hierarchy gives a robust way to stratify the complexity of sets of countable structures and is intimately tied with definability in infinitary logic via the Lopez-Escobar theorem. However, what happens with sets axiomatizable in finitary first-order logic, such as the set of structures satisfying a given finitary first-order theory T? Is the complexity of the set of T's models in any way related to the quantifier complexity of the sentences axiomatizing it? In particular, if a theory T is not axiomatizable by a set of sentences of bounded quantifier complexity, can the set of models of T still be at a finite level of the Borel hierarchy?

In this talk, we will present results concerning these questions:

In joint work with Andrews, Gonzalez, Lempp, and Zhu we show that the set of models of a theory T is -complete if and only if T does not have an axiomatization by sentences of bounded quantifier complexity, answering the last question in the negative. We also characterize the Borel complexity of the set of models of complete theories in terms of their finitary axiomatizations. Our results suggest that infinitary logic does not provide any efficacy when defining first-order properties, a phenomenon already observed by Wadge and Keisler and, recently, rediscovered by Harrison-Trainor and Kretschmer using different techniques.

Combining our results with recent results by Enayat and Visser, we obtain that a large class of theories studied in the foundations of mathematics, sequential theories, have a maximal complicated set of models.

**Computational Logic Seminar**

**Spring 2024**

**(online)**

**Tuesday, February 13**

**Speaker**: Melvin Fitting, CUNY Graduate Center

**Title:**

*About Semantic Tableaus*

**Abstract:**I will sketch the basics of tableau proof systems, beginning with those for classical propositional logic. Then I will move to intuitionistic tableaus and modal tableaus (more than one kind of tableau system). Finally I’ll say something about quantifiers. Slides exist for the beginning part of the talk. When they run out I’ll work on the Zoom equivalent of a blackboard.

- - - - Wednesday, Feb 14, 2024 - - - -

- - - - Thursday, Feb 15, 2024 - - - -

- - - - Friday, Feb 16, 2024 - - - -

**Largeness notions**

Finite Ramsey Theorem states that fixed , there exists such that for each coloring of with colors, there is a homogeneous subset of of cardinality at least . Starting with the celebrated Paris-Harrington theorem, many Ramsey-like results have been studied using different largeness notions rather than the cardinality. I will introduce the largeness notion defined by Ketonen and Solovay based on fundamental sequences of ordinals. Then I will describe an alternative and more flexible largeness notion using blocks and barriers. If time allows, I will talk about how the latter can be used to study a more general Ramsey-like result.

CUNY Graduate Center

**The Ginsburg-Sands theorem and computability**

In their 1979 paper `Minimal Infinite Topological Spaces,’ Ginsburg and Sands proved that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on : indiscrete, discrete, initial segment, final segment, and cofinite. The proof, while nonconstructive, features an interesting application of Ramsey's theorem for pairs (). We analyze this principle in computability theory and reverse mathematics, using Dorais's formalization of CSC spaces. Among our results are that the Ginsburg-Sands theorem for CSC spaces is equivalent to while for Hausdorff spaces it is provable in . Furthermore, if we enrich a CSC space by adding the closure operator on points, then the Ginsburg-Sands theorem turns out to be equivalent to the Chain-Antichain Principle (). The most surprising case is that of the Ginsburg-Sands theorem restricted to spaces. Here, we show that the principle lies strictly between and , yielding perhaps the first natural theorem of ordinary mathematics (i.e., conceived outside of logic) to occupy this interval. I will discuss the proofs of both the implications and separations, which feature several novel combinatorial elements, and survey a new class of purely combinatorial principles below and not implied by revealed by our investigation. This is joint work with Heidi Benham, Andrew DeLapo, Reed Solomon, and Java Darleen Villano.

- - - - Monday, Feb 19, 2024 - - - -

- - - - Tuesday, Feb 20, 2024 - - - -

- - - - Wednesday, Feb 21, 2024 - - - -

- - - - Thursday, Feb 22, 2024 - - - -

- - - - Friday, Feb 23, 2024 - - - -

CUNY Graduate Center

WHERE: Rutgers, The State University of New Jersey.

WHEN: Saturday, March 23

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## Logic Seminar Talk 7 February 2024 17:00 hrs by Alexander Rabinovich at NUS

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday, Feb 5, 3:30pm, Rutgers University, Hill 705

Filippo Calderoni, Rutgers

The L-space conjecture and descriptive set theory

Logic and Metaphysics Workshop

Date: Monday, Feb 5, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

*Title*: Some model theory for axiomatic theories of truth

*Abstract*: Tarski’s arithmetic is the complete theory of (N,+,x,Tr), where (N,+,x) is the standard model of arithmetic and Tr is the set of Gödel numbers of all true arithmetic sentences. An axiomatic theory of truth is an axiomatic subtheory of Tarski’s arithmetic. If (M,+,x,T) is a model of an axiomatic theory of truth, then we call T a truth class. In 1981, Kotlarski, Krajewski, and Lachlan proved that every completion of Peano’s arithmetic has a model that is expandable to a model with a truth class T that satisfies all biconditionals in Tarski’s definition of truth formalized in PA. If T is such a truth class, it assigns truth values to all sentences in the sense of M, standard and nonstandard. The proof showed that such truth classes can be quite pathological. For example, they may declare true some infinite disjunctions of the single sentence (0=1). In 2018, Enayat and Visser gave a much simplified model-theoretic proof, which opened the door for further investigations of nonstandard truths, and many interesting new results by many authors appeared. I will survey some of them, concentrating on their model-theoretic content.

- - - - Tuesday, Feb 6, 2024 - - - -

- - - - Wednesday, Feb 7, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Saeed Salehi, Univeristy of Tarbiz.**

Date and Time: ** Wednesday February 7, 2024, 11:00AM - 12:00 NOON. NOTICE SPECIAL TIME!!! ZOOM TALK!!! (see website for zoom link)**

Title:** On Chaitin's two HP's: (1) Heuristic Principle and (2) Halting Probability.**

Abstract: Two important achievements of Chaitin will be investigated: the Omega number, which is claimed to be the halting probability of input-free programs, and the heuristic principle, which is claimed to hold for program-size complexity. Chaitin's heuristic principle says that the theories cannot prove the heavier sentences; the sentences and the theories were supposedly weighed by various computational complexities, which all turned out to be wrong or incomplete. In this talk, we will introduce a weighting that is not based on any computational complexity but on the provability power of the theories, for which Chaitin's heuristic principle holds true. Also, we will show that the Omega number is not equal to the halting probability of the input-free programs and will suggest some methods for calculating this probability, if any.

- - - - Thursday, Feb 8, 2024 - - - -

- - - - Friday, Feb 9, 2024 - - - -

Speaker: Emma Dinowitz, Grad Center

CUNY Graduate Center

Friday, Feb 9, 12:30pm NY time, Room: 6494

**Tukey-top ultrafilters under UA**

In the first part of the talk, we will provide some background and motivation to study the Glavin property. In particular, we will present a recently discovered connection between the Galvin property and the Tukey order on ultrafilters. This is a joint result with Natasha Dobrinen. In the second part, we will introduce several diamond-like principles for ultrafilters, and prove some relations with the Galvin property. Finally, we use the Ultrapower Axiom to characterize the Galvin property in the known canonical inner models. The second and third part is joint work with Gabriel Goldberg.

CUNY Graduate Center

**Properties of Generic Algebraic Fields**

The algebraic field extensions of the rational numbers – equivalently, the subfields of the algebraic closure – naturally form a topological space homeomorphic to Cantor space. Consequently, one can speak of 'large' collections of such fields, in the sense of Baire category: collections that are comeager in the space. Under a standard definition, the *1-generic fields* form a comeager set in this space. Therefore, one may think of a property common to all 1-generic fields as a property that one might reasonably expect to be true of an arbitrarily chosen algebraic field.

We will present joint work with Eisenträger, Springer, and Westrick that proves several intriguing properties to be true of all 1-generic fields . First, in every such , both the subring of the integers and the subring of the algebraic integers of cannot be defined within by an existential formula, nor by a universal formula. (Subsequent work by Dittman and Fehm has shown that in fact these subrings are completely undefinable in these fields.) Next, for every presentation of every such , the *root set*

is always of low Turing degree relative to that presentation, but is essentially always undecidable relative to the presentation. Moreover, the set known as *Hilbert's Tenth Problem for *,

is exactly as difficult as , which is its restriction to single-variable polynomials. Finally, even the question of having infinitely many solutions,

is only as difficult as . These results are proven by using a forcing notion on the fields and showing that it is decidable whether or not a given condition forces a given polynomial to have a root, or to have infinitely many roots.

- - - - Monday, Feb 12, 2024 - - - -

Rutgers Logic Seminar

Monday, Feb 12, 3:30pm, Rutgers University, Hill 705

- - - - Tuesday, Feb 13, 2024 - - - -

MOPA

The Borel hierarchy gives a robust way to stratify the complexity of sets of countable structures and is intimately tied with definability in infinitary logic via the Lopez-Escobar theorem. However, what happens with sets axiomatizable in finitary first-order logic, such as the set of structures satisfying a given finitary first-order theory T? Is the complexity of the set of T's models in any way related to the quantifier complexity of the sentences axiomatizing it? In particular, if a theory T is not axiomatizable by a set of sentences of bounded quantifier complexity, can the set of models of T still be at a finite level of the Borel hierarchy?

In this talk, we will present results concerning these questions:

In joint work with Andrews, Gonzalez, Lempp, and Zhu we show that the set of models of a theory T is -complete if and only if T does not have an axiomatization by sentences of bounded quantifier complexity, answering the last question in the negative. We also characterize the Borel complexity of the set of models of complete theories in terms of their finitary axiomatizations. Our results suggest that infinitary logic does not provide any efficacy when defining first-order properties, a phenomenon already observed by Wadge and Keisler and, recently, rediscovered by Harrison-Trainor and Kretschmer using different techniques.

Combining our results with recent results by Enayat and Visser, we obtain that a large class of theories studied in the foundations of mathematics, sequential theories, have a maximal complicated set of models.

- - - - Wednesday, Feb 14, 2024 - - - -

- - - - Thursday, Feb 15, 2024 - - - -

- - - - Friday, Feb 16, 2024 - - - -

**Largeness notions**

Finite Ramsey Theorem states that fixed , there exists such that for each coloring of with colors, there is a homogeneous subset of of cardinality at least . Starting with the celebrated Paris-Harrington theorem, many Ramsey-like results have been studied using different largeness notions rather than the cardinality. I will introduce the largeness notion defined by Ketonen and Solovay based on fundamental sequences of ordinals. Then I will describe an alternative and more flexible largeness notion using blocks and barriers. If time allows, I will talk about how the latter can be used to study a more general Ramsey-like result.

CUNY Graduate Center

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday, Jan 29, 3:30pm, Rutgers University, Hill 705

Jenna Zomback, Maryland

Boundary actions of free semigroups

- - - - Tuesday, Jan 30, 2024 - - - -

- - - - Wednesday, Jan 31, 2024 - - - -

- - - - Thursday, Feb 1, 2024 - - - -

- - - - Friday, Feb 2, 2024 - - - -

CUNY Graduate Center

Friday, Feb 2, 12:30pm NY time, Room: 6494

CUNY Graduate Center

- - - - Monday, Feb 5, 2024 - - - -

Logic and Metaphysics Workshop

Date: Monday, Feb 5, 4.15-6.15pm (NY time)

Room: Graduate Center Room 7395

*Title*: Some model theory for axiomatic theories of truth

*Abstract*: Tarski’s arithmetic is the complete theory of (N,+,x,Tr), where (N,+,x) is the standard model of arithmetic and Tr is the set of Gödel numbers of all true arithmetic sentences. An axiomatic theory of truth is an axiomatic subtheory of Tarski’s arithmetic. If (M,+,x,T) is a model of an axiomatic theory of truth, then we call T a truth class. In 1981, Kotlarski, Krajewski, and Lachlan proved that every completion of Peano’s arithmetic has a model that is expandable to a model with a truth class T that satisfies all biconditionals in Tarski’s definition of truth formalized in PA. If T is such a truth class, it assigns truth values to all sentences in the sense of M, standard and nonstandard. The proof showed that such truth classes can be quite pathological. For example, they may declare true some infinite disjunctions of the single sentence (0=1). In 2018, Enayat and Visser gave a much simplified model-theoretic proof, which opened the door for further investigations of nonstandard truths, and many interesting new results by many authors appeared. I will survey some of them, concentrating on their model-theoretic content.

- - - - Tuesday, Feb 6, 2024 - - - -

- - - - Wednesday, Feb 7, 2024 - - - -

The New York City Category Theory Seminar

Department of Computer Science

Department of Mathematics

The Graduate Center of The City University of New York

URL: http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html

Speaker: ** Saeed Salehi, Univeristy of Tarbiz.**

Date and Time: ** Wednesday February 7, 2024, 11:00AM - 12:00 NOON. NOTICE SPECIAL TIME!!! ZOOM TALK!!! (see website for zoom link)**

Title:** On Chaitin's two HP's: (1) Heuristic Principle and (2) Halting Probability.**

Abstract: Two important achievements of Chaitin will be investigated: the Omega number, which is claimed to be the halting probability of input-free programs, and the heuristic principle, which is claimed to hold for program-size complexity. Chaitin's heuristic principle says that the theories cannot prove the heavier sentences; the sentences and the theories were supposedly weighed by various computational complexities, which all turned out to be wrong or incomplete. In this talk, we will introduce a weighting that is not based on any computational complexity but on the provability power of the theories, for which Chaitin's heuristic principle holds true. Also, we will show that the Omega number is not equal to the halting probability of the input-free programs and will suggest some methods for calculating this probability, if any.

- - - - Thursday, Feb 8, 2024 - - - -

- - - - Friday, Feb 9, 2024 - - - -

CUNY Graduate Center

Friday, Feb 9, 12:30pm NY time, Room: 6494

CUNY Graduate Center

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## 43rd Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the morning.

Our speaker this week will be Alexander S. Kechris from the California Institute of Technology. This talk is going to take place this Friday, Jan 26, from 9am to 10am(UTC+8, Beijing time).

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## 7th Workshop on Generalised Baire Spaces

## Invitation to Logic Seminar 31 January 2024 17:00 hrs at NUS by Yu Liang

## This Week in Logic at CUNY

- - - - Monday, Jan 22, 2024 - - - -

Rutgers Logic Seminar

Monday, Dec 11, 3:30pm, Rutgers University, Hill 705

Will Boney (Texas State)

- - - - Tuesday, Jan 23, 2024 - - - -

- - - - Wednesday, Jan 24, 2024 - - - -

- - - - Thursday, Jan 25, 2024 - - - -

- - - - Friday, Jan 26, 2024 - - - -

Memorial Lectures for Martin Davis

January 26, 2024

Courant Institute

All are welcome to attend this special event in memory of Professor Martin Davis.

There will be three lectures on his work from 1:00 - 2:30 pm, a memorial for Martin

and Virginia Davis from 2:45 - 3:45 pm, and a reception afterwards from 4-6 pm.

Preregistration is requested, ideally by January 15, using the website

https://cims.nyu.edu/dynamic/conferences/davis-memorial/

Next Week in Logic at CUNY:

- - - - Monday, Jan 29, 2024 - - - -

- - - - Tuesday, Jan 30, 2024 - - - -

- - - - Wednesday, Jan 31, 2024 - - - -

- - - - Thursday, Feb 1, 2024 - - - -

- - - - Friday, Feb 2, 2024 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## Second Wrocław Logic Conference, Wrocław, 31 May to 2 Jun, 2024

## Set Theory and Topology Seminar 23.01.2024 Łukasz Mazurkiewicz

**Łukasz Mazurkiewicz**

Abstract.

About 15 minutes before the seminar we invite you for coffee and a chat to social room.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Urgent Announcement of Nankai Logic Colloquium: change to Voov (Tencent meeting)

Hello everyone,

Sorry, we have changed the meeting software to Voov (Tencent meeting) because the our Zoom account has been banned.

Please download Voov (Tencent meeting) from the following link:

https://voovmeeting.com/download-center.html?from=1002

the attachment is the Manual for using Voov (Tencent meeting)

Best Wishes,

Ming Xiao

## Set Theory in the United Kingdom, London, February 15, 2024

## 42nd Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Our speaker this week will be Gianluca Paolini from the University of Turin. This talk is going to take place this Friday, Jan 19, from 4pm to 5pm(UTC+8, Beijing time).

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## Cross-Alps Logic Seminar for World Logic Day (speaker: Charles Steinhorn)

On
Friday 19.01.2023 at 16:00

on
the occasion of World Logic Day 2024, a special session of the
Cross-Alps Logic Seminars will take place, with special guest

**Charles
Steinhorn** (Vassar College)

who
will give a talk on

**O-minimality
as a framework for tame mathematical economics**

Please
refer to the usual webpage of our LogicGroup for more
details and the abstract of the talk.

The
seminar will be held remotely through Webex. Please write to
vincenzo.dimonte [at] uniud [dot] it for the link to the event.

The
Cross-Alps Logic Seminar is co-organized by the logic groups of
Genoa, Lausanne, Turin and Udine as part of our collaboration in the
project PRIN 2022 'Models, sets and classification'.

## Wednesday seminar

## Logic Seminar at NUS Wed 17.01.2024 17:00 hrs by Tatsuta Makoto

## 41st Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Our speaker this week will be Felipe Garcia-Ramos from Jagiellonian University. This talk is going to take place this Friday, Jan 12, from 4pm to 5pm(UTC+8, Beijing time).

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## KGRC Talks - January 8-12

## set theory and topology seminar 9.01.2024 Piotr Borodulin-Nadzieja

**Piotr Borodulin-Nadzieja**

Abstract.

About 15 minutes before the seminar we invite you for coffee and a chat to social room.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## Wednesday seminar

## 40th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Our speaker this week will be Steve Jackson from the University of North Texas. This talk is going to take place this Friday, Jan 05, from 4pm to 5pm(UTC+8, Beijing time).

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## Wednesday seminar

## Stationary Sets and Algebra, VCU, May 20, 2024

## 39th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the afternoon.

Our speaker this week will be Yinhe Peng from the Academy of Mathematics and Systems Science, CAS. This talk is going to take place this Friday, Dec 29, from 4pm to 5pm(UTC+8, Beijing time).

The records of past talks can be accessed at https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## BLAST, North Texas, April 6-9, 2024

## Wednesday seminar

## Set Theory Seminar 19.12.2023 Aleksander Cieślak

**Aleksander Cieślak**

Abstract.

About 15 minutes before the seminar we invite you for coffee and a chat to social room.

https://settheory.pwr.edu.pl/

http://www.math.uni.wroc.pl/seminarium/topologia

## 38th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the morning.

Our speaker this week will be Forte Shinko from the University of California, Berkeley. This talk is going to take place this Friday, Dec 15, from 9am to 10am(UTC+8, Beijing time).

We are pausing our colloquium for once next week, due to the Annual Meeting of the Chinese Mathematical Society 2023. The Colloquium will be resumed Dec. 29.

Abstract: A countable discrete group is exact if it has a free action on Cantor space which is measure-hyperfinite, that is, for every Borel probability measure on Cantor space, there is a conull set on which the orbit equivalence relation is hyperfinite. For an exact group, it is known that the generic action on Cantor space is measure-hyperfinite, and it is open as to whether the generic action is hyperfinite; an exact group for which the generic action is not hyperfinite would resolve a long-standing open conjecture about whether measure-hyperfiniteness and hyperfiniteness are equivalent. We show that for any countable discrete group with finite asymptotic dimension, its generic action on Cantor space is hyperfinite. This is joint work with Sumun Iyer.

The records of past talks can be accessed from https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## (KGRC) one talk TOMORROW, December 12, two talks on Thursday, December 14

## This Week in Logic at CUNY

Rutgers Logic Seminar

Monday, Dec 11, 3:30pm, Rutgers University, Hill 705

Preserving the Ultrapower Axiom in forcing extensions

Logic and Metaphysics Workshop

Date: Monday, Dec 11, 4.15-6.15pm (NY time)

Room: Graduate Center Room 4419

Title: The logic of social choice

Abstract: Logic entered social choice theory through Kenneth Arrow who was a student of the logician Alfred Tarski at City College of New York. Arrow’s impossibility result, which was axiomatic in nature, showed that there is no rational procedure to define the popular choice when there are three or more candidates. Arrow’s result led to a rich field. However, subsequent work has concentrated on what happens when voters face a slate of three or more candidates. There is not enough work on a theory of candidate slates themselves. Thus an election with just Donald Trump and Joe Biden is seen as unproblematic since there are only two candidates. The actual quality of the candidates does not matter. We will propose a method which depends on the actual quality of a candidate. Then it becomes a dominant game theoretic strategy for each party to nominate as good a candidate as possible. The goodness of a candidate is defined in terms of a dot product of two vectors: the candidate’s position and the position of a typical voter.

- - - - Tuesday, Dec 12, 2023 - - - -

Models of Peano Arithmetic (MOPA)

Tuesday, Dec 12, 1:00pm

Virtual (email Victoria Gitman vgitman@gmail.com for meeting id)

Karel Hrbáček, CUNY**Multi-level nonstandard analysis, the axiom of choice, and recent work of R. Jin**

Model-theoretic frameworks for nonstandard methods require the existence of nonprincipal ultrafilters over N, a strong form of the Axiom of Choice (AC). While AC is instrumental in many abstract areas of mathematics, its use in infinitesimal calculus or number theory should not be necessary.

In the paper KH and M. G. Katz, Infinitesimal analysis without the Axiom of Choice, Ann. Pure Applied Logic 172, 6 (2021), https://arxiv.org/abs/2009.04980, we have formulated SPOT, a theory in the language that has, in addition to membership, a unary predicate 'is standard.' The theory extends ZF by 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. A stronger theory SCOT is a conservative extension of ZF + Dependent Choice. It is suitable for handling such features as an infinitesimal approach to the Lebesgue measure.

Renling Jin recently gave a groundbreaking nonstandard proof of Szemeredi's theorem in a model-theoretic framework that has three levels of infinity. I will formulate and motivate SPOTS, a multi-level version of SPOT, carry out Jin's proof of Ramsey's theorem in SPOTS, and discuss how his proof of Szemeredi's theorem can be developed in it.

While it is still open whether SPOTS is conservative over ZF, SCOTS (the multi-level version of SCOT) is a conservative extension of ZF + Dependent Choice.

- - - - Wednesday, Dec 13, 2023 - - - -

- - - - Thursday, Dec 14, 2023 - - - -

* EXAMS WEEK CUNY GRADUATE CENTER *

- - - - Friday, Dec 15, 2023 - - - -

- - - - Monday, Dec 18, 2023 - - - -

- - - - Tuesday, Dec 19, 2023 - - - -

- - - - Wednesday, Dec 20, 2023 - - - -

- - - - Thursday, Dec 21, 2023 - - - -

- - - - Friday, Dec 22, 2023 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## 37th Nankai Logic Colloquium

Hello everyone,

This week our weekly Nankai Logic Colloquium is going to be in the morning.

Our speaker this week will be Wei He from Nanjing Normal University. This talk is going to take place this Friday, Dec 08, from 9am to 10am(UTC+8, Beijing time).

_____________________________________________________________________________________________________

The records of past talks can be accessed from https://space.bilibili.com/253421893.

Best Wishes,

Ming Xiao

## (KGRC) CORRECTED: the future of KGRC announcements, plus three talks

## UPDATE - This Week in Logic at CUNY

Monday, Dec 4, 3:30pm, Rutgers University, Hill 705

The computable model theory of forcing

Logic and Metaphysics Workshop

Date: Monday, Dec 4, 4.15-6.15pm (NY time)

Room: Graduate Center Room 4419

James Walsh (NYU)

Title: Use and mention in formal languages

Abstract: Quine’s distinction between use and mention is one of the cornerstones of analytic philosophy. The distinction is typically motivated with examples from natural language, but Quine also applied the distinction to the formal languages studied in mathematical logic. I will argue that such expressions are not used in Quine’s sense, so the distinction cannot appropriately be applied to them. Accordingly, the standard practice of placing quotation marks around expressions of formal languages is incorrect. This technical point serves as a springboard for discussing the role that formal languages play in mathematical logic.

- - - - Tuesday, Dec 5, 2023 - - - -

Models of Peano Arithmetic (MOPA)

Tuesday, Dec 5, 1:00pm

Virtual (email Victoria Gitman vgitman@gmail.com for meeting id)

**Simplest model properties for Peano Arithmetic: On a question of Montalban and Rossegger**

As famously shown by Scott, every countable structure can be characterized, up to isomorphism, by a sentence of infinitary language which allows for conjunctions and disjunctions over arbitrary countable families of formulae (over finitely many variables). Formulae of this language can be naturally assigned ranks based on the number of alternations of existential connectives (disjunctions and existential quantifiers) with universal ones (conjunctions and universal quantifiers). This gives rise to a natural complexity measure for countable models: the Scott rank of a model is the least such that can be uniquely characterized by a sentence of rank (and starting from the universal quantifier). The developments of computable model theory witness that the Scott rank is a very robust notion integrating other well established tools from descriptive set theory, model theory and computability.

In 'The Structural Complexity of Models of Arithmetic' Antonio Montalban and Dino Rossegger pioneered the Scott analysis of models of Peano Arithmetic. They characterized the Scott spectrum of completions PA , i.e. the set of ordinals which are Scott ranks of countable models of a given completion of PA. A particularly intriguing outcome of their analysis is that PA has exactly one model of the least rank, the standard model, and the Scott rank of every other model is infinite. Additionally they studied the connections between Scott ranks and model-theoretical properties of models, such as recursive saturation and atomicity, raising an open question: is there a non-atomic homogeneous model of PA of Scott rank ?

In the talk we answer the above question to the negative, showing that the nonstandard models of PA or rank are exactly the nonstandard prime models. This witness another peculiar property of PA: not only it has the simplest model, but also its every completion has a unique model of the least Scott rank. This is joint work with Patryk Szlufik.

- - - - Wednesday, Dec 6, 2023 - - - -

- - - - Thursday, Dec 7, 2023 - - - -

- - - - Friday, Dec 8, 2023 - - - -

Every archimedean real closed field is rigid, i.e., has no nontrivial automorphisms. What happens in the non-archimedean case? Shelah showed it is consistent that there are uncountable rigid non-archimedean real closed fields. Enayat asked what happens in the countable case. I believe the question is even interesting in the finite transcendence degree case. In this talk I will describe Shelah's proof and discuss some interesting phenomenon that arises even in transcendence degree 2.

CUNY Graduate Center

**Michael Benedikt**, Oxford University**Nested Data, Views, and Gaifman Coordinization**

I will begin with an overview of how implicit definition, and variations of Beth's definability theorem, arise in relational databases, particularly in the context of view rewriting.

We then turn from relational databases to nested relational databases, a model of hierarchical data - 'objects' - where tables can contain tuples whose components are again tables. There is a standard transformation language for this data model, the Nested Relational Calculus (NRC). We show that a variant of Gaifman's coordinatization theorem plays a role in lieu of Beth's theorem, allowing one to generate NRC transformations from several kinds of implicit specifications. We discuss how to generate transformations effectively from specifications, which requires the development of proof-theoretic methods for implicit definability over nested sets.

This is joint work with Ceclia Pradic and Christoph Wernhard.

- - - - Monday, Dec 11, 2023 - - - -

Rutgers Logic Seminar

Monday, Dec 11, 3:30pm, Rutgers University, Hill 705

Preserving the Ultrapower Axiom in forcing extensions

Logic and Metaphysics Workshop

Date: Monday, Dec 11, 4.15-6.15pm (NY time)

Room: Graduate Center Room 4419

Title: The logic of social choice

Abstract: Logic entered social choice theory through Kenneth Arrow who was a student of the logician Alfred Tarski at City College of New York. Arrow’s impossibility result, which was axiomatic in nature, showed that there is no rational procedure to define the popular choice when there are three or more candidates. Arrow’s result led to a rich field. However, subsequent work has concentrated on what happens when voters face a slate of three or more candidates. There is not enough work on a theory of candidate slates themselves. Thus an election with just Donald Trump and Joe Biden is seen as unproblematic since there are only two candidates. The actual quality of the candidates does not matter. We will propose a method which depends on the actual quality of a candidate. Then it becomes a dominant game theoretic strategy for each party to nominate as good a candidate as possible. The goodness of a candidate is defined in terms of a dot product of two vectors: the candidate’s position and the position of a typical voter.

- - - - Tuesday, Dec 12, 2023 - - - -

Models of Peano Arithmetic (MOPA)

Tuesday, Dec 12, 1:00pm

Virtual (email Victoria Gitman vgitman@gmail.com for meeting id)

Karel Hrbáček, CUNY**Multi-level nonstandard analysis, the axiom of choice, and recent work of R. Jin**

Model-theoretic frameworks for nonstandard methods require the existence of nonprincipal ultrafilters over N, a strong form of the Axiom of Choice (AC). While AC is instrumental in many abstract areas of mathematics, its use in infinitesimal calculus or number theory should not be necessary.

In the paper KH and M. G. Katz, Infinitesimal analysis without the Axiom of Choice, Ann. Pure Applied Logic 172, 6 (2021), https://arxiv.org/abs/2009.04980, we have formulated SPOT, a theory in the language that has, in addition to membership, a unary predicate 'is standard.' The theory extends ZF by 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. A stronger theory SCOT is a conservative extension of ZF + Dependent Choice. It is suitable for handling such features as an infinitesimal approach to the Lebesgue measure.

Renling Jin recently gave a groundbreaking nonstandard proof of Szemeredi's theorem in a model-theoretic framework that has three levels of infinity. I will formulate and motivate SPOTS, a multi-level version of SPOT, carry out Jin's proof of Ramsey's theorem in SPOTS, and discuss how his proof of Szemeredi's theorem can be developed in it.

While it is still open whether SPOTS is conservative over ZF, SCOTS (the multi-level version of SCOT) is a conservative extension of ZF + Dependent Choice.

- - - - Wednesday, Dec 13, 2023 - - - -

- - - - Thursday, Dec 14, 2023 - - - -

* EXAMS WEEK CUNY GRADUATE CENTER *

- - - - Friday, Dec 15, 2023 - - - -

Find us on the web at: nylogic.github.io

(site designed, built & maintained by Victoria Gitman)

-------- ADMINISTRIVIA --------

To subscribe/unsubscribe to this list, please email your request to jreitz@citytech.cuny.edu.

If you have a logic-related event that you would like included in future mailings, please email jreitz@citytech.cuny.edu.

## Wednesday seminar

## Logic Seminar 5 Dec 2023 15:30 hrs at NUS by Lu Qi

## This Week in Logic at CUNY

Monday, Dec 4, 3:30pm, Rutgers University, Hill 705

The computable model theory of forcing

Logic and Metaphysics Workshop

Date: Monday, Dec 4, 4.15-6.15pm (NY time)

Room: Graduate Center Room 4419

James Walsh (NYU)

Title: Use and mention in formal languages

Abstract: Quine’s distinction between use and mention is one of the cornerstones of analytic philosophy. The distinction is typically motivated with ex