نتائج البحث

A model of intuitionistic analysis in which.

• Authors : Scowcroft, Philip¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p258-277. 20p.

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

On Martin's Axiom and Forms of Choice.

• Authors : Tachtsis, Eleftherios¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p190-203. 14p.

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

On n-dependent groups and fields.

• Authors : Hempel, Nadja¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p215-224. 10p.

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

On free MV algebras and a problem of Tarski.

• Authors : Nola, Antonio Di¹ ; Lenzi, Giacomo¹; Vitale, Gaetano¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p232-240. 9p.

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

Contents: (Math. Log. Quart. 1-2/2016).

• Source: Mathematical Logic Quarterly. Feb2016, Vol. 62 Issue 1/2, p3-7. 2p.

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

Pseudo definably connected definable sets.

• Authors : Eivazloo, Jafar S.¹; Tari, Somayyeh^1,2

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p241-248. 8p.

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

An infinite natural sum.

• Authors : Lipparini, Paolo¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p249-257. 9p.

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

A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.

• Authors : Kamide, Norihiro¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p177-189. 13p.

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

Conuclear images of substructural logics.

• Authors : Frosoni, Giulia¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p204-214. 11p.

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

Stable theories and representation over sets.

• Authors : Shelah, Saharon^1,2; Cohen, Moran¹

• Source: Mathematical Logic Quarterly. May2016, Vol. 62 Issue 3, p140-154. 15p.

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