A model theoretic proof of Feferman's preservation theorem

Notre Dame Journal of Formal Logic 25 (3):213-216 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870626

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Ah, Chu!Solomon Feferman - unknown
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.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
The Philosophical Significance of Tennenbaum’s Theorem.T. Button & P. Smith - 2012 - Philosophia Mathematica 20 (1):114-121.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.
A model-theoretic proof for P ≠ NP over all infinite Abelian groups.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (1):235 - 238.
A proof theoretic proof of Scott's general interpolation theorem.Henry Africk - 1972 - Journal of Symbolic Logic 37 (4):683-695.
The model-theoretic ordinal analysis of theories of predicative strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
We Can Be in Harmony With Classical Logic.Michael Gabbay - unknown
Ranked partial structures.Timothy J. Carlson - 2003 - Journal of Symbolic Logic 68 (4):1109-1144.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,129,009)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references