RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES

DOI10.1017/jsl.2021.19OpenAlexW3128130048MaRDI QIDQ5015731

Robert Egrot

Publication date: 9 December 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.00202

zbMATH Keywords

graph colouringsharmonious colouringsrepresentable posetsdisjoint union partial algebrasfirst-order axiomatisabilitygenerating recursive axiomatisations

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representable posets
• Completely representable lattices
• Relation algebras by games
• The class of prime semilattices is not finitely axiomatizable
• No finite axiomatizations for posets embeddable into distributive lattices
• Embedding ordered sets into distributive lattices
• Every two elementarily equivalent models have isomorphic ultrapowers
• On the definition of distributive semilattices
• Representability is not decidable for finite relation algebras
• On the Representation of α-Complete Boolean Algebras
• Graph Theory and Probability
• On the Harmonious Coloring of Graphs
• Distributive partially ordered sets
• Reduced direct products
• On the representation of α-complete lattices
• The First Order Theory of N-Colorable Graphs
• REPRESENTATION OF POSETS
• CLOSURE OPERATORS, FRAMES AND NEATEST REPRESENTATIONS
• Recursive axiomatizations for representable posets
• Disjoint-union partial algebras
• Non-elementary classes of representable posets
• A Representation Theory for Prime and Implicative Semilattices
• Atomic compactness and graph theory
• Boolean Rings with Isomorphisms Preserving Suprema and Infima
• The Theory of Representation for Boolean Algebras
• Representations of Lattices by Sets
• On the representation of 𝜎-complete Boolean algebras
• On the representation of Boolean algebras as fields of sets
• Representation of partially ordered sets
• Weakly distributive semilattices

This page was built for publication: RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES