May 2021
Udayan Darji: Local Entropy and Descriptive Complexity
19/05/21 18:30
Tuesday, May 25, 2021 17:00
Location: Zoom.us: if you want to participate please contact organizers
Speaker: Udayan Darji (University of Louisville)
Title: Local Entropy and Descriptive Complexity
Abstract: Blanchard introduced the concepts of Uniform Positive Entropy (UPE) and Complete Positive Entropy (CPE) as topological analogues of K-automorphism. He showed that UPE implies CPE, and that the converse is false. A flurry of recent activities study the relationship between these two notions. For example, one can assign a countable ordinal which measures how complicated a CPE system is. Recently, Barbieri and Gracia-Ramos constructed Cantor CPE system at every level of CPE. Westrick showed that natural rank associated to CPE systems is actually a $\Pi^1_1\)-rank. More importantly, she showed that the collection of CPE \(Z_2\) SFT's is a \(\Pi^1_1\)-complete set. In this talk, we discuss some results, where UPE and CPE coincide and others where we show that the complexity of certain classes of CPE systems is \(\Pi^1_1\)-complete. This is joint work with Garica-Ramos.
Location: Zoom.us: if you want to participate please contact organizers
Speaker: Udayan Darji (University of Louisville)
Title: Local Entropy and Descriptive Complexity
Abstract: Blanchard introduced the concepts of Uniform Positive Entropy (UPE) and Complete Positive Entropy (CPE) as topological analogues of K-automorphism. He showed that UPE implies CPE, and that the converse is false. A flurry of recent activities study the relationship between these two notions. For example, one can assign a countable ordinal which measures how complicated a CPE system is. Recently, Barbieri and Gracia-Ramos constructed Cantor CPE system at every level of CPE. Westrick showed that natural rank associated to CPE systems is actually a $\Pi^1_1\)-rank. More importantly, she showed that the collection of CPE \(Z_2\) SFT's is a \(\Pi^1_1\)-complete set. In this talk, we discuss some results, where UPE and CPE coincide and others where we show that the complexity of certain classes of CPE systems is \(\Pi^1_1\)-complete. This is joint work with Garica-Ramos.
Matteo Viale: Absolute model companionship, forcibility, and the Continuum Problem
13/05/21 15:11
Tuesday, May 18, 2021 17:00
Location: Zoom.us: if you want to participate please contact organizers
Speaker: Matteo Viale (University of Torino)
Title: Absolute model companionship, forcibility, and the Continuum Problem
Abstract: Absolute model companionship (AMC) is a strengthening of model companionship defined as follows:
For a theory \(T\) , \(T_{\exists\lor\forall}\) denotes the logical consequences of \(T\) which are boolean combinations of universal sentences. \(T\) is the AMC of \(T^*\) if it is model complete and \(T_{\exists\lor\forall}=T^*_{\exists\lor\forall}\).
The \(\{+, ·, 0, 1\}\)-theory ACF of algebraically closed field is the model companion of the theory of Fields but not its AMC as \(\exists x (x^2+1=0)\in ACF_{\exists\lor\forall}\setminus Fields_{\exists\lor\forall}\).
We use AMC to study the continuum problem and to gauge the expressive power of forcing. We show that (a definable version of) \(2^{\aleph_0} = \aleph_2\) is the unique solution to the continuum problem which can be in the AMC of a partial Morleyization of the \(\in\)-theory
ZFC+there are class many supercompact cardinals. We also show that (assuming large cardinals) forcibility overlaps with the apparently stronger notion of consistency for any mathematical problem \(\varphi\) expressible as a \(\Pi_2\) -sentence of a (very large fragment of) third order arithmetic (CH, the Suslin hypothesis, the Whitehead conjecture for free groups, are a small sample of such problems \(\varphi\)).
Partial Morleyizations can be described as follows: let \(Form_{\tau}\) be the set of first order \(\tau\)-formulas; for a subset A of \(Form_{\tau}\), \(\tau_A\) is the expansion of \(\tau\) adding atomic relation symbols \(R_\varphi\) for all formulas \(\varphi\in A\) and \(T_{\tau,A}\) is the \(\tau_A\)-theory asserting that each \(\tau\)-formula \(\varphi(x)\in A\) is logically equivalent to the corresponding atomic formula \(R_\varphi (x\sim x)\). For a \(\tau\)-theory T, \(T + Ti_{\tau,A}\) is the partial Morleyization of T induced by \(A\subseteq F_\tau\).
Location: Zoom.us: if you want to participate please contact organizers
Speaker: Matteo Viale (University of Torino)
Title: Absolute model companionship, forcibility, and the Continuum Problem
Abstract: Absolute model companionship (AMC) is a strengthening of model companionship defined as follows:
For a theory \(T\) , \(T_{\exists\lor\forall}\) denotes the logical consequences of \(T\) which are boolean combinations of universal sentences. \(T\) is the AMC of \(T^*\) if it is model complete and \(T_{\exists\lor\forall}=T^*_{\exists\lor\forall}\).
The \(\{+, ·, 0, 1\}\)-theory ACF of algebraically closed field is the model companion of the theory of Fields but not its AMC as \(\exists x (x^2+1=0)\in ACF_{\exists\lor\forall}\setminus Fields_{\exists\lor\forall}\).
We use AMC to study the continuum problem and to gauge the expressive power of forcing. We show that (a definable version of) \(2^{\aleph_0} = \aleph_2\) is the unique solution to the continuum problem which can be in the AMC of a partial Morleyization of the \(\in\)-theory
ZFC+there are class many supercompact cardinals. We also show that (assuming large cardinals) forcibility overlaps with the apparently stronger notion of consistency for any mathematical problem \(\varphi\) expressible as a \(\Pi_2\) -sentence of a (very large fragment of) third order arithmetic (CH, the Suslin hypothesis, the Whitehead conjecture for free groups, are a small sample of such problems \(\varphi\)).
Partial Morleyizations can be described as follows: let \(Form_{\tau}\) be the set of first order \(\tau\)-formulas; for a subset A of \(Form_{\tau}\), \(\tau_A\) is the expansion of \(\tau\) adding atomic relation symbols \(R_\varphi\) for all formulas \(\varphi\in A\) and \(T_{\tau,A}\) is the \(\tau_A\)-theory asserting that each \(\tau\)-formula \(\varphi(x)\in A\) is logically equivalent to the corresponding atomic formula \(R_\varphi (x\sim x)\). For a \(\tau\)-theory T, \(T + Ti_{\tau,A}\) is the partial Morleyization of T induced by \(A\subseteq F_\tau\).
Adam Kwela: Unboring ideals
06/05/21 18:05
Tuesday, May 11, 2021 17:00
Location: Zoom.us: if you want to participate please contact organizers
Speaker: Adam Kwela (University of Gdańsk)
Title: Unboring ideals
Abstract: We say that a space \(X\) is \(FinBW(I)\) (\(I\) is an ideal on the set of natural numbers), if for each sequence \((x_n)\) in \(X\) one can find a set \(A\) not belonging to \(I\) such that \((x_n)_{n\in A}\) converges in \(X\). Thus, the classical Bolzano-Weierstrass theorem states that every compact subset of the real line is \(FinBW(Fin)\) (\(Fin\) is the ideal of all finite subsets of naturals). During my talk I will present new results concerning \(FinBW(I)\) spaces and discuss relationship between the studied notions and the Katetov order on ideals. In particular, under \(MA\) I will characterize for all \(\Pi^0_4\) ideals when \(FinBW(I)\) and \(FinBW(J)\) differ.
Location: Zoom.us: if you want to participate please contact organizers
Speaker: Adam Kwela (University of Gdańsk)
Title: Unboring ideals
Abstract: We say that a space \(X\) is \(FinBW(I)\) (\(I\) is an ideal on the set of natural numbers), if for each sequence \((x_n)\) in \(X\) one can find a set \(A\) not belonging to \(I\) such that \((x_n)_{n\in A}\) converges in \(X\). Thus, the classical Bolzano-Weierstrass theorem states that every compact subset of the real line is \(FinBW(Fin)\) (\(Fin\) is the ideal of all finite subsets of naturals). During my talk I will present new results concerning \(FinBW(I)\) spaces and discuss relationship between the studied notions and the Katetov order on ideals. In particular, under \(MA\) I will characterize for all \(\Pi^0_4\) ideals when \(FinBW(I)\) and \(FinBW(J)\) differ.