Single axioms: With and without computers (Q2725955)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Single axioms: With and without computers |
scientific article; zbMATH DE number 1619749
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Single axioms: With and without computers |
scientific article; zbMATH DE number 1619749 |
Statements
1 November 2001
0 references
loop
0 references
Boolean algebras
0 references
group-like algebraic structures
0 references
survey
0 references
axiomatizability
0 references
lattice-like algebraic structures
0 references
single equational axioms
0 references
Single axioms: With and without computers (English)
0 references
This is a survey of results on the axiomatizability of group-like and lattice-like algebraic structures by single equational axioms, ranging from \textit{A. Tarski's} [Fundam. Math. 30, 253-256 (1938; Zbl 0019.05204)] to the author and \textit{R. Padmanabhan's} [Algebra Univers. 36, No. 4, 436-449 (1996; Zbl 0901.06006)] and including some recent computer-aided findings concerning Boolean algebras.NEWLINENEWLINEFor the entire collection see [Zbl 0959.00035].
0 references
0.8000708222389221
0 references
0.8000708222389221
0 references
0.7920641303062439
0 references
0.7862540483474731
0 references
