

Seminars
"Proof Theory" and "Logic Online Seminar"
February 17, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom






From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri^{} 
Number of views: 
This page:  87 

Abstract:
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.
Language: English

