[FOM] Q

Bill Taylor W.Taylor at math.canterbury.ac.nz
Wed Sep 19 01:15:38 EDT 2007


Robinson's Q, does not prove commutativity.

Therefore, it must presumably have models where one or both of
additive or multiplicative commutativity fail.

Are there any "easy" models of this type?

Bill



More information about the FOM mailing list