A Boolean model of ultrafilters

Annals of Pure and Applied Logic 99 (1-3):231-239 (1999)
  Copy   BIBTEX

Abstract

We introduce the notion of Boolean measure algebra. It can be described shortly using some standard notations and terminology. If B is any Boolean algebra, let BN denote the algebra of sequences , xn B. Let us write pk BN the sequence such that pk = 1 if i K and Pk = 0 if k < i. If x B, denote by x* BN the constant sequence x* = . We define a Boolean measure algebra to be a Boolean algebra B with an operation μ:BN → B such that μ = 0 and μ = x. Any Boolean measure algebra can be used to model non-principal ultrafilters in a suitable sense. Also, we can build effectively the initial Boolean measure algebra. This construction is related to the closed open Ramsey Theorem 193–198.)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Ultrafilters on ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Ultrafilters on $omega$.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Ultrafilters which extend measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
A characterization of 2-square ultrafilters.Ned I. Rosen - 1983 - Journal of Symbolic Logic 48 (2):409-414.
On the number of ultrafilters of an infinite boolean algebra.D. C. Makinson - 1969 - Mathematical Logic Quarterly 15 (7‐12):121-122.
Forcing and stable ordered–union ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
Two applications of Boolean models.Thierry Coquand - 1998 - Archive for Mathematical Logic 37 (3):143-147.
Free Boolean algebras and nowhere dense ultrafilters.Aleksander Błaszczyk - 2004 - Annals of Pure and Applied Logic 126 (1-3):287-292.

Analytics

Added to PP
2014-01-16

Downloads
27 (#506,730)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Intuitionistic choice and classical logic.Thierry Coquand & Erik Palmgren - 2000 - Archive for Mathematical Logic 39 (1):53-74.

Add more citations

References found in this work

Lectures on Boolean Algebras.Paul R. Halmos - 1966 - Journal of Symbolic Logic 31 (2):253-254.
Borel sets and Ramsey's theorem.Fred Galvin & Karel Prikry - 1973 - Journal of Symbolic Logic 38 (2):193-198.
La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Intuitionistic choice and classical logic.Thierry Coquand & Erik Palmgren - 2000 - Archive for Mathematical Logic 39 (1):53-74.

View all 6 references / Add more references