Skip Navigation

Logic Journal of IGPL 2006 14(1):73-86; doi:10.1093/jigpal/jzk005
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Polacik, T.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2006. Published by Oxford University Press. All rights reserved.

Original Articles

Partially-Elementary Extension Kripke Models: A Characterization and Applications

Tomasz Polacik1

1 University of Silesia, Institute of Mathematics, Bankowa 14, 40-007 Katowice, Poland. E-mail: polacik{at}us.edu.pl

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.

Key Words: Kripke models, constructive theories, Heyting arithmetic and fragments

Received 5 Decemeber 2005. Revised 6 January 2006.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.