A direct proof of the Feferman-Vaught theorem and other preservation theorems in products

Journal of Symbolic Logic 56 (2):632-636 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274705

Links

PhilArchive



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

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 first order properties of products of algebraic systems.Solomon Feferman with with R. L. Vaught - manuscript
Ah, Chu!Solomon Feferman - unknown
Connections between axioms of set theory and basic theorems of universal algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.
Some restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.
Three theorems of Godel.Andrew Boucher - manuscript
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
An intuitionistic version of zermelo's proof that every choice set can be well-ordered.J. Todd Wilson - 2001 - Journal of Symbolic Logic 66 (3):1121-1126.
A model theoretic proof of Feferman's preservation theorem.David Marker - 1984 - Notre Dame Journal of Formal Logic 25 (3):213-216.

Analytics

Added to PP
2009-01-28

Downloads
21 (#692,524)

6 months
7 (#339,156)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Preservation properties for products and sums of metric structures.Mary Leah Karker - 2023 - Archive for Mathematical Logic 62 (3):427-469.

Add more citations

References found in this work

Infinitary properties of abelian torsion groups.Jon Barwise & Paul Eklof - 1970 - Annals of Mathematical Logic 2 (1):25-68.

Add more references