2 citations · 3 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Finitely Bounded Homogeneity Turned Inside-Out
Jakub Rydval
Deciding the amalgamation property for a given class of finite structures is an important subroutine in classifying countable finitely homogeneous structures. We study the computat…
cs.LO2021★ 2 cited
Universal Horn Sentences and the Joint Embedding Property
Manuel Bodirsky, Jakub Rydval, André Schrottenloher
The finite models of a universal sentence in a finite relational signature are the age of a structure if and only if has the joint embedding property. We prove that the com…