18 found
Order:
Disambiguations
Steven Givant [17]Steven R. Givant [2]
  1.  33
    A Formalization of Set Theory Without Variables.Alfred Tarski & Steven R. Givant - 1987
  2. Tarski's System of Geometry.Alfred Tarski & Steven Givant - 1999 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  3. Logic as Algebra.Paul R. Halmos & Steven R. Givant - 1998
     
    Export citation  
     
    Bookmark   6 citations  
  4.  17
    Notions of Density That Imply Representability in Algebraic Logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.
    Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Introduction to Boolean Algebras. Undergraduate Texts in Mathematics.Steven Givant & Paul Halmos - 2010 - Bulletin of Symbolic Logic 16 (2):281-282.
  6.  60
    Bibliography of Alfred Tarski.Steven Givant - 1986 - Journal of Symbolic Logic 51 (4):913-941.
  7.  10
    Universal Horn Classes Categorical or Free in Power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
  8.  33
    The Lattice of Varieties of Representable Relation Algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  16
    A Representation Theorem for Measurable Relation Algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - 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 (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  23
    Universal Classes of Simple Relation Algebras.Steven Givant - 1999 - Journal of Symbolic Logic 64 (2):575-589.
  12.  10
    The Variety of Coset Relation Algebras.Steven Givant & Hajnal Andréka - 2018 - Journal of Symbolic Logic 83 (4):1595-1609.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    On Tarski’s Axiomatic Foundations of the Calculus of Relations.Hajnal Andréka, Steven Givant, Peter Jipsen & István Németi - 2017 - Journal of Symbolic Logic 82 (3):966-994.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    A Representation Theorem for Universal Horn Classes Categorical in Power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
  15.  3
    Nonrepresentable Relation Algebras From Groups - Addendum.Hajnal Andréka, István Németi & Steven Givant - 2019 - Review of Symbolic Logic 12 (4):892-892.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  4
    Universal Theories Categorical in Power and Κ-Generated Models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
    We investigate a notion called uniqueness in power κ that is akin to categoricity in power κ, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for universal theories T, that if T is κ-unique for one uncountable κ, then it is κ-unique for every uncountable κ; in particular, it is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  24
    Perfect Extensions and Derived Algebras.Hajnal Andréka, Steven Givant & István Németi - 1995 - Journal of Symbolic Logic 60 (3):775-796.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  18.  26
    Inequivalent Representations of Geometric Relation Algebras.Steven Givant - 2003 - 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 (9 more)  
     
    Export citation  
     
    Bookmark