Differences

This shows you the differences between two versions of the page.

universal_formulas [2016/04/24 11:17]
jipsen
universal_formulas [2016/04/24 11:17] (current)
jipsen
Line 3: Line 3:
A list of universal formulas. A list of universal formulas.
-|at most $n$ elements  |$\forall x_0,\ldots,x_n(x_0=x_1\mbox{ or }x_0=x_2\mbox{ or }\ldots\mbox{ or }x_{n-1}=x_n)$  | +|at most $n$ elements  |$\forall x_0,\ldots,x_n\ (x_0=x_1\mbox{ or }x_0=x_2\mbox{ or }\ldots\mbox{ or }x_{n-1}=x_n)$  | 
-|integral  |$\forall x,y(x*y=0\implies x=0\mbox{ or }y=0$  |+|integral  |$\forall x,y\ (x*y=0\implies x=0\mbox{ or }y=0)$  |