اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدBrowns lemma in second-order arithmetic
108
0
0.0
(
0
)
تأليف
Emanuele Frittaion
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We show that Browns lemma is equivalent to Sigma02-induction over RCA0* and that the finite version of Browns lemma is provable in RCA0 but not in RCA0*.
قيم البحث
اقرأ أيضاً
Simpson showed that every countable model $mathcal{M} models mathsf{PA}$ has an expansion $(mathcal{M}, X) models mathsf{PA}^*$ that is pointwise definable. A natural question is whether, in general, one can obtain expansions of a non-prime model in
which the definable elements coincide with those of the underlying model. Enayat showed that this is impossible by proving that there is $mathcal{M} models mathsf{PA}$ such that for each undefinable class $X$ of $mathcal{M}$, the expansion $(mathcal{M}, X)$ is pointwise definable. We call models with this property Enayat models. In this paper, we study Enayat models and show that a model of $mathsf{PA}$ is Enayat if it is countable, has no proper cofinal submodels and is a conservative extension of all of its elementary cuts. We then show that, for any countable linear order $gamma$, if there is a model $mathcal{M}$ such that $mathrm{Lt}(mathcal{M}) cong gamma$, then there is an Enayat model $mathcal{M}$ such that $mathrm{Lt}(mathcal{M}) cong gamma$.
A subset of a model of ${sf PA}$ is called neutral if it does not change the $mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in various models o
f ${sf PA}$. We show that cofinal extensions of prime models are neutrally expandable, and $omega_1$-like neutrally expandable models exist, while no recursively saturated model is neutrally expandable. We also show that neutrality is not a first-order property. In the last section, we study a local version of neutral expandability.
It is well-known that any finite $Pi^{0}_{1}$-class of $2^{mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of KH{o}nigs lemma to answer this qeustion.
We analyze Ekelands variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $Pi^1_1$-${sf CA}_0$, a strong theory of second-order arithmetic, while natural restrictions (e.g.~to c
ompact spaces or continuous functions) yield statements equivalent to weak Konigs lemma (${sf WKL}_0$) and to arithmetical comprehension (${sf ACA}_0$). We also find that the localized version of Ekelands variational principle is equivalent to $Pi^1_1$-${sf CA}_0$ even when restricting to continuous functions. This is a rare example of a statement about continuous functions having great logical strength.
We study notions of genericity in models of $mathsf{PA}$, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model-theoretic contexts. These papers studied the theories obtained b
y adding a random predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of $mathsf{PA}$ which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in models of $mathsf{PA}$ as CP-generics. We study a more natural property, called strong CP-genericity, which implies CP-genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP-generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
