Is the first order theory of finite posets known to be undecidable? Does anyone know a survey about such results?
$\begingroup$
$\endgroup$
1
-
4$\begingroup$ I don’t know about a survey, but it’s certainly undecidable: for example, one can represent an undirected graph $(V,E)$ by the poset $V\mathbin{\dot\cup} E$ where each edge $e\in E$ is below its two endpoints. $\endgroup$– Emil JeřábekJan 27, 2015 at 17:20
Add a comment
|