holomenicus

### Questions (5)

 2 How to write an implication whose antecedent quantifies a variable in its consequent? 2 What is the first order logic statement of “this field is of characteristic zero”? 2 Solve similar right triangles, given one's hypotenuse, the other's base, and the sum of their heights. 0 Continuation of a system of recursive finite differences 0 How to express a set of all subsets of another set each missing one member

### Reputation (181)

 +28 How to write an implication whose antecedent quantifies a variable in its consequent? +2 Prove $\sum_{\mathrm{cyc}} (\frac{a^2}{3bc}+\frac{a(b+c)}{b^2+c^2})\ge 4$ +20 What is the first order logic statement of “this field is of characteristic zero”? +10 Solve similar right triangles, given one's hypotenuse, the other's base, and the sum of their heights.

This user has not answered any questions

### Tags (15)

 0 first-order-logic × 2 0 elementary-set-theory 0 quantifiers × 2 0 dynamical-systems 0 logic-translation 0 ordinary-differential-equations 0 logic 0 linear-algebra 0 field-theory 0 finite-differences