The theory of Boolean ultrapowers

Annals of Mathematical Logic 2 (3):297-323 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(71)90017-9

Links

PhilArchive



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

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

Scott incomplete Boolean ultrapowers of the real line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Δ1 Ultrapowers are totally rigid.T. G. McLaughlin - 2007 - Archive for Mathematical Logic 46 (5-6):379-384.
Filtral powers of structures.P. Ouwehand & H. Rose - 1998 - Journal of Symbolic Logic 63 (4):1239-1254.
Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
Boolean relation theory notes.Harvey Friedman - manuscript
Boolean-valued set theory and forcing.Richard Mansfield & John Dawson - 1976 - Synthese 33 (2-4):223 - 252.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Generalized Prikry forcing and iteration of generic ultrapowers.Hiroshi Sakai - 2005 - Mathematical Logic Quarterly 51 (5):507-523.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.
P ≠ NP for all infinite Boolean algebras.Mihai Prunescu - 2003 - Mathematical Logic Quarterly 49 (2):210-213.

Analytics

Added to PP
2014-01-17

Downloads
14 (#961,492)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sheaves of structures and generalized ultraproducts.David P. Ellerman - 1974 - Annals of Mathematical Logic 7 (2):163.
Two arguments against the generic multiverse.Toby Meadows - forthcoming - Review of Symbolic Logic:1-33.
Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.

View all 22 citations / Add more citations

References found in this work

Reduced Direct Products.T. Frayne, A. C. Morel & D. S. Scott - 1966 - Journal of Symbolic Logic 31 (3):506-507.
Ultraproducts and Elementary Classes.H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):357-358.
Ultraproducts and Saturated Models.H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (4):584-585.
Ultraproducts in the Theory of Models.Simon Kochen - 1962 - Journal of Symbolic Logic 27 (3):355-357.
Algebraic Treatment of the Notion of Satisfiability.H. Rasiowa & R. Sikorski - 1955 - Journal of Symbolic Logic 20 (1):78-80.

Add more references