Induction schemata valid in Kripke models of arithmetical theories

• Autorzy: Polacik T.
• Języki publikacji: EN

Abstrakty

EN

We consider Kripke semantics for intuitionistic arithmetic and ask ourselves whether an induction schema which is (classically) true in a world of a given model K is also (intuitionistically) forced at the corresponding node of K.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 1999
• Tom: No. 33
• Strony: 111--125

Twórcy

autor

Polacik T.

• Uniwersytet Śląski Instytut Matematyki ul. Bankowa 14 40-007 Katowice,