{"id":"arxiv/2602.03391","url":"https://arxiv.org/abs/2602.03391","tags":["math.LO"],"score":0,"title":"Forcing and classes of $\\mathsf{HYP}$-dominating functions","domain":"math.LO","source":"arxiv","authors":["Noam Greenberg","Gian Marco Osso"],"reviews":0,"subject":"math.LO","summary":"We study the question, what computational power is sufficient to perform constructions using either Laver or Hechler forcing. As a result, we obtain a separation between three relativised non-lowness classes that are the computability-theoretic analogues of three of the cardinals in Cichon's diagram.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-03","reactions":{}}