Injectivity in the quasi-topo of separated presheaves on a complete Heyting algebra
We generalize the notion of a fat subset of a regular cardinal κ to a fat subset of , where κ ⊆ X. Suppose μ < κ, , and κ is supercompact. Then there is a generic extension in which κ = μ⁺⁺, and for all regular λ ≥ μ⁺⁺, there are stationarily many N in which are internally club but not internally approachable.
We call a topological space -compact if every subset of size has a complete accumulation point in it. Let denote the following statement: and there is such that whenever . We show that if holds and the space is both -compact and -compact then is -compact as well. Moreover, from PCF theory we deduce for every singular cardinal . As a corollary we get that a linearly Lindelöf and -compact space is uncountably compact, that is -compact for all uncountable cardinals .
We start by analyzing the role of imprecision in information retrieval in the Web, some theoretical contributions for managing this problem and its presence in search engines, with special emphasis on the use of thesaurus in order to increase the relevance of the documents retrieved. We then present FDSA, a Spanish electronic dictionary of synonyms that compute degrees of synonymy, and an eflicient implementation of it by using deterministic acyclic finite-state automata. We conclude by conjecturing...
This paper introduces the concept of intuitionistic fuzzy relation. We also study the choice of t-norms and t-conorms which must be done in order that the composition of intuitionistic fuzzy relations fulfils the largest number of properties. On the other hand, we also analyse the intuitionistic fuzzy relations in a set and their properties. Besides, we also study the properties of the intuitionistic fuzzy relations in a set and the properties of the composition with different t-norms and t-conorms....
In this paper we study the effect of Atanassov's operator on the properties of properties reflexive, symmetric, antisymmetric, perfect antisymmetric and transitive intuitionistic fuzzy relations. We finish the paper analysing the partial enclosure of the intuitionistic fuzzy relations and its effect on the conservation of the transitive property through Atanassov's operator.