Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

Filter

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

Subject : mathematics - logic

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

Item request has been placed!

Item request cannot be made.

Processing Request

Report

Arithmetic-term representations for the greatest common divisor

Authors : Prunescu, Mihai; Shunia, Joseph

Subjects: Mathematics - Number Theory; Mathematics - Logic; 11A05, 05A15, 11B37

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

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

Report

The Limits of Determinacy in Higher-Order Arithmetic

Authors : Aguilera, Juan Pablo; Kouptchinsky, Thibaut

Subjects: Mathematics - Logic

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

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

Report

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle

Authors : Sun, Mengzhou

Subjects: Mathematics - Logic; 03C62, 03F30, 03H15 (Primary) 03F35 (Secondary)

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

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

Report

Iterating reflection over intuitionistic arithmetic

Authors : Frittaion, Emanuele

Subjects: Mathematics - Logic

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

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

Report

Axiomatization of B\'uchi arithmetic

Authors : Kovalyov, Konstantin

Subjects: Mathematics - Logic

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

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

Report

An efficient quantifier elimination procedure for Presburger arithmetic

Authors : Haase, Christoph; Krishna, Shankara Narayanan; Madnani, Khushraj

Subjects: Computer Science - Logic in Computer Science; Computer Science - Formal Languages and Automata Theory; Mathematics - Logic

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

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

Report

Witnessing Flows in Arithmetic

Authors : Tabatabai, Amirhossein Akbar

Subjects: Mathematics - Logic; Computer Science - Computational Complexity

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

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

Report

Multiplicative logic in arithmetic

Authors : Zhuravlov, Volodymyr

Subjects: Mathematics - Logic; 03B50, 03B60

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

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

Report

On the representation of C-recursive integer sequences by arithmetic terms

Authors : Prunescu, Mihai; Sauras-Altuzarra, Lorenzo

Subjects: Mathematics - Logic

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

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

Report

Formalizing Pfaffian in bounded arithmetic

Authors : Kuroda, Satoru

Subjects: Mathematics - Logic; 03B70, 15A15, 03D15

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

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

نتائج البحث

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

Arithmetic-term representations for the greatest common divisor

The Limits of Determinacy in Higher-Order Arithmetic

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle

Iterating reflection over intuitionistic arithmetic

Axiomatization of B\'uchi arithmetic

An efficient quantifier elimination procedure for Presburger arithmetic

Witnessing Flows in Arithmetic

Multiplicative logic in arithmetic

On the representation of C-recursive integer sequences by arithmetic terms

Formalizing Pfaffian in bounded arithmetic

اتصل بنا

اتبع