Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-8 of  8 نتائج ل ""Bounded arithmetic""

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

Subject : independence (mathematical logic) Subject : order (group theory) فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Separations of first and second order theories in bounded arithmetic

Subjects: Combinatorics; Discrete mathematics; Philosophy

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

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

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

Characterising polynomial time computable functions using theories with weak set existence principles

Subjects: Set (abstract data type); Second order theory; Discrete mathematics

  • Source: Electronic Notes in Theoretical Computer Science. 78:112-122

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

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

Strengths and Weaknesses of LH Arithmetic

Subjects: Algebra; Bounded arithmetic; Logic

  • Source: MLQ. 48:221-243

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

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

An Independence Result on Weak Second Order Bounded Arithmetic

Subjects: Discrete mathematics; Corollary; Bounded arithmetic

  • Source: MLQ. 47:183-186

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

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

Count(ifq) does not imply Count(ifp)

Subjects: Discrete mathematics; Forcing (recursion theory); Bounded arithmetic

  • Source: Annals of Pure and Applied Logic. 90(1-3):1-56

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

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

Forcing in Finite Structures

Subjects: Combinatorics; Discrete mathematics; Finite model theory

  • Source: Mathematical Logic Quarterly, 43, 401-412. Wiley-VCH Verlag

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

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

Exponentiation and second-order bounded arithmetic

Subjects: Discrete mathematics; Bounded arithmetic; Exponentiation

  • Source: Annals of Pure and Applied Logic. 48(3):261-276

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

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

A Remark on Independence Results for Sharply Bounded Arithmetic

Subjects: Combinatorics; Discrete mathematics; Bounded arithmetic

  • Source: Mathematical Logic Quarterly. 44:568-570

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-8 of  8 نتائج ل ""Bounded arithmetic""