A criterion for positive completeness in ternary logic

The operator of positive closure is considered on the set P _k of functions of k-valued logic. Some positive complete systems of functions are defined. It is proved that every positive complete class of functions from P _k is positive generated by the set of all functions depending on at most k variables. For each k ? 3, the three families of positive precomplete classes are defined. It is shown that, for k = 3, the 10 classes of these families constitute a criterion system.     

A symmetry completeness criterion for second-order differential equations

A simple criterion for the completeness of an infinitesimal automorphism of a second-order differential equation is given.

     

A completeness criterion for a double power system with degenerate coefficients

We consider a double power system with degenerate coefficients. Under certain conditions we obtain a completeness criterion for this system in the Lebesgue function space.     

A completeness criterion of subgroups of finite covolume in a Lie group

Translated from Matematicheskie Zametki, Vol. 50, No. 6, pp. 52–56, December, 1991.     

A characterization of completeness for trellises

It is well-known that a lattice L is complete if and only if every ascending well-ordered chain in L has a join [1]. A generalization of this result to trellises is the main theorem (Theorem 2.2) of this paper. Received January 7, 2000; accepted in final form August 14, 2000.     

A criterion for subnormality

Archiv der Mathematik -     

A criterion for unit-regularity

Summary A von Neumann regular ring is unit-regular if and only if every principal right ideal is uniquely generated.     

A relative completeness theorem

Archiv der Mathematik - We prove a relative n-completeness theorem asserting that a complex space Y that fibers over a complex space X of dimension less than n is n-complete provided that Y admits...     

A topological completeness theorem

We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected. Received: 27 September 1996 / Revised version: 15 January 1998     

A completeness result for the simply typed -calculus

In this paper, we define a realizability semantics for the simply typed λμ-calculus. We show that, if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.     

A criterion for regular sequences

LetR be a commutative noetherian ring and ƒ₁, …, ƒ_r ∃ R. In this article we give (cf. the Theorem in §2) a criterion for ƒ₁, …, ƒ_r to be regular sequence for a finitely generated module overR which strengthens and generalises a result in [2]. As an immediate consequence we deduce that if V(g ₁, …,g _r ) ⊆ V(ƒ₁, …, ƒ_r) in SpecR and if ƒ₁, …, ƒ_r is a regular sequence inR, theng ₁, …,g _r is also a regular sequence inR.     

A criterion for tangential flatness

We prove that a local homomorphism induces a flat homomorphism of the graduations with respect to the maximal ideals iff it is flat itself and the tangent cone of the fiber is just the fiber of the tangent cone mapping. More explicit, the statement we want to prove here is as follows.