Words, free algebras, and coequalizers

DOI10.4064/fm-117-2-117-160zbMath0542.08005OpenAlexW814004361MaRDI QIDQ3329520

Andreas Blass

Publication date: 1983

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211359

zbMATH Keywords

free algebrasaxiom of choicevariety of algebrasBoolean toposcoequalizerstopos with natural numbers object

Mathematics Subject Classification ID

Topoi (18B25) Large cardinals (03E55) Free algebras (08B20) Axiom of choice and related propositions (03E25)

Related Items (5)

Well-foundedness in realizability ⋮ A class of higher inductive types in Zermelo‐Fraenkel set theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantics of higher inductive types

This page was built for publication: Words, free algebras, and coequalizers