Steven Givant

Available identifiers

zbMath Open givant.steven-rWikidataQ102186418 ScholiaQ102186418MaRDI QIDQ800350

List of research outcomes

Publication	Date of Publication	Type
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS	2021-05-11	Paper
A representation theorem for measurable relation algebras with cyclic groups	2019-05-06	Paper
THE VARIETY OF COSET RELATION ALGEBRAS	2019-01-04	Paper
A representation theorem for measurable relation algebras	2018-10-04	Paper
Relation algebras and groups	2018-07-16	Paper
Coset relation algebras	2018-07-16	Paper
Coset relation algebras	2018-04-01	Paper
Relation algebras and groups	2018-03-30	Paper
Advanced Topics in Relation Algebras	2017-09-28	Paper
Introduction to Relation Algebras	2017-09-28	Paper
Simple Relation Algebras	2017-09-28	Paper
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS	2017-09-27	Paper
Duality Theories for Boolean Algebras with Operators	2014-06-04	Paper
Functionally dense relation algebras	2012-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q2894720	2012-06-30	Paper
v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC	2012-01-11	Paper
Introduction to Boolean Algebras	2008-10-30	Paper
The calculus of relations as a foundation for mathematics	2007-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q5692428	2005-09-28	Paper
Inequivalent representations of geometric relation algebras	2004-03-25	Paper
Groups and Algebras of Binary Relations	2002-07-24	Paper
The preservation of Sahlqvist equations in completions of Boolean algebras with operators	2001-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4516983	2000-11-20	Paper
Tarski's System of Geometry	2000-03-13	Paper
Notions of density that imply representability in algebraic logic	2000-02-15	Paper
Unifying threads in Alfred Tarski's work	1999-10-11	Paper
Universal classes of simple relation algebras	1999-09-12	Paper
Persistent properties and an application to algebras of logic	1998-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4384471	1998-04-26	Paper
Decision problems for equational theories of relation algebras	1997-12-07	Paper
Perfect extensions and derived algebras	1996-06-19	Paper
Universal theories categorical in power and \(\kappa\)-generated models	1994-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4305489	1994-09-13	Paper
The lattice of varieties of representable relation algebras	1994-08-15	Paper
The Structure of Relation Algebras Generated by Relativizations	1994-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4277620	1994-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4040000	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4011716	1992-09-27	Paper
A portrait of Alfred Tarski	1991-01-01	Paper
Bibliography of Alfred Tarski	1986-01-01	Paper
Model complete universal Horn classes	1983-01-01	Paper
The number of non-isomorphic denumerable models of certain universal Horn classes	1981-01-01	Paper
Union decompositions and universal classes categorical in power	1980-01-01	Paper
A representation theorem for universal horn classes categorical in power	1979-01-01	Paper
Universal horn classes categorical or free in power	1978-01-01	Paper
Possible cardinalities of irredundant bases for finite closure structures	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steven Givant