Logichard
0:00.0

Let Σ\Sigma be a signature consisting of a single binary relation RR. Consider the first-order sentence: ψ=x!yR(x,y)\psi = \forall x \exists! y \, R(x, y) where !y\exists! y denotes "there exists a unique yy". How many distinct models of ψ\psi of domain size 3 exist up to isomorphism?