✦ LIBER ✦

Single axioms for groups

✍ Scribed by Kenneth Kunen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Single axioms for groups and Abelian gro

✍ William W. McCune 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 753 KB

The shortest single axioms for groups of

✍ K. Kunen 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 862 KB

Group Axioms for Iteration

✍ Z Ésik 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 311 KB

Short Single Axioms for Boolean Algebra

✍ William McCune; Robert Veroff; Branden Fitelson; Kenneth Harris; Andrew Feist; L 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 103 KB

A single axiom for closure operations

✍ Paul De Witte 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 48 KB

Automated discovery of single axioms for

✍ W. McCune; R. Padmanabhan; M. A. Rose; R. Veroff 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 154 KB