کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904291 | 1633417 | 2018 | 27 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Fixed points of self-embeddings of models of arithmetic
ترجمه فارسی عنوان
نقاط ثابت خود جاسازی از مدل حساب
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. Our principal results are Theorem A, Theorem B, Theorem C below. In what follows M is a countable nonstandard model of the fragment IΣ1 of PA (Peano Arithmetic); N is the initial segment of M consisting of standard numbers of M; Ifix(j) is the longest initial segment of fixed points of j; Fix(j) is the fixed point set of j; K1(M) consists of Σ1-definable elements of M; and a self-embedding j of M is said to be a proper initial self-embedding if j(M) is a proper initial segment of M. Theorem AThe following are equivalent for a proper initial segment I ofM:(1)I=Ifix(j)for some self-embedding j ofM.(2)I is closed under exponentiation.(3)I=Ifix(j)for some proper initial self-embedding j ofM.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 6, June 2018, Pages 487-513
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 6, June 2018, Pages 487-513
نویسندگان
Saeideh Bahrami, Ali Enayat,