جدول پیوندها
چکیده و 1 مقدمه
2 پس زمینه
3 در مورد قانون رشد آهسته
4 عضو کلاس Deep Π0 1
5 عمق قوی ناچیز است
6 نوع از عمق قوی
مراجع
پیوست A. اثبات لم 3
2. پس زمینه
\
\
\
لم 1 ([BDM23]).
\
\ علاوه بر این، ما به قضیه زیر نیاز داریم (به عنوان مثال نگاه کنید به [JLL94, Theorem 4.3(2)]).
\
\ توجه داشته باشید که با ترکیب لم 1(iii) و قضیه 2، یک آنالوگ محدود به منبع قضیه کدگذاری لوین بدست می آوریم.
\
\
\ در ادامه مقاله ما گاهی اوقات از یک توصیف معادل نظم-عمق استفاده می کنیم که توسط لم زیر ارائه می شود.
\
\ اثبات این لم فنی است. برای خوانایی، آن را به ضمیمه موکول می کنیم.
\
\
\ قانون رشد آهسته برای عمق نظم نیز صادق است.
\
\
\
\
\
:::info این مقاله در arxiv تحت مجوز CC BY 4.0 DEED موجود است.
:::
:::اطلاعات
نویسندگان:
(1) Laurent Bienvenu;
(2) کریستوفر پی پورتر.
:::
\