Skip to main content
SpringerLink
Log in

HSP-type Characterization of Strong Equational Classes of Partial Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization of the notion of a fully invariant congruence, and extension of algebras, specific for strong equations.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Andréka H., Németi I.: ‘Generalization of the concept of variety and quasivariety to partial algebras through category theory’. Diss. Math. 204, (1983)

  2. Burmeister P.: ‘Free partial algebras’. J. reine und angewandte Math. 241, 75–86 (1970)

    Google Scholar 

  3. Burmeister P.: ‘Partial algeb ras—survey of a unifying approach towards a twovalued theory for partial algebras’. Algebra Universalis 15, 306–358 (1982)

    Article  Google Scholar 

  4. Burmeister, P., A Model Theoretic Oriented Approach to Partial Algebras, Vol. 32 of Mathematical Research, Akademie-Verlag, 1986.

  5. Robinson A.: ‘Equational logic of partial functions under Kleene equality: a complete and incomplete set of rules’. Journ.Symb.Logic 54, 354–362 (1989)

    Article  Google Scholar 

  6. Schmidt J.: ‘A homomorphism theorem for partial algebras’. Coll. Math. 21, 5–21 (1970)

    Google Scholar 

  7. Słomiński J.: ‘Peano algebras and quasi-algebras’. Diss. Math. 57, (1968)

  8. Staruch B., Staruch B.: ‘Strong regular varieties of partial algebras’. Algebra Universalis 31, 157–176 (1994)

    Article  Google Scholar 

  9. Staruch B., Staruch B.: ‘Spectral algebras for strong equational classes of partial algebras’. Acta Sci. Math. 61, 43–58 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, University of Warmia and Mazury, 10-561, Olsztyn, Poland

    Bogdan Staruch

  2. University of Computer Science and Economy, 10-061, Olsztyn, Poland

    Bogdan Staruch

Authors
  1. Bogdan Staruch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bogdan Staruch.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Staruch, B. HSP-type Characterization of Strong Equational Classes of Partial Algebras. Stud Logica 93, 41–65 (2009). https://doi.org/10.1007/s11225-009-9208-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-009-9208-z

Keywords

Search

Navigation