Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Subject : order (group theory) Subject : philosophy فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Sprague–Grundy theory in bounded arithmetic

Authors : Satoru Kuroda

Subjects: Discrete mathematics; Computer Science::Computer Science and Game Theory; Philosophy

Source: Archive for Mathematical Logic. 61:233-262

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Induction rules in bounded arithmetic

Authors : Emil Jeřábek

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Bounded arithmetic

Source: Archive for Mathematical Logic. 59:461-501

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Construction of models of bounded arithmetic by restricted reduced powers

Authors : Michal Garlík

Subjects: Discrete mathematics; Bounded arithmetic; Logic

Source: Archive for Mathematical Logic. 55:625-648

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Partially definable forcing and bounded arithmetic

Authors : Moritz Müller; Albert Atserias;

Subjects: Pure mathematics; Logic; Matemàtica constructiva

Source: UPCommons. Portal del coneixement obert de la UPCUniversitat Politècnica de Catalunya (UPC)Recercat. Dipósit de la Recerca de CatalunyaUniversitat Jaume Iinstname

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem

Authors : Neil Thapen

Subjects: Discrete mathematics; Mathematics::Logic; Philosophy

Source: Archive for Mathematical Logic. 50:665-680

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Nested PLS

Authors : Toshiyasu Arai

Subjects: Combinatorics; Polynomial (hyperelastic model); Philosophy

Source: Archive for Mathematical Logic. 50:395-409

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conservative fragments of $${{S}^{1}_{2}}$$ and $${{R}^{1}_{2}}$$

Authors : Chris Pollett

Subjects: Combinatorics; Philosophy; Bounded arithmetic

Source: Archive for Mathematical Logic. 50:367-393

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

The equivalence of theories that characterize ALogTime

Authors : Phuong Nguyen

Subjects: Discrete mathematics; Bounded arithmetic; Logic

Source: Archive for Mathematical Logic. 48:523-549

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Generalized quantifier and a bounded arithmetic theory for LOGCFL

Authors : Satoru Kuroda

Subjects: Combinatorics; Discrete mathematics; Philosophy

Source: Archive for Mathematical Logic. 46:489-516

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Separations of first and second order theories in bounded arithmetic

Authors : Masahiro Yasumoto

Subjects: Combinatorics; Discrete mathematics; Philosophy

Source: Archive for Mathematical Logic. 44:685-688

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي