Advertisement

Algebraic models I

  • Hans-Jürgen Hoehnke
Theory Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    BIRKHOFF, G.B.; LIPSON, J.D.: Heterogeneous algebras. J. Combinatorial Theory 8(1970),115–133.Google Scholar
  2. [2]
    DAIGNEAULT, A.: Lawvere's elementary theories and polyadic and cylindric algebras. Fund. Math. 66(1970),307–328.Google Scholar
  3. [3]
    HIGGINS, P.J.: Algebras with a scheme of operators. Math. Nachr. 27(1963),115–132.Google Scholar
  4. [4]
    HOEHNKE, H.-J.: Struktursätze der Algebra und Kompliziertheit logischer Schemata, I, II, III. Math. Nachr. (1974), im Druck.Google Scholar
  5. [5]
    —, Logische Kategorien und Galoissche Theorie. Manuskript 1974.Google Scholar
  6. [6]
    KAPHENGST, H.; REICHEL, H.: Operative Theorien und Kategorien von operativen Systemen. Studien zur Algebra und ihre Anwendungen, pp. 41–56, Berlin 1972.Google Scholar
  7. [7]
    LAWVERE, F.W.: Functorial semantics of algebraic theories. Proc. Nat.Acad.Sci. 50 (1963),869–872.Google Scholar
  8. [8]
    —, Some algebraic problems in context of functorial semantics of algebraic theories. Reports of the Midwest Category Seminar.II, Lecture Notes in Mathematics 61, Berlin, 1968.Google Scholar
  9. [9]
    —, Functorial semantics of elementary theories. J. Symbolic Logic 31(1966),294.Google Scholar
  10. [10]
    —, Theories as categories and the completeness theorem. J.Symbolic Logic 32(1967),562.Google Scholar
  11. [11]
    MACLANE, S.: Kategorien. Berlin 1972.Google Scholar
  12. [12]
    PÖSCHEL, R.: Postsche Algebren von Funktionen über einer Familie endlicher Mengen. Z. math. Logik Grundlagen Math. 19 (1973),37–74.Google Scholar
  13. [13]
    POSEGGA, M.: Funktorielle Untersuchungen der Semantik in Modellkategorien elementarer Theorien. Manuskript 1973.Google Scholar
  14. [14]
    SCHUBERT, H.: Kategorien, I, II. Berlin 1970.Google Scholar
  15. [15]
    VOLGER, H.: Logical categories. Manuscript 1971.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Hans-Jürgen Hoehnke
    • 1
  1. 1.Zentralinstitut für Mathematik und Mechanik der Akademie der Wissenschaften der DDR108 Berlin

Personalised recommendations