Guest Session: 1 Question Remaining. Create Account to save progress.
Login
Logichard
0:00.0

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