Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Projective Chromatic Numbers
Adrian Rettich, Luke Serafin
We extend classical notions of definable colourability of graphs to the general projective setting and investigate whether known results, mainly about the dichotomy and the $…
math.LO2026
Funicular preorders can be prelinearized without nonprincipal ultrafilters over
Azul Fatalini, Luke Serafin
It is a consequence of the axiom of choice that every preorder can be extended to a total preorder while respecting the strict preorder relation. We call such an extension a prelin…