The Theories of Functors and Models

Journal of Symbolic Logic 36 (2):336-336 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270296

Links

PhilArchive



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

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: Peter Freyd, The Theories of Functors and Models. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-336.
EM constructions for a class of generalized quantifiers.Martin Otto - 1992 - Archive for Mathematical Logic 31 (5):355-371.
Programs, models, theories, and reality.Robert I. Damper - 2001 - Behavioral and Brain Sciences 24 (6):1055-1056.
Category theory and universal models: Adjoints and brain functors.David Ellerman - unknown
Living with the abstract: realism and models.Stathis Psillos - 2011 - Synthese 180 (1):3-17.
On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
1-based theories — the main gap for a -models.B. Hart, A. Pillay & S. Starchenko - 1995 - Archive for Mathematical Logic 34 (5):285-300.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Kripke models and the (in)equational logic of the second-order λ-calculus.Jean Gallier - 1997 - Annals of Pure and Applied Logic 84 (3):257-316.
Interdefinability of Lambekian functors.Wojciech Zielonka & W. Zielonka - 1992 - Mathematical Logic Quarterly 38 (1):501-507.
Models of non-well-founded sets via an indexed final coalgebra theorem.Benno van Den Berg & Federico de Marchi - 2007 - Journal of Symbolic Logic 72 (3):767-791.
Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem.Benno Van Den Berg & Federico De Marchi - 2007 - Journal of Symbolic Logic 72 (3):767 - 791.
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Theories with exactly three countable models and theories with algebraic prime models.Anand Pillay - 1980 - Journal of Symbolic Logic 45 (2):302-310.

Analytics

Added to PP
2015-02-05

Downloads
16 (#883,649)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2011 - In Dov Gabbay, Akihiro Kanamori & John Woods (eds.), Handbook of the history of logic. Elsevier.

Add more citations

References found in this work

No references found.

Add more references