The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 261 –
280 of
425
The L-Fuzzy concept theory that we have developed sets up classifications from the objects and attributes of a context through L-Fuzzy relations. This theory generalizes the formal concept theory of R. Wille. In this paper we begin with the L-Fuzzy concept definition that generalizes the definitions of the formal concept theory, and we study the lattice structure of the L-Fuzzy concept set, giving a constructive method for calculating this lattice. At the end, we apply this constructive method to...
Recently, Baczyński et al. (2017) proposed a new family of implication operators called semicopula based implications, which combines a given a priori fuzzy implication and a semicopula. In this paper, firstly, the relationship between the basic properties of the priori fuzzy implication and the semicopula based implication are analyzed. Secondly, the conditions such that the semicopula based implication is a fuzzy implication are studied, the study is carried out mainly in the case that the semicopula...
In [The sup = max problem for the extent of generalized metric spaces, Comment. Math. Univ. Carolin. The special issue devoted to Čech 54 (2013), no. 2, 245–257], the author and Yajima discussed the sup = max problem for the extent and the Lindelöf degree of generalized metric spaces: (strict) -spaces, (strong) -spaces and semi-stratifiable spaces. In this paper, the sup = max problem for the Lindelöf degree of spaces having -diagonals and for the extent of spaces having point-countable bases...
It looks not useful to study the sup = max problem for extent, because there are simple examples refuting the condition. On the other hand, the sup = max problem for Lindelöf degree does not occur at a glance, because Lindelöf degree is usually defined by not supremum but minimum. Nevertheless, in this paper, we discuss the sup = max problem for the extent of generalized metric spaces by combining the sup = max problem for the Lindelöf degree of these spaces.
Analysis of some answers to the following questions : is there a generic notion of definition ? What is the difference between “analytic definition” and “synthetic definition” ? What is a good definition ?
We study the -theory of sequences of dual groups and give a complete classification of the -elementary classes by finding simple invariants for them. We show that nonstandard models exist.
We force from large cardinals a model of ZFC in which and both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model even satisfies the super tree property.
Assuming the existence of a λ⁺-hypermeasurable cardinal κ, where λ is the first weakly compact cardinal above κ, we prove that, in some forcing extension, κ is still measurable, κ⁺⁺ has the tree property and . If the assumption is strengthened to the existence of a θ -hypermeasurable cardinal (for an arbitrary cardinal θ > λ of cofinality greater than κ) then the proof can be generalized to get .
We prove that the Tree Property at ω₂ together with BPFA is equiconsistent with the existence of a weakly compact reflecting cardinal, and if BPFA is replaced by BPFA(ω₁) then it is equiconsistent with the existence of just a weakly compact cardinal. Similarly, we show that the Special Tree Property for ω₂ together with BPFA is equiconsistent with the existence of a reflecting Mahlo cardinal, and if BPFA is replaced by BPFA(ω₁) then it is equiconsistent with the existence of just a Mahlo cardinal....
Currently displaying 261 –
280 of
425