Boolean relation theory notes

Abstract

We give a detailed extended abstract reflecting what we know about Boolean relation theory. We follow this by a proof sketch of the main instances of Boolean relation theory, from Mahlo cardinals of finite order, starting at section 19. The proof sketch has been used in lectures.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Lecture notes on baby Boolean relation theory.Harvey Friedman - manuscript
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
The Independence of the Prime Ideal Theorem from the Order-Extension Principle.U. Felgner & J. K. Truss - 1999 - Journal of Symbolic Logic 64 (1):199-215.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Equational Boolean relation theory.Harvey Friedman - manuscript
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
The independence of the prime ideal theorem from the order-extension principle.U. Felgner & J. K. Truss - 1999 - Journal of Symbolic Logic 64 (1):199-215.
Some Boolean algebras with finitely many distinguished ideals II.Regina Aragón - 2003 - Mathematical Logic Quarterly 49 (3):260.
Two applications of Boolean models.Thierry Coquand - 1998 - Archive for Mathematical Logic 37 (3):143-147.
A construction of Boolean algebras from first-order structures.Sabine Koppelberg - 1993 - Annals of Pure and Applied Logic 59 (3):239-256.

Analytics

Added to PP
2009-01-28

Downloads
431 (#48,068)

6 months
431 (#4,588)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references