Some applications of iterated ultrapowers in set theory

Annals of Mathematical Logic 1 (2):179 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(70)90013-6

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

Iterated extended ultrapowers and supercompactness without choice.Mitchell Spector - 1991 - Annals of Pure and Applied Logic 54 (2):179-194.
Generalized Prikry forcing and iteration of generic ultrapowers.Hiroshi Sakai - 2005 - Mathematical Logic Quarterly 51 (5):507-523.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.
Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.
Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
Δ1 Ultrapowers are totally rigid.T. G. McLaughlin - 2007 - Archive for Mathematical Logic 46 (5-6):379-384.
Representation of MV-algebras by regular ultrapowers of [0, 1].Antonio Di Nola, Giacomo Lenzi & Luca Spada - 2010 - Archive for Mathematical Logic 49 (4):491-500.
The Measurement of Ranks and the Laws of Iterated Contraction.Wolfgang Spohn & Matthias Hild - 2008 - Artificial Intelligence 172 (10):1195-1218.
Model theory under the axiom of determinateness.Mitchell Spector - 1985 - Journal of Symbolic Logic 50 (3):773-780.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev - 1997 - Annals of Pure and Applied Logic 85 (3):193-242.
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.
Iterated Modalities, Meaning and A Priori Knowledge.Dominic Gregory - 2011 - Philosophers' Imprint 11.
Applications of Iterated Perfect Set Forcing.Marcia J. Groszek - 1990 - Journal of Symbolic Logic 55 (1):360-361.

Analytics

Added to PP
2014-01-17

Downloads
24 (#639,942)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.
Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.

View all 85 citations / Add more citations

References found in this work

Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.

Add more references