Contributed Talks 12
Chair: Rasmus Blanck
Talks in this session
17:30 
Mateusz Łełyk, Simplest model properties for Peano Arithmetic: On a question of Montalban and Rossegger. 
Authors: Mateusz Łełyk and Patryk Szlufik This is joint work with Patryk Szlufik from the University of Warsaw. As famously shown by Scott, every countable structure can be characterized, up to isomorphism, by a sentence of infinitary language \(L_{\omega_1, \omega}\) 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 \(\mathcal{M}\) is the least \(\alpha\) such that \(\mathcal{M}\) can be uniquely characterized by a sentence of rank \(\alpha+1\) (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 \(T\) of PA. A particulary intriguing outcome of their analysis is that PA has exacty 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 modeltheoretical properties of models, such as recursive saturation and atomicity, rasising an open question: is there a nonatomic homogeneous model of PA of Scott rank \(\omega\)? In the talk we answer the above question to the negative, showing that the nonstandard models of PA or rank \(\omega\) are exactly the nonstandard prime models. This witness another peculiar property of PA: not only it has the simplest model, but also every its completion has a unique model of the least Scott rank. 

17:50 
Yong Cheng, On Rosser theories 
The notion of Rosser theories is introduced in [1]. Rosser theories play an important role in the study of the incompleteness phenomenon and metemathematics of arithmetic, and have important metemathematical properties. All definitions of Rosser theories in the literature are restricted to arithmetic languages which admit numerals for natural numbers. Results about Rosser theories in the literature are confined to 1ary relations. A general theory of Rosser theories for \(n\)ary relations for any \(n\geq 1\) and relationships among them is missing in the literature. We first introduce the notion of \(n\)Rosser theories, which generalizes the notion of Rosser theories for RE sets to \(n\)ary RE relations in a general setting via the notion of interpretation. Then, we introduce notions of exact \(n\)Rosser theories, effectively \(n\)Rosser theories and effectively exact \(n\)Rosser theories. Our definitions of these notions are not restricted to arithmetic languages admitting numerals for natural numbers. Then we systematically examine properties of these notions, and study relationships among these notions. Especially, we generalize some important theorems about Rosser theories for RE sets in the literature to \(n\)Rosser theories for any \(n\geq 1\). One important tool we use is the fact that for a disjoint pair of \(n\)ary RE relations, semi\(\sf DU\) implies \(\sf DU\). We give three different proofs of this fact. Let \(T\) be a consistent RE theory. We prove the following main theorems for any \(n\geq 1\):
Bibliography


18:10 
Mengzhou Sun, The KaufmannClote question on end extensions of models of arithmetic 
Authors: Mengzhou Sun, Tin Lok Wong and Yue Yang A general question in the model theory of arithmetic is:
Efforts over the past four decades have revealed answers to this question for all the wellknown theories in arithmetic, i.e., the \(\Sigma_m\) induction schemes \(\mathrm I\Sigma_m\) and the \(\Sigma_m\) collection schemes \(\mathrm B\Sigma_m\), except the following instance.
We present a positive answer to the Kaufmann–Clote question. The proof consists of a secondorder ultrapower construction based on a low basis theorem. We will also include a survey on the answers related to the general question above. Bibliography
