- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Universal horn classes categorical or free in power
Annals of Mathematical Logic 15 (1):1-53 (1978)
Abstract
This article has no associated abstract. (fix it)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.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
Metrically Universal Generic Structures in Free Amalgamation Classes.Anthony Bonato - 2001 - Mathematical Logic Quarterly 47 (2):147-160.
The Essentially Equational Theory of Horn Classes.Hans-E. Porst - 2000 - Mathematical Logic Quarterly 46 (2):233-240.
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.
Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
Universal classes of simple relation algebras.Steven Givant - 1999 - Journal of Symbolic Logic 64 (2):575-589.
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
2014-01-17
Downloads
19 (#781,160)
6 months
2 (#1,240,909)
2014-01-17
Downloads
19 (#781,160)
6 months
2 (#1,240,909)
Historical graph of 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.
A representation theorem for universal horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
Categorical Quasivarieties via Morita Equivalence.Keith A. Kearnes - 2000 - Journal of Symbolic Logic 65 (2):839-856.
References found in this work
On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Categoricity of Uncountable Theories.Saharon Shelah & Leon Henkin - 1981 - Journal of Symbolic Logic 46 (4):866-867.
Homogeneous Universal Models.Michael Morley & Robert Vaught - 1967 - Journal of Symbolic Logic 32 (4):535-535.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo