$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

Fudan Logic Seminar 2018

April 6

Guozhen Shen 申国桢, Chinese Academy of Science

Time: 14:00 - 16:00. Location: HGW2403. Slides

On the Cardinality of Infinite Symmetric Groups in ZF

In ZFC, for all infinite sets $x$, the symmetric group on \(x\) has the same cardinality of the power set of \(x\). However, without AC, we cannot make any conclusion about the relationship between the two cardinalities for an arbitrary infinite set. In this talk, we shall show in ZF that for all sets \(x\), the cardinality of \([x]^2\) is strictly less than that of the symmetric group on \(x\); nevertheless, it is shown that it is consistent with ZF that there exists an infinite set \(x\) such that the cardinality of the symmetric group on \(x\) is strictly less than that of \([x]^3\).

April 25

Ruizhi Yang 杨睿之, Fudan University

Time: 14:00 - 16:00. Location: HGW2403.

Some natural reducets of models of set theory

Hamkins and Kikuchi (2016) have showed the set-theoretic mereology, namely, the theory of $(V, \subset)$ is decidable, hence cannot serve as a foundation of mathematics. We continue to look at other natural reducts of the models of set theory. We will show that the structure $(V,\bigcup)$, $(V,\bigcap)$, and even $(V,\bigcup, P)$ has a decidable theory, hence contains little information of a set theory structure, while $(V, \subset, \bigcap)$, $(V, \subset, \bigcup)$, and $(V, \bigcap, \bigcup)$ contains all the information to recover $(V, \in)$. We also find the structure of subset relation and power set operation $(V, \subset, P)$ is rigid, yet we do not know if $\in$ is definable in it or not. This is joint work with Joel David Hamkins.

May 4

Zachiri McKenzie, University OF Michigan - Shanghai Jiao Tong University Joint Institute

Time: 14:00 - 16:00. Location: HGW2403. Slides

Automorphisms of Models of Set Theory

