F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 , pp. 869–872 [Book Review]

Journal of Symbolic Logic 39 (2):340-341 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272673

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: F. William Lawvere, Functional Semantics of Algebraic Theories. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):340-341.
Donald A. Martin and John R. Steel. Projective determinacy. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 , pp. 6582–6586. - W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 , pp. 6587–6591. - Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, vol. 2 , pp. 71–125. [REVIEW]Matthew D. Foreman - 1992 - Journal of Symbolic Logic 57 (3):1132-1136.
Boone William W.. The word problem. Proceedings of the National Academy of Sciences of the United States of America, vol. 44 no. 10 , pp. 1061–1065. [REVIEW]J. L. Britton - 1962 - Journal of Symbolic Logic 27 (2):241-242.
Cohen Paul J.. The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 , pp. 1143–1148, and vol. 51 , pp. 105–110. [REVIEW]William B. Easton - 1965 - Journal of Symbolic Logic 30 (3):398-403.
Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.
Proceedings of the National Academy of Sciences of the United States of America. [REVIEW]Stan Wagon - 2001 - Bulletin of Symbolic Logic 7 (4):537-538.
Control of eye movements and spatial attention.T. Moore & M. Fallah - 2001 - Proceedings of the National Academy of Sciences of the United States of America 98 (3):1273-1276.
Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
On the role of selective attention in visual perception.Steven J. Luck & Michelle Ford - 1998 - Proceedings of the National Academy of Sciences of the United States of America 95 (3):825-830.
Structure and function of declarative and nondeclarative memory systems.L. R. Squire & Stuart Zola - 1996 - Proceedings of the National Academy of Sciences of the United States of America 93 (24):13515-13522.
Rapid natural scene categorization in the near absence of attention.F. F. Li, R. VanRullen, C. Koch & P. Perona - 2002 - Proceedings of the National Academy of Sciences of the United States of America 99 (14):9596.
Wang Hao. The non-finitizability of impredicalive principles. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 , pp. 479–484. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (2):143-144.
Quine W. V.. On the consistency of “New foundations.” Proceedings of the National Academy of Sciences of the United States of America, vol. 37 , pp. 538–540. [REVIEW]Václav Edvard Beneš - 1952 - Journal of Symbolic Logic 17 (3):212-212.

Analytics

Added to PP
2016-06-30

Downloads
21 (#695,936)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references