Ultraproducts and Saturated Models

Journal of Symbolic Logic 35 (4):584-585 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271469

Links

PhilArchive



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

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

Review: H. Jerome Keisler, Ultraproducts and Saturated Models. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):584-585.
Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic.Ermek S. Nurkhaidarov & Erez Shochat - 2011 - Notre Dame Journal of Formal Logic 52 (3):315-329.
Ultraproducts which are not saturated.H. Jerome Keisler - 1967 - Journal of Symbolic Logic 32 (1):23-46.
Review: H. Jerome Keisler, Ultraproducts Which are Not Saturated. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):585-585.
Ultraproducts of SCI.Stephen Bloom & Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (1):9-14.
Equality-free saturated models.P. Dellunde - 2003 - Reports on Mathematical Logic:3-22.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.Shahram Mohsenipour - 2007 - Mathematical Logic Quarterly 53 (3):289-294.
A Galois correspondence for countable short recursively saturated models of PA.Erez Shochat - 2010 - Mathematical Logic Quarterly 56 (3):228-238.
Applications of Ultraproducts of Pairs of Cardinals to the Theory of Models.C. C. Chang & H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (2):338-339.
Remarks on Structure Theorems for -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.
The complexity of classification problems for models of arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.

Analytics

Added to PP
2015-02-05

Downloads
15 (#926,042)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The theory of Boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297-323.
Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
Ramsey for R1 ultrafilter mappings and their Dedekind cuts.Timothy Trujillo - 2015 - Mathematical Logic Quarterly 61 (4-5):263-273.
Keisler’s order via Boolean ultrapowers.Francesco Parente - 2020 - Archive for Mathematical Logic 60 (3):425-439.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references