Tag Archives: Saul Kripke

The theory of universal algebras was well-developed in the twentieth century. [It] provides a basis for model theory, and [provides] an abstract understanding of familiar principles of induction, recursion, and freeness. The theory of coalgebras is considerably [less] developed. Coalgebras … Continue reading

Quote | Posted on by | Tagged , , , , , , , , , , , , | Leave a comment