Given two structures 𝓜 and 𝓝 on the same domain, we say that 𝓝 is a reduct of 𝓜 if all ∅-definable relations of 𝓝 are ∅-definable in 𝓜. In this article the reducts of the Henson digraphs are ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback