Jakub Rydval

activity

20202026

most citedUniversal Horn Sentences and the Joint Embedding Property

2 citations · 3 across the 7 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Deciding Amalgamation Beyond Arity Two: The Semantic Horn Case

Jakub Rydval

We study the amalgamation decision problem (ADP): given a universal first-order sentence $Φ$ , decide whether the class $fm (Φ)$ of its finite models has the amalgamation pr…

cs.LO2026

The Polynomial Hierarchy and $ω$ -categorical CSPs

Santiago Guzmán Pro, Jakub Rydval

In 2008, Bodirsky and Grohe showed that for every $Π_{n}^{P}$ -level of the Polynomial Hierarchy (PH) there are $ω$ -categorical Constraint Satisfaction Problems (CSPs) comple…

Deciding Amalgamation Beyond Arity Two: The Semantic Horn Case

The Polynomial Hierarchy and ω-categorical CSPs

The Polynomial Hierarchy and $ω$ -categorical CSPs