Talk:List of first-order theories

From Wikipedia, the free encyclopedia

You have new messages (last change).

In the definition of real closed fields, in the item that 0 is not a non-trivial sum of squares, shouldn't "a_1=0 or a_2=0 or...or a_n=0" read "a_1=0 and a_2=0 and ... and a_n = 0"? In this case, the "and" statement follows from the "or" statement, by virtue of the quantification "for every positive n" and the method of descent, but this seems like a pointless obfuscation, and I think "and" was meant. Do any experts want to weigh in? --OinkOink 00:19, 8 July 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../l/i/s/Talk%7EList_of_first-order_theories_4874.html"