SMALL MODELS OF THE HIGH SCHOOL IDENTITIES

DOI10.1142/S0218196792000104zbMath0773.03024OpenAlexW2019606936MaRDI QIDQ4039446

Simon C. K. Lee, Stanley N. Burris

Publication date: 1 June 1993

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196792000104

zbMATH Keywords

finite modelsequational theoryquotientshigh school identitiesWilkie's identitysmall countermodel

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) First-order arithmetic and fragments (03F30) Model theory of finite structures (03C13) Models of arithmetic and set theory (03C62) Axiomatic model classes (08C10)

Related Items (2)

Computers and universal algebra: Some directions ⋮ A note on HSI-algebras and counterexamples to Wilkie's identity

This page was built for publication: SMALL MODELS OF THE HIGH SCHOOL IDENTITIES