Other Versions
No versions found
My notes
Similar books and articles
F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14. - Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50. - Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86. - Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. [REVIEW]M. E. Szabo -1981 -Journal of Symbolic Logic 46 (1):158-161.
F. William Lawvere. An elementary theory of the category of sets. Proceedings of the National Academy of Sciences, vol. 52 , pp. 1506–1511. [REVIEW]Calvin C. Elgot -1972 -Journal of Symbolic Logic 37 (1):191-192.
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. [REVIEW]Calvin C. Elgot -1974 -Journal of Symbolic Logic 39 (2):340-341.
"An Elementary Theory of the Category of Sets," de F. William Lawvere. [REVIEW]Florencio GonzÁlez Asenjo -1969 -Cuadernos de Filosofía 9 (12):339.
A universal approach to self-referential paradoxes, incompleteness and fixed points.Noson S. Yanofsky -2003 -Bulletin of Symbolic Logic 9 (3):362-386.
F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla 1965, edited by S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl, Springer-Verlag New York Inc., New York 1966, pp. 1–20. [REVIEW]Calvin C. Elgot -1974 -Journal of Symbolic Logic 39 (2):341.
William W. Boone, Frank B. Cannonito, and Roger C. Lyndon. Introduction. Word problems, Decision problems and the Burnside problem in group theory, edited by W. W. Boone, F. B. Cannonito, and R. C. Lyndon, Studies in logic and the foundations of mathematics, vol. 71, North-Holland Publishing Company, Amsterdam and London1973, pp. ix–xii. [REVIEW]C. R. J. Clapham -1976 -Journal of Symbolic Logic 41 (4):785-788.
Review: William C. Schutz, FIRO, A Three-Dimensional Theory of Interpersonal Behavior. [REVIEW]Alonzo Church -1959 -Journal of Symbolic Logic 24 (3):216-217.
Analytics
Added to PP
2015-02-05
Downloads
19 (#1,173,526)
6 months
2 (#1,369,059)
2015-02-05
Downloads
19 (#1,173,526)
6 months
2 (#1,369,059)
Historical graph of downloads
How can I increase my downloads?Citations of this work
Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon -2015 -Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-sq5lk uwo