Steven R. Givant

From MaRDI portal
(Redirected from Person:800350)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Nonrepresentable relation algebras from groups
The Review of Symbolic Logic
2021-05-11Paper
A representation theorem for measurable relation algebras with cyclic groups
Transactions of the American Mathematical Society
2019-05-06Paper
A representation theorem for measurable relation algebras with cyclic groups
Transactions of the American Mathematical Society
2019-05-06Paper
The variety of coset relation algebras
Journal of Symbolic Logic
2019-01-04Paper
The variety of coset relation algebras
Journal of Symbolic Logic
2019-01-04Paper
A representation theorem for measurable relation algebras
Annals of Pure and Applied Logic
2018-10-04Paper
A representation theorem for measurable relation algebras
Annals of Pure and Applied Logic
2018-10-04Paper
Relation algebras and groups
Algebra Universalis
2018-07-16Paper
Coset relation algebras
Algebra Universalis
2018-07-16Paper
Coset relation algebras
Algebra Universalis
2018-07-16Paper
Coset relation algebras
(available as arXiv preprint)
2018-04-01Paper
Relation algebras and groups
(available as arXiv preprint)
2018-03-30Paper
Advanced topics in relation algebras. Relation algebras. Volume 22017-09-28Paper
Introduction to Relation Algebras2017-09-28Paper
Simple relation algebras2017-09-28Paper
On Tarski's axiomatic foundations of the calculus of relations
Journal of Symbolic Logic
2017-09-27Paper
Duality Theories for Boolean Algebras with Operators
Springer Monographs in Mathematics
2014-06-04Paper
Functionally dense relation algebras
Algebra Universalis
2012-11-27Paper
Alfred Tarski, a kaleidoscope of personal impressions
Roczniki Polskiego Towarzystwa Matematycznego. Seria II. Wiadomości Matematyczne
2012-06-30Paper
v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
International Journal of Algebra and Computation
2012-01-11Paper
Introduction to Boolean Algebras
Undergraduate Texts in Mathematics
2008-10-30Paper
The calculus of relations as a foundation for mathematics
Journal of Automated Reasoning
2007-05-03Paper
scientific article; zbMATH DE number 2209441 (Why is no real title available?)2005-09-28Paper
Inequivalent representations of geometric relation algebras
Journal of Symbolic Logic
2004-03-25Paper
Groups and Algebras of Binary Relations
The Bulletin of Symbolic Logic
2002-07-24Paper
The preservation of Sahlqvist equations in completions of Boolean algebras with operators
Algebra Universalis
2001-06-10Paper
scientific article; zbMATH DE number 1533634 (Why is no real title available?)2000-11-20Paper
Tarski's System of Geometry
The Bulletin of Symbolic Logic
2000-03-13Paper
Notions of density that imply representability in algebraic logic
Annals of Pure and Applied Logic
2000-02-15Paper
Unifying threads in Alfred Tarski's work
The Mathematical Intelligencer
1999-10-11Paper
Universal classes of simple relation algebras
Journal of Symbolic Logic
1999-09-12Paper
Persistent properties and an application to algebras of logic
Algebra Universalis
1998-11-23Paper
scientific article; zbMATH DE number 1145122 (Why is no real title available?)1998-04-26Paper
Decision problems for equational theories of relation algebras
Memoirs of the American Mathematical Society
1997-12-07Paper
Perfect extensions and derived algebras
Journal of Symbolic Logic
1996-06-19Paper
Universal theories categorical in power and \(\kappa\)-generated models
Annals of Pure and Applied Logic
1994-11-03Paper
scientific article; zbMATH DE number 638616 (Why is no real title available?)1994-09-13Paper
The lattice of varieties of representable relation algebras
Journal of Symbolic Logic
1994-08-15Paper
The Structure of Relation Algebras Generated by Relativizations
Contemporary Mathematics
1994-05-26Paper
scientific article; zbMATH DE number 495963 (Why is no real title available?)1994-02-09Paper
scientific article; zbMATH DE number 193143 (Why is no real title available?)1993-06-05Paper
scientific article; zbMATH DE number 67028 (Why is no real title available?)1992-09-27Paper
A portrait of Alfred Tarski
The Mathematical Intelligencer
1991-01-01Paper
Bibliography of Alfred Tarski
Journal of Symbolic Logic
1986-01-01Paper
Model complete universal Horn classes
Algebra Universalis
1983-01-01Paper
The number of non-isomorphic denumerable models of certain universal Horn classes
Algebra Universalis
1981-01-01Paper
Union decompositions and universal classes categorical in power
Algebra Universalis
1980-01-01Paper
A representation theorem for universal horn classes categorical in power
Annals of Mathematical Logic
1979-01-01Paper
Universal horn classes categorical or free in power
Annals of Mathematical Logic
1978-01-01Paper
Possible cardinalities of irredundant bases for finite closure structures
Discrete Mathematics
1975-01-01Paper


Research outcomes over time


This page was built for person: Steven R. Givant