Lawvere Completeness in Topology

It is known since 1973 that Lawvere’s notion of Cauchy-complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper, we introduce the corresponding notion of Lawvere completeness for (\mathbbT,V)(\mathbb{T},\mathsf{V})-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones it means weak sobriety while for the latter it means Cauchy completeness. Further, we show that V\mathsf{V} has a canonical (\mathbbT,V)(\mathbb{T},\mathsf{V})-category structure which plays a key role: it is Lawvere-complete under reasonable conditions on the setting; this structure permits us to define a Yoneda embedding in the realm of (\mathbbT,V)(\mathbb{T},\mathsf{V})-categories.     

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上容许关系及强同态的核的概念,研究了它们相关性质。     

Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini

In order to modelize the reasoning of intelligent agents represented by a poset T, H. Rasiowa introduced logic systems called “Approximation Logics”. In these systems the use of a set of constants constitutes a fundamental tool. We have introduced in [8] a logic system called without this kind of constants but limited to the case that T is a finite poset. We have proved a completeness result for this system w.r.t. an algebraic semantics. We introduce in this paper a Kripke‐style semantics for a subsystem of for which there existes a deduction theorem. The set of “possible worldsr is enriched by a family of functions indexed by the elements of T and satisfying some conditions. We prove a completeness result for system with respect to this Kripke semantics and define a finite Kripke structure that characterizes the propositional fragment of logic . We introduce a reational semantics (found by E. Orlowska) which has the advantage to allow an interpretation of the propositionnal logic using only binary relations. We treat also the computational complexity of the satisfiability problem of the propositional fragment of logic .     

两参数变形量子代数SU(1,1)q,s的相干态及其性质

利用SU(1,1)_q,s量子代数的两参数变形振子构造出归一化的SU(1,1)_q,s相干态,证明了SU(1,1)_q,s量子代数的表示基是正交的,并讨论了它的相干态的归一性和完备性。指出(SU(1,1)_q,s相干态的相干性受参数q、s的影响。     

型空间中随机指数函数系的完备性

该文采用了新的方法来研究由整函数组成的满足 ( ∫∫_C| f(z)|^pe^-α(|z|)dm_z)^1/p <∞ (1 < p <∞) 的Fock型空间中随机指数函数系的完备性. 还对于实轴上的加权Banach 空间讨论了类似的问题     

On the perturbation determinants of a singular dissipative boundary value problem with finite transmission conditions

In this paper a singular dissipative boundary value problem with finite transmission conditions is investigated. Using Livšic’s theorem, it is proved that the system of all eigen and associated functions of this problem is complete in the Hilbert space.     

Synthesis of WF6 by Fluorination of Tungsten Metal with Flowing Fluorine in a Fixed Bed Tungsten Reactor

Based on a physicochemical model of the fluorination of tungsten metal fluorine, we derived an equation for calculating the completeness of the use of fluorine depending on the dimensions of the reaction surface, fluorine feed as well as the temperature and the activity of the tungsten surface, which determine the value. The process of WF₆ synthesis based on two-fold iteration’ the fluorination of tungsten – WF₆ condensation’, which provides the performance of 5.22 kg/hour WF₆, the completeness of the use of fluorine >99.99% and the emission of harmful gases within maximum permissible concentration.     

Some double sequence spaces of interval numbers defined by Orlicz function

In this paper we introduce some interval valued double sequence spaces defined by Orlicz function and study different properties of these spaces like inclusion relations, solidity, etc. We establish some inclusion relations among them. Also we introduce the concept of double statistical convergence for interval number sequences and give an inclusion relation between interval valued double sequence spaces.