Steven Givant

According to our database1, Steven Givant authored at least 18 papers between 1975 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Nonrepresentable Relation Algebras from Groups.
Rev. Symb. Log., 2020

2019
Nonrepresentable Relation Algebras from Groups - addendum.
Rev. Symb. Log., 2019

2018
The Variety of coset Relation Algebras.
J. Symb. Log., 2018

A representation theorem for measurable relation algebras.
Ann. Pure Appl. Log., 2018

2017
On Tarski's Axiomatic Foundations of the Calculus of Relations.
J. Symb. Log., 2017

2011
V*-Algebras, Independence Algebras and Logic.
Int. J. Algebra Comput., 2011

2006
The Calculus of Relations as a Foundation for Mathematics.
J. Autom. Reason., 2006

2003
Inequivalent representations of geometric relation algebras.
J. Symb. Log., 2003

2002
Groups and algebras of nary relations.
Bull. Symb. Log., 2002

1999
Universal Classes of Simple Relation Algebras.
J. Symb. Log., 1999

Tarski's system of geometry.
Bull. Symb. Log., 1999

1998
Notions of Density That Imply Representability in Algebraic Logic.
Ann. Pure Appl. Log., 1998

1997
Decision problems for equational theories of relation algebras.
Memoirs of the American Mathematical Society 126, American Mathematical Society, ISBN: 978-0-8218-0595-4, 1997

1995
Perfect Extensions and Derived Algebras.
J. Symb. Log., 1995

1994
The Lattice of Varieties of Representable Relation Algebras.
J. Symb. Log., 1994

Universal Theories Categorical in Power and kappa-Generated Models.
Ann. Pure Appl. Log., 1994

1986
Bibliography of Alfred Tarski.
J. Symb. Log., 1986

1975
Possible cardinalities of irredundant bases for finite closure structures.
Discret. Math., 1975


  Loading...