We define Sahlqvist fixed point formulas. By extending the technique of Sambin and Vaccaro we show that (1) for each Sahlqvist fixed point formula φ there exists an LFPformula χ(φ), with no free first-order variable or predicate symbol, such that a descriptive μ-frame (an order-topological structure that admits topological interpretations of least fixed point operators as intersections of clope...

In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani (see, for example, [13], [12], [10]), and topos quantum theory, as developed by Isham, Butterfield and Döring, amongst others (see, for example, [8], [6], [3]). Towards this end, we will study algebraic valued set-theoretic structures whose truth values correspond to th...

Caicedo, X., Compactness and normality in abstract logics, Annals of Pure and Applied Logic 59 (1993) 33-43. We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite ...

Background: Lymphocyte subsets enumeration is considered prominent in the management of primary and acquired immunodeficiency disorders. Because of local variations due to race, age, gender, and environmental conditions on lymphocyte subsets, and to improve the accuracy of interpretation of laboratory findings, reference intervals must be determined in every population. Objective: To establish ...

based on a complete heyting algebra l, the relations between lfuzzifyingconvergence spaces and l-fuzzifying topological spaces are studied.it is shown that, as a reflective subcategory, the category of l-fuzzifying topologicalspaces could be embedded in the category of l-fuzzifying convergencespaces and the latter is cartesian closed. also the specialization l-preorderof l-fuzzifying convergenc...

the occurrence of genotype × environment (ge) interaction has led to the development of several stabilityparameters that can be used to estimate the stability of cultivar performance. repeatability of 20 parametric and non-parametric stability measures across years and yield subsets as well as their association with mean seed yield and interrelationship among them in safflower (carthamus tincto...

This paper uses the weighted L$_1-$norm to propose an algorithm for finding a well-dispersed subset of non-dominated solutions of multiple objective mixed integer linear programming problem. When all variables are integer it finds the whole set of efficient solutions. In each iteration of the proposed method only a mixed integer linear programming problem is solved and its optimal solutions gen...

background: cd8+ cytotoxic t lymphocytes have been recently divided based on their cytokine expression profile. objective: to evaluate the percentages of cd8+ lymphocytes and their effector subsets including tc1, tc2 and tc17 in the tumor draining lymph nodes (tdlns) of patients with breast cancer. methods: single cell suspensions were obtained from tdlns of 42 patients with breast cancer. stai...