Publication:1918969

DOI10.1007/BF01197185zbMATH Open0860.20043OpenAlexW2073951277MaRDI QIDQ1918969FDOQ1918969

Sherman Stein

Publication date: 13 April 1997

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01197185

zbMATH Keywords

wordscongruenceslengthoperationsvalleysequationsidentitiesproofsdegreesfree semigroupsminimal reductionstroughsmountain proofsnumber of peaks

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Complexity of proofs (03F20) Equational logic, Mal'tsev conditions (08B05) Free semigroups, generators and relations, word problems (20M05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On theories with a combinatorial definition of 'equivalence'
• Idempotent Semigroups
• Undecidable properties of finite sets of equations
• Unending chess, symbolic dynamics and a problem in semi-groups
• Unsolvable problems for equational theories
• Semigroups satisfying identity xy=f(x,y)
• Semigroups satisfying \(xy=yg(x,y)x\)

Cited In (4)

• Title not available (Why is that?)
• A combinatorial analysis of Severi degrees
• Semigroup identities and proofs
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

This page was built for publication: The combinatorial degrees of proofs and equations

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