Épistémologie du transfini
Equality sets for recursively enumerable languages
We consider shifted equality sets of the form , where and are nonerasing morphisms and is a letter. We are interested in the family consisting of the languages , where is a coding and is a shifted equality set. We prove several closure properties for this family. Moreover, we show that every recursively enumerable language is a projection of a shifted equality set, that is, for some (nonerasing) morphisms and and a letter , where deletes the letters not in . Then we deduce...
Equality sets for recursively enumerable languages
We consider shifted equality sets of the form EG(a,g1,g2) = {ω | g1(ω) = ag2(ω)}, where g1 and g2 are nonerasing morphisms and a is a letter. We are interested in the family consisting of the languages h(EG(J)), where h is a coding and (EG(J)) is a shifted equality set. We prove several closure properties for this family. Moreover, we show that every recursively enumerable language L ⊆ A* is a projection of a shifted equality set, that is, L = πA(EG(a,g1,g2)) for some (nonerasing) morphisms g1...
Equational logic and theories in sentential languages
Equational Reformulation Of Formal Theories
Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus
Equational spectrum of Hilbert varieties
We prove that an equational class of Hilbert algebras cannot be defined by a single equation. In particular Hilbert algebras and implication algebras are not one-based. Also, we use a seminal theorem of Alfred Tarski in equational logic to characterize the set of cardinalities of all finite irredundant bases of the varieties of Hilbert algebras, implication algebras and commutative BCK algebras: all these varieties can be defined by independent bases of n elements, for each n > 1.
Equational Theories of Varieties defined by P-compatible Identities of Boole'an Algebras
Equationally compact algebras (I)
Equationally compact algebras II
Equationally compact algebras (III)
Equimorphism invariants for scattered linear orderings
Two linear orderings are equimorphic if they can be embedded in each other. We define invariants for scattered linear orderings which classify them up to equimorphism. Essentially, these invariants are finite sequences of finite trees with ordinal labels. Also, for each ordinal α, we explicitly describe the finite set of minimal scattered equimorphism types of Hausdorff rank α. We compute the invariants of each of these minimal types..
Equivalence class in the set of fuzzy numbers and its application in decision-making problems.
Équivalence naturelle et formules logiques en théorie des catégories.
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Equivalence relations induced by some locally compact groups of homeomorphisms of
Let T be a locally finite rooted tree and B(T) be the boundary space of T. We study locally compact subgroups of the group TH(B(T)) = ⟨Iso(T),V⟩ generated by the group Iso(T) of all isometries of B(T) and the group V of Richard Thompson. We describe orbit equivalence relations arising from actions of these groups on B(T).
Equivalent Expressions of Direct Sum Decomposition of Groups1
In this article, the equivalent expressions of the direct sum decomposition of groups are mainly discussed. In the first section, we formalize the fact that the internal direct sum decomposition can be defined as normal subgroups and some of their properties. In the second section, we formalize an equivalent form of internal direct sum of commutative groups. In the last section, we formalize that the external direct sum leads an internal direct sum. We referred to [19], [18] [8] and [14] in the...
Equivalent fuzzy sets
Necessary and sufficient conditions under which two fuzzy sets (in the most general, poset valued setting) with the same domain have equal families of cut sets are given. The corresponding equivalence relation on the related fuzzy power set is investigated. Relationship of poset valued fuzzy sets and fuzzy sets for which the co-domain is Dedekind-MacNeille completion of that posets is deduced.
Equivariant measurable liftings
We discuss equivariance for linear liftings of measurable functions. Existence is established when a transformation group acts amenably, as e.g. the Möbius group of the projective line. Since the general proof is very simple but not explicit, we also provide a much more explicit lifting for semisimple Lie groups acting on their Furstenberg boundary, using unrestricted Fatou convergence. This setting is relevant to -cocycles for characteristic classes.
Erblich euklidische Körper.