A constructive version of Birkhoff's theorem

DOI10.1002/MALQ.200710023zbMath1136.03041OpenAlexW1990022946MaRDI QIDQ5448613

Jesper Carlström

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710023

zbMATH Keywords

varietyuniversal algebrapredicativity

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Unnamed Item

This page was built for publication: A constructive version of Birkhoff's theorem