کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661702 1344859 2016 22 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Henkin sentences and local reflection principles for Rosser provability ☆
ترجمه فارسی عنوان
جملات هانکین و اصول انعکاسی محلی برای تحمل پذیری روسر
کلمات کلیدی
احکام حنکین؛ اصول انعکاس محلی؛ اثبات پذیری Rosser؛ قضیه لوب؛ احکام روسر
03F03; 03F30; 03F40; 03F45Henkin sentences; Local reflection principles; Rosser provability predicates; Löb's theorem; Rosser sentences
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

In this paper, we investigate Rosser-type Henkin sentences, namely, sentences asserting their own provability in the sense of Rosser, and local reflection principles based on Rosser provability predicates. First, we give a necessary and sufficient condition that a sentence is a Rosser-type Henkin sentence of some Rosser provability predicate, and prove that any negated Rosser sentence can be a Rosser-type Henkin sentence. Secondly, we prove the existence of a Rosser provability predicate whose Rosser-type Henkin sentences are all provable or refutable. Thirdly, we solve the question raised by Shavrukov, and give a Rosser provability predicate whose local reflection principle is strictly weaker than the usual one. At last, we investigate the hierarchy of partial local reflection principles based on Rosser provability predicates.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 2, February 2016, Pages 73–94
نویسندگان
,