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 _ { \mathc
76 KB (11,425 words) - 02:12, 15 February 2024