Observational ultraproducts of polynomial coalgebras
- 15 October 2003
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 123 (1-3) , 235-290
- https://doi.org/10.1016/s0168-0072(03)00038-1
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- What is the coalgebraic analogue of Birkhoff's variety theorem?Theoretical Computer Science, 2001
- From Varieties of Algebras to Covarieties of CoalgebrasElectronic Notes in Theoretical Computer Science, 2001
- Towards a Duality Result in Coalgebraic Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- Structural Induction and Coinduction in a Fibrational SettingInformation and Computation, 1998
- Covarieties and Complete CovarietiesElectronic Notes in Theoretical Computer Science, 1998
- Fibrations, Logical Predicates and IndeterminatesDAIMI Report Series, 1993
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Identities in CategoriesCanadian Mathematical Bulletin, 1972
- Quasiprimitive subcategoriesMathematische Annalen, 1970
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935