scientific article; zbMATH DE number 436447

zbMATH Open0797.08006MaRDI QIDQ3139896FDOQ3139896

Authors: Horst Herrlich 

Publication date: 17 October 1994

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1993__34_3_185_0

Title of this publication is not available (Why is that?)

Recommendations

• On categorical equivalences of commutative BCK-algebras
• On an essentially algebraic theory for locally presentable categories
• scientific article; zbMATH DE number 3964130
• The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
• The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
• A local-global principle for small triangulated categories
• A categorical proof of the equivalence of local compactness of exponentiability in locale theory
• scientific article; zbMATH DE number 3967492
• scientific article; zbMATH DE number 918299
• scientific article; zbMATH DE number 438526

zbMATH Keywords

Birkhoff Variety Theoremsmall-based algebraic theory

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Equational categories (18C05) Varieties (08B99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Birkhoff theorem for finite algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• General Functorial Semantics, I
• Varieties of infinitary universal algebras
• Infinite Boolean polynomials I
• On the non-existence of free complete Boolean algebras
• On the nonexistence of free complete distributive lattices
• Structure-semantics relation for non-varietal equational theories
• One more categorical model of universal algebra
• A note on complete closure algebras
• Title not available (Why is that?)
• Large algebraic theories with small algebras
• REMARKS ON CATEGORIES OF ALGEBRAS DEFINED BY A PROPER CLASS OF OPERATIONS
• Algebraic theories and varieties of functor algebras

Cited In (2)

• Birkhoff's theorem from a geometric perspective: a simple example
• Title not available (Why is that?)

This page was built for publication:

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