The preservation of submodel relation by taking primitive models

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):3-19 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19920380102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The preservation of submodel relation by taking primitive models.Paweł Pazdyka - 1992 - Mathematical Logic Quarterly 38 (1):3-19.
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
On the structure of kripke models of heyting arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Partially-Elementary Extension Kripke Models: A Characterization and Applications.Tomasz Połacik - 2006 - Logic Journal of the IGPL 14 (1):73-86.
Kripke submodels and universal sentences.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2007 - Mathematical Logic Quarterly 53 (3):311-320.
Unidimensional modules: uniqueness of maximal non-modular submodels.Anand Pillay & Philipp Rothmaler - 1993 - Annals of Pure and Applied Logic 62 (2):175-181.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Elementarne relacje ontyczne.Jacek J. Jadacki - 1995 - Filozofia Nauki 4.
Mereological bundle theory.L. A. Paul - 2013 - In Hans Burkhardt, Johanna Seibt & Guido Imaguire (eds.), Handbook of Mereology. Philosophia Verlag.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.
A comment on rcc: From rcc to rcc ++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319 - 352.
Intentionality as a Conceptually Primitive Relation.Dale Jacquette - 2011 - Acta Analytica 26 (1):15-35.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.

Analytics

Added to PP
2016-02-04

Downloads
28 (#572,733)

6 months
3 (#984,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references