Universal Horn classes categorical or free in power

Annals of Mathematical Logic 15 (1):1 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(78)90025-6

Links

PhilArchive



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

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

Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
A representation theorem for universal horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
A representation theorem for universal Horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1):91.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
The Essentially Equational Theory of Horn Classes.Hans-E. Porst - 2000 - Mathematical Logic Quarterly 46 (2):233-240.
On the existence of free models in fuzzy universal Horn classes.Vicent Costa & Pilar Dellunde - 2017 - Journal of Applied Logic 23:3-15.
Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
Injectives in finitely generated universal Horn classes.Michael H. Albert & Ross Willard - 1987 - Journal of Symbolic Logic 52 (3):786-792.
Effective categoricity of equivalence structures.Wesley Calvert, Douglas Cenzer, Valentina Harizanov & Andrei Morozov - 2006 - Annals of Pure and Applied Logic 141 (1):61-78.
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.
A Preservation Theorem for Equality-Free Horn Sentences.Pilar Dellunde - 2000 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 15 (3):517-530.
Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.

Analytics

Added to PP
2017-02-19

Downloads
4 (#1,617,803)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-order theories of abstract dependence relations.John T. Baldwin - 1984 - Annals of Pure and Applied Logic 26 (3):215-243.
Categoricity and universal classes.Tapani Hyttinen & Kaisa Kangas - 2018 - Mathematical Logic Quarterly 64 (6):464-477.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Almost strongly minimal theories. I.John T. Baldwin - 1972 - Journal of Symbolic Logic 37 (3):487-493.
A comment on a paper by evans.Marshall Saade - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):97-100.
A comment on a paper by evans.Marshall Saade - 1969 - Mathematical Logic Quarterly 15 (7‐12):97-100.

View all 6 references / Add more references