Algebraic Theories, Algebraic Categories, and Algebraic Functors

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270297

Links

PhilArchive



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

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, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.George Voutsadakis - 2004 - Logic Journal of the IGPL 12 (4):313-333.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Logic in Algebraic Form: Three Languages and Theories.Stephen D. Comer - 1974 - New York, NY, USA: American Elsevier.
Kompakt erzeugte Vektorräume und Analysis.Ionel Bucur & F. W. Lawvere - 1964
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Geometry of *-finite types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.

Analytics

Added to PP
2015-02-05

Downloads
26 (#611,461)

6 months
2 (#1,200,611)

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.
A Language for Type-Free Algebra.William S. Hatcher - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):385-397.
A Language for Type‐Free Algebra.William S. Hatcher - 1978 - Mathematical Logic Quarterly 24 (25‐30):385-397.

Add more citations

References found in this work

No references found.

Add more references