We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms

Abstract: We introduce new types of local algorithms, which we call "ASI Algorithms", and use them to demonstrate a link between descriptive and computable combinatorics. This allows us to unify arguments from the two fields, and also sometimes to port arguments from one field to the other. As an example, we generalize a computable combinatorics result of Kierstead and use it to get within one color of the Baire measurable analogue of Vizing's Theorem. We also improve Kierstead's result for multigraphs along the way.
Comments: 20 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
MSC classes: 05C70 (Primary) 03E15, 03D45
Cite as: arXiv:2206.08426 [math.LO]
  (or arXiv:2206.08426v1 [math.LO] for this version)

Submission history

From: Felix Weilacher [view email]
[v1] Thu, 16 Jun 2022 20:03:08 GMT (33kb)

Link back to: arXiv, form interface, contact.