Generating families in a topos.
Generating methods for principal topologies on bounded lattices
In this paper, some generating methods for principal topology are introduced by means of some logical operators such as uninorms and triangular norms and their properties are investigated. Defining a pre-order obtained from the closure operator, the properties of the pre-order are studied.
Generation of fuzzy mathematical morphologies.
Fuzzy Mathematical Morphology aims to extend the binary morphological operators to grey-level images. In order to define the basic morphological operations fuzzy erosion, dilation, opening and closing, we introduce a general method based upon fuzzy implication and inclusion grade operators, including as particular case, other ones existing in related literature. In the definition of fuzzy erosion and dilation we use several fuzzy implications (Annexe A, Table of fuzzy implications), the paper includes...
Generation of multi-dimensional aggregation functions.
In this paper we study two ways of generating multi-dimensional aggregation functions. First of all we obtain multi-dimensional OWA operators in two different ways, one of them through quantifiers and the other through sequences. In the first case, we see that all the operators we obtain are multi-dimensional aggregation functions. We then characterize the multi-dimensional aggregation functions that are generated by quantifiers. In the second case, we characterize the sequences that provide multi-dimensional...
Generation of operation-invariant classes of sets
Generic absoluteness under projective forcing
Generic extensions of models of ZFC
The paper contains a self-contained alternative proof of my Theorem in Characterization of generic extensions of models of set theory, Fund. Math. 83 (1973), 35–46, saying that for models of ZFC with same ordinals, the condition implies that is a -C.C. generic extension of .
Generic large cardinals: New axioms for mathematics?
Generic sets in definably compact groups
A subset X of a group G is called left genericif finitely many left translates of X cover G. Our main result is that if G is a definably compact group in an o-minimal structure and a definable X ⊆ G is not right generic then its complement is left generic. Among our additional results are (i) a new condition equivalent to definable compactness, (ii) the existence of a finitely additive invariant measure on definable sets in a definably compact group G in the case where G = *H...
Geometric and higher order logic in terms of abstract Stone duality.
Geometrical model theory.
Geometrické upotřebení některých pouček o determinantech. [I.]
Geometrické upotřebení některých pouček o determinantechGeometric application of some theorems on determinants. [II.]
Géométrie asymptotique des courbes algébriques
Geordnete Läuchli Kontinuen
Georg Cantor, zakladatel teorie množin (K 100. výročí první Cantorovy práce z teorie množin)
Gerhard Gentzen (1909-1945)
Gilt das Lemma von König "konstruktiv"?
Giving lectures on nonstandard analysis. (Lire l'analyse non standard.)
Global stability of Clifford-valued Takagi-Sugeno fuzzy neural networks with time-varying delays and impulses
In this study, we consider the Takagi-Sugeno (T-S) fuzzy model to examine the global asymptotic stability of Clifford-valued neural networks with time-varying delays and impulses. In order to achieve the global asymptotic stability criteria, we design a general network model that includes quaternion-, complex-, and real-valued networks as special cases. First, we decompose the -dimensional Clifford-valued neural network into -dimensional real-valued counterparts in order to solve the noncommutativity...