نتائج البحث

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

• Authors : Shapiro, S.; McCarty, C.; Rathjen, M.

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

Herbrandized modified realizability

• Authors : Ferreira, Gilda; Firmino, Paulo

Subjects: Realizability; Star combinatory calculus; Finite sets

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

The strength of countable saturation

• Authors : van den Berg, Benno; Briseid, Eyvind Martol; Safarik, Pavol

Subjects: Proof theory; Arithmetic; Saturation principles

• Source: Archive for mathematical logic

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