-separation axioms in ordered fuzzy topological spaces
-separation axioms are introduced in ordered fuzzy topological spaces and some of their basic properties are investigated besides establishing an analogue of Urysohn’s lemma.
Galois correspondences for closed classes of functions with delay. I.
Galois coverings and the problem of axiomatization of the representation type of algebras.
Game properties of Boolean algebras
Games with creatures
Many forcing notions obtained using the creature technology are naturally connected with certain integer games.
Ganzgeschlossene und prädikatgeschlossene Logiken I.
Ganzgeschlossene und prädikatgeschlossene Logiken II.
Gaps in analytic quotients
We prove that the quotient algebra P(ℕ)/I over any analytic ideal I on ℕ contains a Hausdorff gap.
Garnir's dream spaces with Hamel bases.
Gaussian Integers
Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rational number field and a quotient field of the Gaussian integer ring are isomorphic.
General fuzzy decision systems
General operators binding variables in the interpreted modal calculus
Si considera il calcolo modale interpretato , che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta...
Generalisations of -density
Generalization of some known properties of Cantor set
Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book]
Generalizations of Boolean algebras. An attribute exploration
Generalizations of pseudo MV-algebras and generalized pseudo effect algebras
We deal with unbounded dually residuated lattices that generalize pseudo -algebras in such a way that every principal order-ideal is a pseudo -algebra. We describe the connections of these generalized pseudo -algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo -algebra by means of the positive cone of a suitable -group . We prove that the lattice of all (normal) ideals of and the lattice of all (normal) convex -subgroups of are isomorphic....
Generalized Archimedean fields and logics with Malitz quantifiers
Generalized Choquet spaces
We introduce an analog to the notion of Polish space for spaces of weight ≤ κ, where κ is an uncountable regular cardinal such that . Specifically, we consider spaces in which player II has a winning strategy in a variant of the strong Choquet game which runs for κ many rounds. After discussing the basic theory of these games and spaces, we prove that there is a surjectively universal such space and that there are exactly many such spaces up to homeomorphism. We also establish a Kuratowski-like...
Generalized convexities related to aggregation operators of fuzzy sets
We analyze the existence of fuzzy sets of a universe that are convex with respect to certain particular classes of fusion operators that merge two fuzzy sets. In addition, we study aggregation operators that preserve various classes of generalized convexity on fuzzy sets. We focus our study on fuzzy subsets of the real line, so that given a mapping , a fuzzy subset, say , of the real line is said to be -convex if for any such that , it holds that , where stands here for the membership function...