RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731)
From MaRDI portal
scientific article; zbMATH DE number 7442026
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES |
scientific article; zbMATH DE number 7442026 |
Statements
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (English)
0 references
9 December 2021
0 references
first-order axiomatisability
0 references
generating recursive axiomatisations
0 references
representable posets
0 references
graph colourings
0 references
harmonious colourings
0 references
disjoint union partial algebras
0 references