This talk will report on joint work that has been done in collaboration with Ali Enayat and Matt Kaufmann. Nontrivial automorphisms have revealed themselves as important devices in the study of models of arithmetic where they have been used, amongst other things, to find model-theoretic classifications of subsystems of $\mathrm{PA}$ and second order arithmetic. In the context of set theory, Jensen's consistency proof of the urelemented variant of Quine's `New Foundations' Set Theory, $\mathrm{NFU}$, reveals that a model of this theory can be built from a model of a subsystem of $\mathrm{ZFC}$ that admits a nontrivial automorphism. In particular, if $\mathcal{M}$ is a model of set theory (a sufficiently strong subsystem of $\mathrm{ZFC}$) and $j$ is a nontrivial automorphism of $\mathcal{M}$ that yields a model of $\mathrm{NFU}$, then there is a connection between the largest initial segment of $\mathcal{M}$ that is pointwise fixed by $j$ and the canonical interpretation of well-founded set theory (s subsystem or extension of $\mathrm{ZFC}$) in the resulting model of $\mathrm{NFU}$. Let $\mathrm{MOST}$ be the subsystem of $\mathrm{ZFC}$ axiomatized by extensionality, pair, union, emptyset, powerset, infinity, set foundation, $\Sigma_1$-separation, $\Delta_0$-collection and the axiom of choice. If $\mathcal{M}$ is a model of $\mathrm{MOST}$ that is equipped with a non-trivial automorphism $j$, then let $\mathcal{I}_\mathrm{fix}(j)$ denote the submodel of $\mathcal{M}$ whose universe consists of points $m$ in $\mathcal{M}$ such that $j(x)=x$ for all $x$ in the transitive closure of $m$ (where the transitive closure of $m$ is computed in $\mathcal{M}$). In this talk I will discuss the class $\mathcal{C}$ of all structures in the form $\mathcal{I}_\mathrm{fix}(j)$ where $j$ is a nontrivial automorphism of a model $\mathcal{M}$ of $\mathrm{MOST}$ such that $j(n)=n$ for every $n$ that is a finite ordinal in the sense of $\mathcal{M}$. I will begin by showing that every structure in $\mathcal{C}$ is a model of the theory $\mathrm{MOST}+ \Delta_0^\mathcal{P}\textrm{-collection}$. I will then sketch an iterated ultrapower construction that yields a model-theoretic classification of the countable structures in $\mathcal{C}$. This classification can be used to show that the following conditions are sufficient for a countable structure $\mathcal{N}$ to be in $\mathcal{C}$:

  1. $\mathcal{N}$ is a transitive model of $\mathrm{MOST}+\Delta_0^\mathcal{P}\textrm{-collection}$
  2. $\mathcal{N}$ is a recursively saturated model of $\mathrm{MOST}+\Delta_0^\mathcal{P}\textrm{-collection}$
  3. $\mathcal{N}$ is a model of $\mathrm{ZFC}$
I will conclude by discussing some open questions and, if time permits, discuss some applications and extensions of these results.

May 18

Renling Jin 金人麟, College of Charleston

Time: 14:00 - 16:00. Location: HGW2403. Slides

Can nonstandard analysis produce new standard theorems?

The answer is yes. Nonstandard analysis which was created by A. Robinson in 1963 incorporates infinitely large numbers and infinitesimally small positive numbers consistently in our real number system. But the strength of nonstandard analysis in the research of standard mathematics has not seemed to be sufficiently appreciated by mathematical community. In the talk, we will introduce two parts of the work done by the speaker and his collaborators on the standard combinatorial number theory using nonstandard analysis. In each of these two parts new standard theorems that were proved by nonstandard methods will be presented. The audience are not assumed to have prior knowledge of nonstandard analysis.

Jun 8

Yun Fan 范赟, Southeast University

Time: 14:00 - 16:00. Location: HGW2403. Slides

A survey on the computable Lipschitz reducibility

Given two reals $\alpha, \beta$, recall that $\beta$ is $K$-reducible to $\alpha$, written as $\beta \leq_K \alpha$, if for all $n$, $K(\beta \upharpoonright_n) \leq K(\alpha\upharpoonright_n) + O(1)$. Similarly for $C$-complexity. However these loose (to mean any transitive and reflexive preorder on $2^{\omega}$) reducibilities are not ``real", both of them are the most basic measures of relative randomness based on the Kolmogorov complexity approach. Some stronger `` real" reducibilities, such as Solovay reducibility, computable Lipschitz reducibility, relative $K$-reducibility, were introduced to measure relative complexity, which imply $K$-reducibility (as well as $C$-reducibility). Computably Lipschitz (cl-) reduciblity is a Turing reducibilty, which use function on $x$ is bounded by $x + c$ for some constant $c$. In this talk, we make a survey on the properties of cl-degrees on c.e.sets and c.e. reals.

September 14

Huiling Zhu 朱慧灵, Sun Yat-Sen University

Time: 14:00 - 16:00. Location: HGW2403. Slides

Forcing Axioms and their Applications

Forcing Axioms have been investigated in depth in axiomatic set theory as well as in set theoretic topology for decades. In the first part of this talk, we will focus on the first forcing axiom, Martin's Axiom, by studying its typical applications. In the second part, we will introduce various forms of forcing axioms and briefly review their properties, connections and applications.

September 28

Ningyuan Yao 姚宁远, Fudan University

Time: 14:00 - 16:00. Location: HGW2403.

On groups definable over p-adics with definable f-generic types

The defiable groups with definable f-generic types has been well understood in RCF context, which are exactly the definable trosion-free group. A result of ConversanoAlf, Onshuus, and Starchenko saying that any torsion free group definable in RCF is virtually isomorphic to a subgroup of $T_n(R)$,where $T_n(R)$ is the group of all upper triangular $n\times n$-matrices with nonzero diagonal entries.

Since both RCF and theory of p-adics are distal dp-minimal theory, the concept of ``definable f-generic" should be a useful tool to describe the analogs of trosion free o-minimal groups in $p$-adic context.

In this talk we will show that every definable f-generic group definable in $Q_p$ is virtually isomorphic to a subgroup of $T_n(Q_p)$, where $T_n(Q_p)$ is the group of all upper triangular $n\times n$-matrices with nonzero diagonal entries.

Novenber 2

Jiachen Yuan 袁嘉辰, University of Chinese Academy of Sciences

Time: 14:00 - 17:00. Location: HGW2403.

Indestructibility of supercompactness and large cardinals

It is well known that $ZFC$ is consistent with "there is a supercompact cardinal which is immune to any $\kappa$-directed closed set forcing", if there is a model of ZFC with a supercompact cardinal. Also, Hamkins shows that there is no analogue of such theorem to the large cardinals which is stronger than extendible. In fact, provably in ZFC such large cardinal property will be destroyed by any $\kappa$-directed closed set forcing. If we have even larger cardinals, according to a theorem of Usuba, then such large cardinal can not survive in any forcing extension which is not equivalent to a small forcing. However, it is not known if it is possible to have a large cardinal concept (which is stronger than supercompactness) such that it's supercompactness is indestructible. It turns out that this is possible if we have the consistency from some large cardinal concept which is stronger than the targeted one.