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)

Publisher: Oxford University Press

Key:

- Free Content

- New Content

- Subscribed Content

- Free Trial Content

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: 10.1093/jigpal/jzk005

The full text electronic article is available for purchase. You will be able to download the full text electronic article after payment.

$40.03 plus tax Refund Policy