Inequivalent representations of geometric relation algebras
Journal of Symbolic Logic 68 (1):267-310 (2003)
| Abstract | It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the numbers ${\mid Col(P)\mid\over {\mid Col(D)\mid/\mid Dil(D)\mid}}$ where D ranges over a list of the non-isomorphic affine geometries having P as their geometry at infinity. This formula is used to compute the number of inequivalent representations of relation algebras constructed over projective lines of order at most 10. For instance, the relation algebra constructed over the projective line of order 9 has 56,700 mutually inequivalent representations | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesSteven French (2012). Unitary Inequivalence as a Problem for Structural Realism. Studies in History and Philosophy of Science Part B 43 (2):121-136.
Steven Givant & Hajnal Andreka (2002). Groups and Algebras of Binary Relations. Bulletin of Symbolic Logic 8 (1):38-64.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Laura Ruetsche (2003). A Matter of Degree: Putting Unitary Inequivalence to Work. Philosophy of Science 70 (5):1329-1342.
L. Peter Belluce, Revaz Grigolia & Ada Lettieri (2005). Representations of Monadic MV -Algebras. Studia Logica 81 (1):123 - 144.
Rob Clifton & Hans Halvorson (2001). Are Rindler Quanta Real? Inequivalent Particle Concepts in Quantum Field Theory. British Journal for the Philosophy of Science 52 (3):417-470.
Rob Clifton & Hans Halvorson (2001). Are Rindler Quanta Real? Inequivalent Particle Concepts in Quantum Field Theory. British Journal for the Philosophy of Science 52 (3):417-470.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Robin Hirsch & Ian Hodkinson (1997). Step by Step-Building Representations in Algebraic Logic. Journal of Symbolic Logic 62 (1):225-279.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,507 of 556,888 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
