
On sets of first-order formulas axiomatizing representable relation algebras
Author(s) -
Jeremy F. Alm
Publication year - 2020
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31274/rtd-20201023-8
Subject(s) - relation (database) , order (exchange) , mathematics , calculus (dental) , algebra over a field , pure mathematics , computer science , data mining , medicine , business , dentistry , finance