A Boolean model of ultrafilters

DOI10.1016/S0168-0072(99)00006-8zbMath0930.03042MaRDI QIDQ1304549

Thierry Coquand

Publication date: 22 September 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Boolean algebraconstructive mathematicsBoolean modelsBoolean measure algebraclosed open Ramsey Theoremnonprincipal ultrafilters

Mathematics Subject Classification ID

Ramsey theory (05D10) Other constructive mathematics (03F65) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (1)

Forcing in Proof Theory

Cites Work

• Stone-Čech compactification of locales. II
• A globalization of the Hahn-Banach theorem
• Constructivism in mathematics. An introduction. Volume II
• La logique des topos
• Constructive Sheaf Semantics
• Minimal invariant spaces in formal topology
• Borel sets and Ramsey's theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Boolean model of ultrafilters