Partially-Elementary Extension Kripke Models: A Characterization and Applications

Author: Połacik, Tomasz

Source: Logic Journal of the IGPL, Volume 14, Number 1, 15 January 2006 , pp. 73-86(14)

Buy & download fulltext article:

Price: $42.29 plus tax (Refund Policy)

Abstract:

A Kripke model for a first order language is called a partially-elementary extension model if its accessibility relation is not merely a (weak) submodel relation but a stronger relation of being an elementary submodel with respect to some class of fromulae. As a main result of the paper, we give a characterization of partially-elementary extension Kripke models. Throughout the paper we exploit a generalized version of the hierarchy of first order formulae introduced by W. Burr. We present some applications of partially-elementary extension Kripke models to subtheories of Heyting Arithmetic and provide examples of their models and prove some of their properties. For example, we show that finite models of subtheories in question need not be normal (in the sense of S. Buss). The presented results show that the properties of models of subtheories of Heyting Arithmetic differ much from the properties of models of the full theory.

Keywords: Kripke models, constructive theories, Heyting arit

Document Type: Research article

DOI: http://dx.doi.org/10.1093/jigpal/jzk005

Publication date: 2006-01-15

More about this publication?

Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.