Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
type: Item
instance of: scholarly article
title: Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
zbMATH Open document ID: 0511.03014
DOI: 10.1007/BF02483730
author: Peter Burmeister
published in: Algebra Universalis
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 03C65
Mathematics Subject Classification ID: 08C10
zbMATH DE Number: 3805530
zbMATH Keywords: survey
zbMATH Keywords: partial algebras
zbMATH Keywords: first order logic
zbMATH Keywords: varieties
zbMATH Keywords: axiomatizability results
MaRDI profile type: Publication
cites work: Q3322163
cites work: Q4111746
cites work: Completion varieties
cites work: Q3912001
cites work: Q3969852
cites work: Heterogeneous algebras
cites work: Free partial algebras.
cites work: An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class
cites work: On the completion of partial algebras
cites work: Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
cites work: The class of topological spaces is equationally definable
cites work: The Word Problem for Abstract Algebras
cites work: Q4745821
cites work: Q5723177
cites work: Q5682456
cites work: Weak and strong equations in partial algebras
cites work: Q3930619
cites work: Q4178511
cites work: Q5332215
cites work: Q5812175
cites work: Q5536167
cites work: Epis need not be dense
cites work: Prädikatenlogik mit partiell definierten Funktionen
cites work: On the rules of proof in the pure functional calculus of the first order
cites work: From hereditary classes to varieties in abstract model theory and partial algebra
cites work: Q3874383
cites work: Partial morphisms on partial algebras
cites work: A general existence theorem on partial algebras and its special cases
cites work: A homomorphism theorem for partial algebras
cites work: Q5586318
cites work: Q5638470
description: scientific article; zbMATH DE number 3805530