Search results
- is finite. For further extensions of this theorem to the case of integral points in arbitrary global fields see [[#References ...of rational points to Abelian varieties of any dimension (the Mordell–Weil theorem). In the 1960s there appeared the conjecture of Birch and Swinnerton-Dyer,24 KB (3,602 words) - 11:48, 26 March 2023
- ...n algebras (cf. [[Boolean algebra|Boolean algebra]]). The coordinatization theorem of [[Projective geometry|projective geometry]] implies that any Arguesian r ...>[a22]</TD> <TD valign="top"> B. Jónsson, "Modular lattices and Desargues' theorem" ''Math. Scand.'' , '''2''' (1954) pp. 295–314 {{MR|0067859}} {{ZBL|0056.29 KB (4,201 words) - 16:31, 9 December 2023
- A formula $\varphi$ is a theorem of $\mathcal{D}$ if $\vdash_{\mathcal{D}} \varphi$ (i.e., it is a consequen ...has a binary implication connective $\rightarrow$ for which the deduction theorem holds, then $\varphi \equiv \psi ( \operatorname { mod } \Lambda _ { \mathc76 KB (11,425 words) - 02:12, 15 February 2024