Steven Givant - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2020

Nonrepresentable Relation Algebras from GroupsHajnal Andréka, István Németi, Steven Givant. rsl, 13(4):861-881, 2020. [doi]

2019

Nonrepresentable Relation Algebras from Groups - addendumHajnal Andréka, István Németi, Steven Givant. rsl, 12(4):892, 2019. [doi]

2018

A representation theorem for measurable relation algebrasSteven Givant, Hajnal Andréka. APAL, 169(11):1117-1189, 2018. [doi]

The Variety of coset Relation AlgebrasSteven Givant, Hajnal Andréka. JSYML, 83(4):1595-1609, 2018. [doi]

2017

On Tarski's Axiomatic Foundations of the Calculus of RelationsHajnal Andréka, Steven Givant, Peter Jipsen, István Németi. JSYML, 82(3):966-994, 2017. [doi]

2011

V*-Algebras, Independence Algebras and LogicJoão Araújo 0002, Mário J. Edmundo, Steven Givant. ijac, 21(7):1237-1257, 2011. [doi]

2006

The Calculus of Relations as a Foundation for MathematicsSteven Givant. JAR, 37(4):277-322, 2006. [doi]

2003

Inequivalent representations of geometric relation algebrasSteven Givant. JSYML, 68(1):267-310, 2003.

2002

Groups and algebras of nary relationsSteven Givant, Hajnal Andréka. bsl, 8(1):38-64, 2002. [doi]

1999

Universal Classes of Simple Relation AlgebrasSteven Givant. JSYML, 64(2):575-589, 1999.

Tarski s system of geometryAlfred Tarski, Steven Givant. bsl, 5(2):175-214, 1999. [doi]

1998

Notions of Density That Imply Representability in Algebraic LogicHajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon. APAL, 91(2-3):93-190, 1998.

1997

Decision problems for equational theories of relation algebrasHajnal Andréka, Steven Givant, István Németi. Volume 126 of Memoirs of the American Mathematical Society, American Mathematical Society, 1997.

1995

Perfect Extensions and Derived AlgebrasHajnal Andréka, Steven Givant, István Németi. JSYML, 60(3):775-796, 1995.

1994

The Lattice of Varieties of Representable Relation AlgebrasHajnal Andréka, Steven Givant, István Németi. JSYML, 59(2):631-661, 1994.

Universal Theories Categorical in Power and kappa-Generated ModelsSteven Givant, Saharon Shelah. APAL, 69(1):27-51, 1994.

1986

Bibliography of Alfred TarskiSteven Givant. JSYML, 51(4):913-941, 1986.

1975

Possible cardinalities of irredundant bases for finite closure structuresSteven Givant. DM, 12(2):201-204, 1975. [doi]

Sign in or sign up to see more results.

runs on WebDSL