FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH

Suggested Citation

Egrot R.O.B., Hirsch R. FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH. Journal of Symbolic Logic Vol.87 No.3 (2022) , 1283-1300. 1300. doi:10.1017/jsl.2021.88 Retrieved from: https://repository.li.mahidol.ac.th/handle/123456789/83429

Availability

Collections