Logic of Equality in Geometry

DOI10.1016/S0304-0208(08)73276-6zbMath0495.03015OpenAlexW136387056MaRDI QIDQ3958438

R. Padmanabhan

Publication date: 1982

Published in: North-Holland Mathematics Studies (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-0208(08)73276-6

zbMATH Keywords

algebraic groupdimension theoremequational deduction involving morphisms in complete varietiesequational derivations in algebras associated with geometriesrigidity lemmaset of inference rules

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Varieties and morphisms (14A10) Relevant commutative algebra (14A05)

Related Items

Automated reasoning about cubic curves, A Geometric Procedure with Prover9, Quasi-affine algebras