A Birkhoff-like axiomatizability result for hidden algebra and coalgebra

Electronic Notes in Theoretical Computer Science

Volumn 11, Issue , 1998, Pages 176-193

  Roşu, Grigore ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGEBRA; CHARACTERIZATION; MATHEMATICAL MODELS; SEMANTICS; SORTING;

ALGEBRAIC LANGUAGES; COALGEBRAS; COPRODUCTS; MORPHISMS;

COMPUTER SCIENCE;

EID: 0003732883     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00058-1     Document Type: Article

References (22)

1. Andréka Hajnal, Németi István. A general axiomatizability theorem formulated in terms ofcone-injective subcategories. Csakany B., Fried E., Schmidt E.T. Universal Algebra. 1981;13-35 North-Holland. Colloquia Mathematics Societas János Bolyai, 29
2. Garrett Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433-454, 1935.
3. Rod Burstall and Rǎzvan Diaconescu. Hiding and behavior: an institutional approach. In William A. Roscoe, author, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 75-92. Prentice Hall, 1994.
4. Also Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992.
5. Corina Cîrstea. A semantical study of the object paradigm, 1996. Thesis submitted for transfer to DPhil status, University of Oxford.
6. Corina Cîrstea. Coalgebra semantics for hidden algebra: parameterized objects and inheritance, 1997. Paper presented at the 12th Workshop on Algebraic Development Techniques.
7. Andrea Corradini. A complete calculus for equational deduction in coalgebraic specification. Technical Report CS-R, CWI, 1997.
8. Virgil Emil Cǎzǎnescu and Grigore Roşu. Weak inclusion systems; part 2. In preparation; see www-cse.ucsd.edu/users/grosu/
9. Emil Cǎzǎnescu Virgil, Roşu Grigore. Weak inclusion systems. Mathematical Structures in Computer Science. 7:(2):1997
10. Rǎzvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularization. In Gerard Huet and Gordon Plotkin, authors, Logical Environments, pages 83-130. Cambridge, 1993.
11. Proceedings of a Workshop held in Edinburgh, Scotland, May 1991.
12. Joseph Goguen and Rǎzvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, authors, Proceedings, Tenth Workshop on Abstract Data Types, pages 1-29. Springer, 1994. Lecture Notes in Computer Science, Volume 785.
13. Joseph Goguen and Grant Malcolm. Extended abstract of a hidden agenda. In James, Alex Meystel, and Richard Quintero, authors, Proceedings, Conference on Intelligent Systems: A Semiotic Perspective, pages 159-167. National Inst. Standards and Technology, 1996. Gaithersberg MD, October 20-23.
14. Joseph Goguen and Grant Malcolm. A hidden agenda. Technical Report CS97-538, UCSD, Dept. Computer Science & Eng., May 1997.
15. Herrlich Horst, Strecker George. Category Theory. 1973;Allyn and Bacon
16. Hendrik Hilberdink. Inclusion systems, 1996. Unpublished paper.
17. Jacobs Bart. Mongruences and cofree coalgebras! Nivat Maurice. Algebraic Methodology and Software Technology (AMAST95). 1995;245-260 Springer. Lecture Notes in Computer Science, Volume 936.
18. Németi István. On notions of factorization systems and their applications to cone-injective subcategories. Periodica Mathematica, Hungarica. 13:(3):1982;229-335
19. Németi István, Sain Ildickó. Cone-implicational subcategories and some Birkhoff-type theorems. Csakany B., Fried E., Schmidt E.T. Universal Algebra. 1981;535-578 North-Holland. Colloquia Mathematics Societas János Bolyai, 29
20. Grigore Roşu. Axiomatizability in inclusive equational logic, 1996. Submitted to publication; see http://www-cse.ucsd.edu/users/grosu/.
21. J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, 1996.
22. James Worrell. A topos of hidden algebras. Technical Report PRG-TR-28-97, Programming Research Group, University of Oxford, 1997.