A representation theorem for measurable relation algebras

&
Annals of Pure and Applied Logic 169 (11):1117-1189 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.06.002

Links

PhilArchive



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

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

Canonical Relativized Cylindric Set Algebras and Weak Associativity.Roger D. Maddux - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 313-345.
Non-representable relation algebras from vector spaces.Ian Hodkinson - 2020 - Australasian Journal of Logic 17 (2):82-109.
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.
Algebraically closed MV-algebras and their sheaf representation.Antonio Di Nola, Anna R. Ferraioli & Giacomo Lenzi - 2013 - Annals of Pure and Applied Logic 164 (3):349-355.
Andrkka, H., Givant, S., Mikulb, S., Ntmeti, I. and Simon, A.C. Butz, P. Johnstone, J. Gallier, J. D. Hamkins, B. Khoussaiuov, H. Lombardi & C. Raffalli - 1998 - Annals of Pure and Applied Logic 91 (1):271.
Regular opens in constructive topology and a representation theorem for overlap algebras.Francesco Ciraulo - 2013 - Annals of Pure and Applied Logic 164 (4):421-436.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Perfect measurable spaces.G. Koumoullis - 1986 - Annals of Pure and Applied Logic 30 (3):219.
Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)].Eduardo J. Dubuc - 2012 - Annals of Pure and Applied Logic 163 (9):1358.

Analytics

Added to PP
2018-06-21

Downloads
27 (#577,411)

6 months
8 (#505,039)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Relation Algebras by Games.I. Hodkinson & Robin Hirsch - 2004 - Studia Logica 77 (1):139-141.
Complete Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.

View all 6 references / Add more references