Which of the following is true of the canonical model for NJ? Choose all that apply, and none that don't.

Question

Accepted Answer

For any point   x  in the canonical model   M , and any sentence   A , we have   M(A, x) = \mathbf{Y}  if and only if   A  is a member of   x .

Accepted Answer

Given any intuitionistically invalid argument, the canonical model provides a counterexample to that argument.

Accepted Answer

The points in the model are certain sets of sentences.

Accepted Answer

For any points   x  and   y  in the model, we have   x R y  if and only if   x \subseteq y .

Crowdly