Generalised algebraic theories and contextual categories

Annals of Pure and Applied Logic 32:209-243 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90053-9

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,667

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

Contextual Category and Generalized Algebraic Theories'.J. Cartmell - 1986 - Annals of Pure and Applied Logic 32.
The isomorphism relation of theories with S-DOP in the generalised Baire spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.
The notion of independence in categories of algebraic structures, part III: equational classes.Gabriel Srour - 1990 - Annals of Pure and Applied Logic 47 (3):269-294.
The notion of independence in categories of algebraic structures, Part I: Basic properties.M. Srour - 1988 - Annals of Pure and Applied Logic 38 (2):185.
The notion of independence in categories of algebraic structures, part II: S-minimal extensions.Gabriel Srour - 1988 - Annals of Pure and Applied Logic 39 (1):55-73.
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
The semantic isomorphism theorem in abstract algebraic logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.
Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.

Analytics

Added to PP
2014-01-16

Downloads
98 (#229,385)

6 months
16 (#194,534)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Type Theory and Homotopy.Steve Awodey - 2012 - In Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm, Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Dordrecht, Netherland: Springer. pp. 183-201.
Generalised algebraic theories and contextual categories.John Cartmell - 1986 - Annals of Pure and Applied Logic 32:209-243.

View all 16 citations / Add more citations

References found in this work

Generalised algebraic theories and contextual categories.John Cartmell - 1986 - Annals of Pure and Applied Logic 32:209-243.

Add more references