|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
17 февраля 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri |
Количество просмотров: |
Эта страница: | 90 |
|
Аннотация:
We answer a natural question concerning the relation between forcing and satisfaction in Kripke models of intuitionistic predicate logic. We define a class of formulas denoted by R∗, with the property that forcing of any R∗-formula in a node of a Kripke model of intuitionistic predicate logic implies its satisfaction in the classical structure attached to that node. We also prove that any formula with this property is an R∗-formula.
Язык доклада: английский
|
|