Preservation theorem and relativization theorem for cofinal extensions

Journal of Symbolic Logic 51 (4):1022-1028 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273913

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.
A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem.Ronald Harrop, J. N. Crossley & M. A. E. Dummett - 1967 - Journal of Symbolic Logic 32 (1):125-126.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Craig interpolation theorem for intuitionistic logic and extensions part III.Dov M. Gabbay - 1977 - Journal of Symbolic Logic 42 (2):269-271.
Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for propositional Calculi. [REVIEW]W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (1):125-126.
A direct proof of the Feferman-Vaught theorem and other preservation theorems in products.Yiannis Vourtsanis - 1991 - Journal of Symbolic Logic 56 (2):632-636.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
Cofinal Indiscernibles and some Applications to New Foundations.Friederike Körner - 1994 - Mathematical Logic Quarterly 40 (3):347-356.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.

Analytics

Added to PP
2009-01-28

Downloads
1 (#1,913,683)

6 months
175 (#19,236)

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.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Interpolation Theorem and Characterization Theorem.Nobuyoshi Motohashi - 1972 - Annals of the Japan Association for Philosophy of Science 4 (2):85-150.

Add more references