Steven Givant

18 papers Journal 17
YearRankTypeTitle / Venue / Authors
2020 J jnl
Nonrepresentable Relation Algebras from Groups.
Rev. Symb. Log.
Hajnal Andréka, István Németi, Steven Givant
2019 J jnl
Nonrepresentable Relation Algebras from Groups - addendum.
Rev. Symb. Log.
Hajnal Andréka, István Németi, Steven Givant
2018 J jnl
A representation theorem for measurable relation algebras.
Ann. Pure Appl. Log.
Steven Givant, Hajnal Andréka
2018 J jnl
The Variety of coset Relation Algebras.
J. Symb. Log.
Steven Givant, Hajnal Andréka
2017 J jnl
On Tarski's Axiomatic Foundations of the Calculus of Relations.
J. Symb. Log.
Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi
2011 J jnl
V*-Algebras, Independence Algebras and Logic.
Int. J. Algebra Comput.
João Araújo, Mário J. Edmundo, Steven Givant
2006 J jnl
The Calculus of Relations as a Foundation for Mathematics.
J. Autom. Reason.
Steven Givant
2003 J jnl
Inequivalent representations of geometric relation algebras.
J. Symb. Log.
Steven Givant
2002 J jnl
Groups and algebras of nary relations.
Bull. Symb. Log.
Steven Givant, Hajnal Andréka
1999 J jnl
Tarski's system of geometry.
Bull. Symb. Log.
Alfred Tarski, Steven Givant
1999 J jnl
Universal Classes of Simple Relation Algebras.
J. Symb. Log.
Steven Givant
1998 J jnl
Notions of Density That Imply Representability in Algebraic Logic.
Ann. Pure Appl. Log.
Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon
1997 — book
Decision problems for equational theories of relation algebras.
Hajnal Andréka, Steven Givant, István Németi
1995 J jnl
Perfect Extensions and Derived Algebras.
J. Symb. Log.
Hajnal Andréka, Steven Givant, István Németi
1994 J jnl
The Lattice of Varieties of Representable Relation Algebras.
J. Symb. Log.
Hajnal Andréka, Steven Givant, István Németi
1994 J jnl
Universal Theories Categorical in Power and kappa-Generated Models.
Ann. Pure Appl. Log.
Steven Givant, Saharon Shelah
1986 J jnl
Bibliography of Alfred Tarski.
J. Symb. Log.
Steven Givant
1975 J jnl
Possible cardinalities of irredundant bases for finite closure structures.
Discret. Math.
Steven Givant