scientific article; zbMATH DE number 1064598

MaRDI QIDQ4355929zbMATH OpenFDO

Authors Ross Willard

Publication date 17 May 1998

zbMATH Keywords

decidabilityfinite axiomatizabilityfinitely generated varietiesresidual largenessresidual smallnesssurveyTarski finite basis problem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• Three lectures on the Borsuk partition problem
• scientific article; zbMATH DE number 4130864
• scientific article; zbMATH DE number 515369
• Three open problems and a conjecture
• Three lectures on real computation
• scientific article; zbMATH DE number 1277115
• Three lectures on Littlewood-Paley theory
• scientific article; zbMATH DE number 1222188
• scientific article; zbMATH DE number 2134943
• scientific article; zbMATH DE number 614605

Cited in

(3)

• Operator properties of congruence permutable varieties with strongly definable principal congruences.
• HSP\not = SHPS for commutative rings with identity
• THE TYPE SET OF A VARIETY IS NOT COMPUTABLE

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4355929)