Recursive axiomatisations from separation properties

From MaRDI portal

Publication:6321264

Jump to:navigation, search

DOI10.1017/JSL.2021.19zbMath1509.03118arXiv1907.00202MaRDI QIDQ6321264

Robert Egrot

Publication date: 29 June 2019

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Partial algebras (08A55) Applications of model theory (03C98) Higher-order logic (03B16)

This page was built for publication: Recursive axiomatisations from separation properties

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6321264&oldid=35915229"