{"id":"arxiv/2604.08365","url":"https://arxiv.org/abs/2604.08365","tags":["math.CO"],"score":0,"title":"Equivalences of promise compactness principles","domain":"math.CO","source":"arxiv","authors":["Bertalan Bodor"],"reviews":0,"subject":"math.CO","summary":"For a pair of finite relational structures $(\\mathfrak{A},\\mathfrak{B})$ such that $\\mathfrak{A}$ homomorphically maps to $\\mathfrak{B}$ we denote by $K_{(\\mathfrak{A},\\mathfrak{B})}$ the following statement: for all structures $\\mathfrak{I}$ with the same signature as $\\mathfrak{A}$ if all finite substructures of $\\mathfrak{I}$ homomorphically maps to $\\mathfrak{A}$ then $\\mathfrak{I}$ homomorphically maps to $\\mathfrak{B}$. In this article, we show that if $(\\mathfrak{A},\\mathfrak{B})$ has no Olšák polymorphism, then $K_{(\\mathfrak{A},\\mathfrak{B})}$ is equivalent to the ultrafilter…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-09","reactions":{}}