Categorical languages for algebraic structures

&
Mathematical Logic Quarterly 21 (1):433-438 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210159

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Countably Categorical Structures with n‐Degenerate Algebraic Closure.Evgueni V. Vassiliev - 1999 - Mathematical Logic Quarterly 45 (1):85-94.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
d-computable Categoricity for Algebraic Fields.Russell Miller - 2009 - Journal of Symbolic Logic 74 (4):1325 - 1351.
Categorical ontology of levels and emergent complexity: an introduction. [REVIEW]Ion C. Baianu - 2007 - Axiomathes 17 (3-4):209-222.
ℵ0-categorical structures with arbitrarily fast growth of algebraic closure.David M. Evans & M. E. Pantano - 2002 - Journal of Symbolic Logic 67 (3):897-909.
Ages of Expansions of ω-Categorical Structures.A. Ivanov & K. Majcher - 2007 - Notre Dame Journal of Formal Logic 48 (3):371-380.
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (2):147-161.
Interpreting groups in ω-categorical structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.
Consistency in Categorical Languages for Algebras.Ahmad Shafaat - 1980 - Mathematical Logic Quarterly 26 (13):205-207.
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
ℵ0-categorical tree-decomposable structures.A. H. Lachlan - 1992 - Journal of Symbolic Logic 57 (2):501 - 514.
Effective algebraicity.Rebecca M. Steiner - 2013 - Archive for Mathematical Logic 52 (1-2):91-112.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
$aleph_0$-Categorical Tree-Decomposable Structures.A. H. Lachlan - 1992 - Journal of Symbolic Logic 57 (2):501-514.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.

Analytics

Added to PP
2013-11-24

Downloads
12 (#1,092,281)

6 months
1 (#1,478,856)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of mathematics.William S. Hatcher - 1968 - Philadelphia,: W. B. Saunders Co..
Foundations of Mathematics.William S. Hatcher - 1972 - Philosophy of Science 39 (1):88-90.

Add more references