3 results
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 29 October 2021, pp. 1283-1300
- Print publication:
- September 2022
-
- Article
- Export citation
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 03 February 2021, pp. 1228-1258
- Print publication:
- September 2021
-
- Article
- Export citation
CLOSURE OPERATORS, FRAMES AND NEATEST REPRESENTATIONS
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 96 / Issue 3 / December 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 361-373
- Print publication:
- December 2017
-
- Article
-
- You have access
- Export citation