جدول پیوندها
چکیده و 1 مقدمه
2 پس زمینه
3 در مورد قانون رشد آهسته
4 عضو کلاس Deep Π0 1
5 عمق قوی ناچیز است
6 نوع از عمق قوی
مراجع
پیوست A. اثبات لم 3
با لمای 3، می توانیم نتیجه بگیریم که X به ترتیب عمیق است.
یکی از پیامدهای فوری قضیه 9 موارد زیر است.
عکس این نتیجه صادق نیست.
به عنوان پیامد فوری قضیه 9 و موارد فوق از [BP16]، داریم:
بعد، داریم:
این مقاله در arxiv تحت مجوز CC BY 4.0 DEED موجود است.
نویسندگان:
(1) Laurent Bienvenu;
(2) کریستوفر پی پورتر.