Steven Givant

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2020

Nonrepresentable Relation Algebras from Groups.

Hajnal Andréka, István Németi, Steven Givant

Rev. Symb. Log., 2020

2019

Nonrepresentable Relation Algebras from Groups - addendum.

Hajnal Andréka, István Németi, Steven Givant

Rev. Symb. Log., 2019

2018

The Variety of coset Relation Algebras.

Steven Givant, Hajnal Andréka

J. Symb. Log., 2018

A representation theorem for measurable relation algebras.

Steven Givant, Hajnal Andréka

Ann. Pure Appl. Log., 2018

2017

On Tarski's Axiomatic Foundations of the Calculus of Relations.

Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi

J. Symb. Log., 2017

2011

V*-Algebras, Independence Algebras and Logic.

João Araújo, Mário J. Edmundo, Steven Givant

Int. J. Algebra Comput., 2011

2006

The Calculus of Relations as a Foundation for Mathematics.

Steven Givant

J. Autom. Reason., 2006

2003

Inequivalent representations of geometric relation algebras.

Steven Givant

J. Symb. Log., 2003

2002

Groups and algebras of nary relations.

Steven Givant, Hajnal Andréka

Bull. Symb. Log., 2002

1999

Universal Classes of Simple Relation Algebras.

Steven Givant

J. Symb. Log., 1999

Tarski's system of geometry.

Alfred Tarski, Steven Givant

Bull. Symb. Log., 1999

1998

Notions of Density That Imply Representability in Algebraic Logic.

Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon

Ann. Pure Appl. Log., 1998

1997

Decision problems for equational theories of relation algebras.

Hajnal Andréka, Steven Givant, István Németi

Memoirs of the American Mathematical Society 126, American Mathematical Society, ISBN: 978-0-8218-0595-4, 1997

1995

Perfect Extensions and Derived Algebras.

Hajnal Andréka, Steven Givant, István Németi

J. Symb. Log., 1995

1994

The Lattice of Varieties of Representable Relation Algebras.

Hajnal Andréka, Steven Givant, István Németi

J. Symb. Log., 1994

Universal Theories Categorical in Power and kappa-Generated Models.

Steven Givant, Saharon Shelah

Ann. Pure Appl. Log., 1994

1986

Bibliography of Alfred Tarski.

Steven Givant

J. Symb. Log., 1986

1975

Possible cardinalities of irredundant bases for finite closure structures.

Steven Givant

Discret. Math., 1975