Completeness Jasmin Christian Blanchette, Andrei Popescu, and Dmitriy Traytel

The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...

In this paper we discuss two hybrid languages , L(∀) and L(↓), and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to ‘label’ states by using ∀ and ↓ to bind special state variables . This paper explores...

DEFINITION A relational query language Q is BP-complete if for each relational database D, the set of all relations defined by the queries of Q on D is equal to the set of all first-order definable relations over D. More formally, fix some infinite universe U of atomic data elements. A relational database schema S is a finite set of relation names, each with an associated arity. A relational da...

This is an exposition of Lambek’s strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek’s Functional Completeness Theorem, from which its main consequences can be readily drawn. The connections of the theoremwith combinatory logic, ...

Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper analyze the relation between semantic completeness of a formal system S and syntax completeness under certain condition and the relation between the syntax completeness of S and the syntax completeness of consistent ext...

here, a finsler manifold $(m,f)$ is considered with corresponding curvature tensor, regarded as $2$-forms on the bundle of non-zero tangent vectors. certain subspaces of the tangent spaces of $m$ determined by the curvature are introduced and called $k$-nullity foliations of the curvature operator. it is shown that if the dimension of foliation is constant, then the distribution is involutive a...

Here, a Finsler manifold $(M,F)$ is considered with corresponding curvature tensor, regarded as $2$-forms on the bundle of non-zero tangent vectors. Certain subspaces of the tangent spaces of $M$ determined by the curvature are introduced and called $k$-nullity foliations of the curvature operator. It is shown that if the dimension of foliation is constant, then the distribution is involutive...