پل زدن مفاهیم محاسباتی عمق: توابع تورینگ، نیمه اندازه گیری ها، و موارد دیگر

چکیده و 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) کریستوفر پی پورتر.

:::

\

Source link