What is the coalgebraic analogue of Birkhoff's variety theorem?

DOI10.1016/S0304-3975(00)00395-9zbMath0989.68099OpenAlexW1973536814MaRDI QIDQ5958779

Robert Goldblatt

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00395-9

zbMATH Keywords

coalgebrabisimulationobservable formulaobservationally rich filter

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Observational ultraproducts of polynomial coalgebras., Coalgebraic semantics of modal logics: an overview, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, A Calculus of Terms for Coalgebras of Polynomial Functors, Modal Rules are Co-Implications, A modal proof theory for final polynomial coalgebras, Some Co-Birkhoff Type Theorems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal coalgebra: A theory of systems
• Duality for some categories of coalgebras.
• Hidden coinduction: behavioural correctness proofs for objects
• An approach to object semantics based on terminal co-algebras