A representation theorem for universal Horn classes categorical in power

Annals of Mathematical Logic 17 (1):91 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(79)90022-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

A representation theorem for universal horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
Universal Horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
Finite basis theorem for Filter-distributive protoalgebraic deductive systems and strict universal horn classes.Katarzyna Pałasińska - 2003 - Studia Logica 74 (1-2):233 - 273.
Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes.Katarzyna Pałasińska - 2003 - Studia Logica 74 (1-2):233-273.
Paul Halmos and Steven Givant. Logic as algebra. The Dolciani mathematical expositions, no. 21. The Mathematical Association of America, Washington 1998, ix + 141 pp. [REVIEW]Stephen D. Comer - 1998 - Journal of Symbolic Logic 63 (4):1604.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
The Essentially Equational Theory of Horn Classes.Hans-E. Porst - 2000 - Mathematical Logic Quarterly 46 (2):233-240.

Analytics

Added to PP
2017-02-19

Downloads
1 (#1,913,683)

6 months
1 (#1,516,603)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
Universal Horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1.

Add more references