11 found
Sort by:
  1. Steven Givant (2003). Inequivalent Representations of Geometric Relation Algebras. Journal of Symbolic Logic 68 (1):267-310.
    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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Steven Givant & Hajnal Andreka (2002). Groups and Algebras of Binary Relations. Bulletin of Symbolic Logic 8 (1):38-64.
    In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jonsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if one (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Steven Givant (1999). Universal Classes of Simple Relation Algebras. Journal of Symbolic Logic 64 (2):575-589.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Alfred Tarski & Steven Givant (1999). Tarski's System of Geometry. Bulletin of Symbolic Logic 5 (2):175-214.
    This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon (1998). Notions of Density That Imply Representability in Algebraic Logic. Annals of Pure and Applied Logic 91 (2-3):93-190.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Hajnal Andréka, Steven Givant & István Németi (1995). Perfect Extensions and Derived Algebras. Journal of Symbolic Logic 60 (3):775-796.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Hajnal Andréka, Steven Givant & István Németi (1994). The Lattice of Varieties of Representable Relation Algebras. Journal of Symbolic Logic 59 (2):631-661.
    We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Steven Givant & Saharon Shelah (1994). Universal Theories Categorical in Power and Κ-Generated Models. Annals of Pure and Applied Logic 69 (1):27-51.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Steven Givant (1986). Bibliography of Alfred Tarski. Journal of Symbolic Logic 51 (4):913-941.
  10. Steven Givant (1979). A Representation Theorem for Universal Horn Classes Categorical in Power. Annals of Mathematical Logic 17 (1-2):91-116.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Steven Givant (1978). Universal Horn Classes Categorical or Free in Power. Annals of Mathematical Logic 15 (1):1-53.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation