WikiDer > Қайта мәжбүрлеу - Википедия
Математикада, қайталанған мәжбүрлеу Коэннің мәжбүрлеу әдісін трансфинитті рет қайталау арқылы жиындар теориясының модельдерін құруға арналған әдіс. Қайталама мәжбүрлеуді Соловай мен Тенненбаум енгізді (1971) олардың жиынтық теориясының моделін құруда Суслин ағашы. Олар сондай-ақ қайталанатын мәжбүрлеуге болатын модельдерді құра алатындығын көрсетті Мартин аксиомасы ұстап тұрады, ал континуум - кез келген тұрақты кардинал.
Қайталама мәжбүрлеуде біреудің трансфиниттік реттілігі болады Pα Бульдік бағаланатын модельдер отбасын беретін кейбір α индекстелген индекстелген мәжбүрлі түсініктер VPα. Егер α + 1 реттік реттік болса, онда Pα + 1 көбінесе бастап жасалады Pα ішіндегі мәжбүрлі түсінікті қолдану VPα, егер α шектік реттік болса, онда Pα көбінесе-ның шегі (мысалы, тікелей шегі) ретінде құрылады Pβ β <α үшін.
Әдетте, мұны қажет ететін негізгі мәселе құлап қалған жоқ. Бұл көбінесе консервілеу теоремасын қолдану арқылы жүзеге асырылады:
- C.c.c.-дің соңғы қолдау итерациясы. мәжбүрлеу (қараңыз. қараңыз) есептелетін тізбектің шарты) б.ғ.д. және осылайша сақтау .
- Тиісті мәжбүрлеудің есептік тірек қайталануы дұрыс (қараңыз) Дұрыс мәжбүрлеудің негізгі теоремасы) және осылайша сақтау .
- Жартылай жарамды форсингтің қайта есептелген тірек қайталануы жартылай сәйкес келеді, демек сақталады .
Сияқты жартылай дұрыс емес мәжбүрлеу Намба мәжбүрлеу, сақтай отырып, тиісті кардинальды құлаулармен қайталануы мүмкін жасаған әдістерін қолдана отырып Сахарон Шелах.[1][2][3]
Әдебиеттер тізімі
- ^ Shelah, S., дұрыс және дұрыс емес мәжбүрлеу, Springer 1992
- ^ Шлиндвейн, Чаз, Шелахтың жартылай емес қайталанулар бойынша жұмысы, Математикалық логика мұрағаты (47) 2008 579–606 бб.
- ^ Шлиндвейн, Чаз, Шелахтың жартылай емес қайталанулар бойынша жұмысы II, Символикалық логика журналы (66) 2001, 1865–1883 бет.
Дереккөздер
- Джек, Томас (2003), Жинақ теориясы: Millennium Edition, Математикадағы Springer монографиясы, Берлин, Нью-Йорк: Шпрингер-Верлаг, ISBN 978-3-540-44085-7
- Кунан, Кеннет (1980), Теорияны орнатыңыз: тәуелсіздікке дәлел, Elsevier, ISBN 978-0-444-86839-8
- Шелах, Сахарон (1998) [1982], Дұрыс және дұрыс емес мәжбүрлеу, Математикалық логикадағы перспективалар (2 басылым), Берлин: Спрингер-Верлаг, ISBN 3-540-51700-6, МЫРЗА 1623206
- Соловай, Р.М .; Тенненбаум, С. (1971). «Коэн кеңейтілген кеңейтімдері және Соуслин мәселесі». Энн. математика. 2. Математика шежіресі. 94 (2): 201–245. дои:10.2307/1970860. JSTOR 1970860.
Сыртқы сілтемелер
- Эйсворт, Тодд; Мур, Джастин Татч (2009), Милович, Дэвид (ред.), КҮШТІ МӘЖБҮРЛЕУ ЖӘНЕ ЖАЛҒАСЫ ГИПОТЕЗ (PDF), Аппалачтар жиынтығы теориясының практикумы дәрістер