Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1974: Mathematical Foundations of Computer Science pp 361–371Cite as

Algebraic models I

  • Theory Of Programs
  • Conference paper
  • First Online:

  • 2012 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 28))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. BIRKHOFF, G.B.; LIPSON, J.D.: Heterogeneous algebras. J. Combinatorial Theory 8(1970),115–133.

    Google Scholar 

  2. DAIGNEAULT, A.: Lawvere's elementary theories and polyadic and cylindric algebras. Fund. Math. 66(1970),307–328.

    Google Scholar 

  3. HIGGINS, P.J.: Algebras with a scheme of operators. Math. Nachr. 27(1963),115–132.

    Google Scholar 

  4. HOEHNKE, H.-J.: Struktursätze der Algebra und Kompliziertheit logischer Schemata, I, II, III. Math. Nachr. (1974), im Druck.

    Google Scholar 

  5. —, Logische Kategorien und Galoissche Theorie. Manuskript 1974.

    Google Scholar 

  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. LAWVERE, F.W.: Functorial semantics of algebraic theories. Proc. Nat.Acad.Sci. 50 (1963),869–872.

    Google Scholar 

  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. —, Functorial semantics of elementary theories. J. Symbolic Logic 31(1966),294.

    Google Scholar 

  10. —, Theories as categories and the completeness theorem. J.Symbolic Logic 32(1967),562.

    Google Scholar 

  11. MACLANE, S.: Kategorien. Berlin 1972.

    Google Scholar 

  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. POSEGGA, M.: Funktorielle Untersuchungen der Semantik in Modellkategorien elementarer Theorien. Manuskript 1973.

    Google Scholar 

  14. SCHUBERT, H.: Kategorien, I, II. Berlin 1970.

    Google Scholar 

  15. VOLGER, H.: Logical categories. Manuscript 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Zentralinstitut für Mathematik und Mechanik der Akademie der Wissenschaften der DDR, Mohrenstr. 39, 108 Berlin

    Hans-Jürgen Hoehnke

Authors
  1. Hans-Jürgen Hoehnke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Blikle

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoehnke, HJ. (1975). Algebraic models I. In: Blikle, A. (eds) Mathematical Foundations of Computer Science. MFCS 1974. Lecture Notes in Computer Science, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07162-8_696

Download citation

  • DOI: https://doi.org/10.1007/3-540-07162-8_696

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07162-4

  • Online ISBN: 978-3-540-37492-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation