Partial Horn logic and Cartesian categories
type: Item
instance of: scholarly article
title: Partial Horn logic and Cartesian categories
zbMATH Open document ID: 1109.03022
author: Erik Palmgren
author: S. J. Vickers
published in: Annals of Pure and Applied Logic
publication date: 2007-02-14T00:00:00Z
full work available at URL: partialalgebras.pdf
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 08A55
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 5126411
zbMATH Keywords: Cartesian theory
zbMATH Keywords: essentially algebraic
zbMATH Keywords: free algebra
zbMATH Keywords: classifying category
zbMATH Keywords: syntactic category
zbMATH Keywords: partial algebra
MaRDI profile type: Publication
OpenAlex ID: W1976800160
cites work: Q4293501
cites work: Q3322163
cites work: Q3666908
cites work: Q3682648
cites work: Q3679172
cites work: Q3757915
cites work: Q3803111
cites work: Q3731650
cites work: Q3961629
cites work: Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
cites work: Aspects of topoi
cites work: Cartesian logic
cites work: Q3995720
cites work: Q4783274
cites work: Q4124986
cites work: On limit-preserving functors
cites work: Q3727946
cites work: Q5639839
cites work: Left exact logic
cites work: Q4023900
cites work: Type theories, toposes and constructive set theory: Predicative aspects of AST
cites work: Variations on algebra: Monadicity and generalisations of equational theories
cites work: Q5537599
cites work: Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
cites work: Topical categories of domains
cites work: Preservation theorems for limits of structures and global sections of sheaves of structures
DOI: 10.1016/J.APAL.2006.10.001
description: scientific article; zbMATH DE number 5126411