Logichard
0:00.0
Let be a signature consisting of a single binary relation . Consider the first-order sentence:
where denotes "there exists a unique ". How many distinct models of of domain size 3 exist up to isomorphism?
Let be a signature consisting of a single binary relation . Consider the first-order sentence: where denotes "there exists a unique ". How many distinct models of of domain size 3 exist up to isomorphism?