Categorial quasivarieties

Abakumov, A.I.; Palyutin, E. A.; Taitslin, M. A.; Shishmarev, Yu. E.

doi:10.1007/bf02218582

Cited by 24 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [2] Baldwin and Lachlan have explored categoricity in power for universal Horn logic. Working independently Abakumov, Palyutin, Taitslin, and Shish-marev in [1] arrived at similar results. Steven Givant in [11] describes (up to definitional equivalence) those universal Horn classes which can be categorical in infinite powers.…”

mentioning

confidence: 61%

Fragments of first order logic, I: universal Horn logic

McNulty

1977

J. symb. log.

View full text Add to dashboard Cite

Let L be any finitary language. By restricting our attention to the universal Horn sentences of L and appealing to a semantical notion of logical consequence, we can formulate the universal Horn logic of L. The present paper provides some theorems about universal Horn logic that serve to distinguish it from the full first order predicate logic. Universal Horn equivalence between structures is characterized in two ways, one resembling Kochen's ultralimit theorem. A sharp version of Beth's definability theorem is established for universal Horn logic by means of a reduced product construction. The notion of a consistency property is relativized to universal Horn logic and the corresponding model existence theorem is proven. Using the model existence theorem another proof of the definability result is presented. The relativized consistency properties also suggest a syntactical notion of proof that lies entirely within the universal Horn logic. Finally, a decision problem in universal Horn logic is discussed. It is shown that the set of universal Horn sentences preserved under the formation of homomorphic images (or direct factors) is not recursive, provided the language has at least two unary function symbols or at least one function symbol of rank more than one.This paper begins with a discussion of how algebraic relations between structures can be used to obtain fragments of a given logic. Only two such fragments seem to be under current investigation: equational logic and universal Horn logic. Other fragments which seem interesting are pointed out.

show abstract

mentioning

confidence: 61%

Fragments of first order logic, I: universal Horn logic

McNulty

1977

J. symb. log.

View full text Add to dashboard Cite

show abstract

“…With a group of dedicated students he started a seminar which began the studies in stability theory in the former USSR. One of the topics, the study of which he initiated, was the theory of categorical quasi-varieties [4]. This topic later developed into a rich area of research carried out in Novosibirsk mainly by Taitslin's student Eugeny Palyutin, as well as by other mathematicians in the USA.…”

mentioning

confidence: 99%