Институционалды модель теориясы - Institutional model theory
- Бұл парақ математикалық логикадағы түсінік туралы. In түсініктері үшін әлеуметтану, қараңыз Институционалдық теория және Институционалды логика.
Жылы математикалық логика, институционалдық модель теориясы -ның үлкен бөлігін жалпылайды бірінші ретті модель теориясы ерікті логикалық жүйе.
Шолу
Мұндағы «логикалық жүйе» ұғымы мекеме. Институттар логикалық жүйелер туралы модельге негізделген мета-теорияны құрайды, оның теориясы сияқты сақиналар және модульдер классика үшін мета-теорияны құрайды сызықтық алгебра. Тағы бір ұқсастықты жасауға болады әмбебап алгебра қарсы топтар, сақиналар, модульдер т.с.с нақты шартты логиканың шындығынан абстракциялау арқылы институт теориясының дәстүрлі емес логика шындығына жақындағанын байқауға болады.
Институционалды модель теориясы классикалық модель-теориялық түсініктер мен нәтижелерді талдайды және жалпылайды
- Бастапқы диаграммалар
- Бастапқы ендірулер
- Ультраөнімдер, Лос теоремасы
- Қаныққан модельдер
- аксиоматизация
- сорттары, Бирхофф аксиоматизация
- Крейгтің интерполяциясы
- Робинзон консистенциясы
- Беттің анықталуы
- Годель Келіңіздер толықтығы туралы теорема
Әрбір тұжырымдама мен теорема үшін қажетті инфрақұрылым мен қасиеттер институттардың шарттары ретінде талданады және тұжырымдалады, осылайша олар бірінші ретті логиканың қандай қасиеттеріне сүйенеді және оларды басқа логикаларға қаншалықты жалпылауға болатындығы туралы егжей-тегжейлі түсінік береді.
Әдебиеттер тізімі
 | Бұл мақала жоқ сілтеме кез келген ақпарат көздері. (Мамыр 2009) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) |
Әрі қарай оқу
- Разван Диаконеску: Институты тәуелсіз модель теориясы. Бирхязер, 2008. ISBN 978-3-7643-8707-5.
- Разван Диаконеску: институт-тәуелсіз модель теориясының зергерлері. К: Футатсуги, Дж. Джуанно, Дж. Мезегер (ред.): Алгебра, мағынасы және есептеу. Арналған эсселер Джозеф А.Гогуен 65 жасқа толуына орай. Информатикадағы дәріс жазбалары 4060, б. 65-98, Springer-Verlag, 2006.
- Мариус Петрия және Равван Диаконеску: Бетіндегі абстрактілі анықтама. Символикалық логика журналы 71 (3), б. 1002-1028, 2006 ж.
- Даниэль Гинье және Андрей Попеску: Тарскийдің қарапайым тізбек теоремасын институттан тәуелсіз жалпылау, Логика және есептеу журналы 16 (6), б. 713-735, 2006 ж.
- Моссаковскийге дейін, Джозеф Гогуен, Равван Диаконеску, Анджей Тарлекки: Логика деген не ?. Жан-Ив Безияу, редактор, Logica Universalis, 113-133 беттер. Бирхаузер, 2005 ж.
- Анджей Тарлекки: абстрактілі алгебралық мекемелердегі квази сорттар. Компьютерлік және жүйелік ғылымдар журналы 33 (3), б. 333-360, 1986 ж.
Сыртқы сілтемелер
- Разван Диаконескудің жарияланымдар тізімі - институционалды модель теориясы бойынша соңғы жұмыстардан тұрады