http://hdl.handle.net/20.500.12128/16016
Tytuł: | Partially-elementary extension Kripke models and Burr's hierarchy |
Autor: | Połacik, Tomasz |
Słowa kluczowe: | Kripke models; Burr's hierarchy |
Data wydania: | 1999 |
Źródło: | Bulletin of the Section of Logic, Vol. 28, no. 4 (1999), s. 207-214 |
Abstrakt: | We investigate Kripke models of subtheories /'k,, of Heyting Arithmetic. The theories Al*,,, defined by W. Burr, can be regarded as the natural intuitionistic counterparts of subtheories Inn of Peano Arithmetic. In the paper we consider n-elementary extension Kripke models which are models whose worlds are ordered by the elementary extension relation with respect to A„ formulae instead of merely the (weak) submodel relation. We prove that every Inn-normal, n-elementary extension model is a model of /'k,,. This suggests a method of constructing non-trivial Kripke models of /'k„. We also show that every (n + 1)- elementary extension model of /'k„ is Inn-normal. |
URI: | http://hdl.handle.net/20.500.12128/16016 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Polacik_Partially_elementary_extension.pdf | 294,04 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons