HSP K is equational class, without the axiom of choice

DOI10.1007/BF02483831zbMath0492.03011WikidataQ114693504 ScholiaQ114693504MaRDI QIDQ1167715

Istvan Németi, Hajnalka Andréka

Publication date: 1981

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

zbMATH Keywords

closure operators

Mathematics Subject Classification ID

Consistency and independence results (03E35) Equational classes, universal algebra in model theory (03C05) Equational compactness (08A45)

Related Items (1)

Birkhoff's representation theorem is equivalent to the axiom of choice

Cites Work

• Unnamed Item

This page was built for publication: HSP K is equational class, without the axiom of choice