Duality and Definability in First Order Logic PDF
by Michael Makkai
Description
Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic in which the dual of a theory is the category of its models with suitable additional structure.
This duality theory resembles and generali
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:American Mathematical Society
- Publication Date:01/01/1900
- Category:
- ISBN:9781470400804
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:American Mathematical Society
- Publication Date:01/01/1900
- Category:
- ISBN:9781470400804