Theoretical methods of constructing fuzzy inference relations

In this paper, a theoretical method is presented to select fuzzy implication operators for the fuzzy inference sentence “if x is A, then y is B”. By applying representation theorems, thirty-two fuzzy implication operators are obtained. It is shown that the obtained operators are generalizations of classical inference rule A → B, A ^c → B, A → B ^c and A ^c → B ^c respectively and can be divided into four classes. By discussion, it is found that thirty of them among 420 fuzzy implication operators presented by Li can be derived by applying representation theorems and another two new ones are obtained by the use of our methods.     

Some results on consecutive large cardinals II: Applications of radin forcing

Letκ be a 3 huge cardinal in a countable modelV of ZFC, and letA andB be subsets of the successor ordinals <κ so thatA ⋃B={α<κ:α is a successor ordinal}. Using techniques of Gitik, we construct a choiceless modelN _A of ZF of heightκ so thatN _A ╞“ZF+⌍AC _ω+Forα ∈A, ℵ_a is a Ramsey cardinal+Forβ ∈B, ℵ_β is a singular Rowbottom cardinal which carries a Rowbottom filter+Forγ a limit ordinal, ℵ_y is a Jonsson cardinal which carries a Jonsson filter”. The author wishes to express his thanks to the Rutgers Research Council for a Summer Research Fellowship which partially supported this work. The author also wishes to thank Moti Gitik and Bob Mignone for their useful comments concerning the subject matter of this paper.     

Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.     

Excursion decompositions for SLE and Watts' crossing formula

It is known that Schramm-Loewner Evolutions (SLEs) have a.s. frontier points if κ>4 and a.s. cutpoints if 4<κ<8. If κ>4, an appropriate version of SLE(κ) has a renewal property: it starts afresh after visiting its frontier. Thus one can give an excursion decomposition for this particular SLE(κ) “away from its frontier”. For 4<κ<8, there is a two-sided analogue of this situation: a particular version of SLE(κ) has a renewal property w.r.t its cutpoints; one studies excursion decompositions of this SLE “away from its cutpoints”. For κ=6, this overlaps Virág's results on “Brownian beads”. As a by-product of this construction, one proves Watts' formula, which describes the probability of a double crossing in a rectangle for critical plane percolation.     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

2-uniform congruences in majority algebras and a closure operator

A ternary term m(x, y, z) of an algebra is called a majority term if the algebra satisfies the identities m(x, x, y) = x, m(x, y, x) = x and m(y, x, x) = x. A congruence α of a finite algebra is called uniform if all of its blocks (i.e., classes) have the same number of elements. In particular, if all the α-blocks are two-element then α is said to be a 2-uniform congruence. If all congruences of A are uniform then A is said to be a uniform algebra. Answering a problem raised by Gr?tzer, Quackenbush and Schmidt [2], Kaarli [3] has recently proved that uniform finite lattices are congruence permutable. In connection with Kaarli’s result, our main theorem states that for every finite algebra A with a majority term any two 2-uniform congruences of A permute. Examples show that we can say neither “algebra” instead of “algebra with a majority term”, nor “3-uniform” instead of “2-uniform”. Given two nonempty sets A and B, each relation gives rise to a pair of closure operators, which are called the Galois closures on A and B induced by ρ. Galois closures play an important role in many parts of algebra, and they play the main role in formal concept analysis founded by Wille [4]. In order to prove our main theorem, we introduce a pair of smaller closure operators induced by ρ. These closure operators will hopefully find further applications in the future. Dedicated to the memory of Kazimierz Głazek Presented by E. T. Schmidt. Received November 29, 2005; accepted in final form May 23, 2006. This research was partially supported by the NFSR of Hungary (OTKA), grant no. T049433 and T037877.     

On Rich Lines in Grids

In this paper we show that if one has a grid A×B, where A and B are sets of n real numbers, then there can be only very few “rich” lines in certain quite small families. Indeed, we show that if the family has lines taking on n ^ε distinct slopes, and where each line is parallel to n ^ε others (so, at least n ^2ε lines in total), then at least one of these lines must fail to be “rich”. This result immediately implies non-trivial sumproduct inequalities; though, our proof makes use of the Szemeredi-Trotter inequality, which Elekes used in his argument for lower bounds on |C+C|+|C.C|.     

Extensions of commutative rings in which trees of prime ideals contract to trees

Résumé  Une extensionA⊂B des anneaux (commutatifs) satisfait à la propriété si tout arbre dans Spec(B) couvre un arbre dans Spec(A). Il est possible qu'une extension entière d'un anneau Noethérien ne satisfait pas à . SiA⊂B soit unei-extension satisfaisante à soit “going-up” soit “going-down”, alorsA⊂B satisfait à . Cependant, une extension d'anneaux satisfaisante à “going-up”, “going-down”, et peut être nonunibranche dans hauteur >1. Un anneau intègreA a le spectre d'un arbre si et seulement siA⊂B satisfait àP pour tout anneau intègreB contenantA (resp., suranneau de BézoutB deA). De plus, si un anneau intègreA n'ait pas de spectre d'un arbre mais soit localement de dimension finie, (par exemple, tout anneau intègre Noethérien de dimension au moins 2), alors il existe un suranneau de BézoutB deA et un arbre saturé dans Spec(B) de sorte que card=4 et l'image de à l'égard de la flèche canonique Spec(B)→Spec(A) est un ensemble saturé tel que card =3 mais n'est pas d'arbre. On donne également des caractérisations associées des classes desi-domaines et des ai-domaines.      

A note on the tensor product of Lie soluble algebras

D. M. Riley proved in [3] that, if A and B are either Lie nilpotent or Lie metabelian algebras, then their tensor product A ⊗ B is Lie soluble and obtained bounds on the Lie derived length of A ⊗ B. The aim of the present note is to improve Riley’s bounds; moreover we consider also the cases in which A and B are either strongly Lie soluble or strongly Lie nilpotent algebras. Received: 5 April 2006 The first two authors partially supported by MIUR-Italy via PRIN “Group theory and applications”.     

Weakly least integer closed groups

An archimedean lattice-ordered groupA with distinguished weak unit has the canonical Yosida representation as an ℓ-group of extended real-valued functions on a certain compact Hausdorff spaceY A. Such an ℓ-groupA is calledleast integer closed, orLIC (resp.,weakly least integer closed, orwLIC) if, in the representation,a ∈A implies [a] ∈A (resp., there isa′ ∈A witha′=[a] on a dense set inY A), where [r] ≡ the least integer greater than or equal tor. Earlier, we have studiedLIC groups, with an emphasis on their a-extensions. Here, we turn towLIC groups: we give an intrinsic (though awk-ward) characterization in terms of existence of certain countable suprema. This results also in an intrinsic characterization ofLIC, previously lacking. Also,wLIC is a hull class (whichLIC is not), and the hullwlA is “somewhere near” the projectable hullpA. The best comparison comes from a (somewhat novel) factoringpA=loc(wpA), wherewpA is the “weakly projectable” hull (defined here), andlocB is the “local monoreflection”; then,wpA≤wlA≤loc(wpA), andpA≤loc(wlA), while with a strong unit, all these coincide. Numerous examples and special cases are examined.     

How To Split Antichains In Infinite Posets*

A maximal antichain A of poset P splits if and only if there is a set B ⊂ A such that for each p ∈ P either b ≤ p for some b ∈ B or p ≤ c for some c ∈ A\B. The poset P is cut-free if and only if there are no x < y < z in P such that [x,z]_P = [x,y]_P ∪ [y,z]_P . By [1] every maximal antichain in a finite cut-free poset splits. Although this statement for infinite posets fails (see [2])) we prove here that if a maximal antichain in a cut-free poset “resembles” to a finite set then it splits. We also show that a version of this theorem is just equivalent to Axiom of Choice. We also investigate possible strengthening of the statements that “A does not split” and we could find a maximal strengthening. * This work was supported, in part, by Hungarian NSF, under contract Nos. T37846, T34702, T37758, AT 048 826, NK 62321. The second author was also supported by Bolyai Grant.     

Fibrewise completion and unstable Adams spectral sequences

We describe a tower of spaces whose inverse limit is a “fiberwise completion” of a fibrationE →B, and study the resulting spectral sequence converging to the homotopy groups of the space of lifts of a mapX →B. This is used to give a proof of the “generalized Sullivan conjecture”. All three authors were supported in part by the National Science Foundation.     

Spectral representation of generalized transition kernels

Let (X, A) be a set with a countably σ-generated “Borel” field of subsets; letW be a “Borel” subset of the product of (X, A) with the real line ℝ and its Borel fieldB; and for eachx∈X let γ _x be a measure on the “slice”W _x={(w, t)∈W:w=x}. It is shown that, under reasonable conditions, the σ-field A⊗B|W can be generated by a real-valued functiong in such a way that, given any measurablef:W→ℝ,g can be chosen to be arbitrarily close tof and so that its “slice-integrals” coincide with those off. This theorem is the first step in a study of monotonic sequences of countably generated σ-fields.     

Exponents of someN-compact spaces

For any topological spaceT, S. Mrówka has defined Exp (T) to be the smallest cardinal κ (if any such cardinals exist) such thatT can be embedded as a closed subset of the productN ^κ of κ copies ofN (the discrete space of cardinality ℵ₀). We prove that forQ, the space of the rationals with the inherited topology, Exp (Q) is equal to a certain covering number, and we show that by modifying some earlier work of ours it can be seen that it is consistent with the usual axioms of set theory including the choice that this number equal any uncountable regular cardinal less than or equal to 2^ℵ ₀. Mrówka has also defined and studied the class ℳ={κ: Exp (N _κ)=κ} whereN _κ is the discrete space of cardinality κ. It is known that the first cardinal not in ℳ must not only be inaccessible but cannot even belong to any of the first ω Mahlo classes. However, it is not known whether every cardinal below 2^ℵ ₀ is contained in ℳ. We prove that if there exists a maximal family of almost-disjoint subsets ofN of cardinality κ, then κ∈ℳ, and we then use earlier work to prove that if it is consistent that there exist cardinals which are not in the first ω Mahlo classes, then it is consistent that there exist such cardinals below 2^ℵ ₀ and that ℳ nevertheless contain all cardinals no greater than 2^ℵ ₀. Finally, we consider the relationship between ℳ and certain “large cardinals”, and we prove, for example, that if μ is any normal measure on a measurable cardinal, then μ(ℳ)=0.     

Going-down pairs of commutative rings

Résumé  D'après D. E. Dobbs, Houston J. Math. 23 (1997), 1–11, nous disons que l'anneau (commutatif)A est un anneau-“going-down” siA/P est un domaine-“going-down” pour chaque idéal premier deA. Etant donné une extension,R⊆T, nous disons que (R, T) est une paire d'anneaux-“going-down” (respectivement, une paire “going-down”) siS est un anneau-“going-down” pour chaque anneau tels queR⊆S⊆T (resp., si “going-down” est satisfait par chaque extension d'anneauxA⊆B tels queR⊆A⊆B⊆T). On montre que siR est un anneau de la dimension 0 (au sens de Krull), alors (R, T) est une paire d'anneaux-“going-down” si et seulement sitr.deg. _R/(P∩R) T/P≤1 pour chaque idéal premier minimalP deT. Des résultats partiels sont obtenus quandR n'est pas de dimension 0. En outre, si (R, T) est une paire d'anneaux-“going-down” tel queT ait un seul idéal premier minimal, alors (R, T) est une paire “going-down”. Des résultats dans l'esprit ci-dessus sont également obtenus pour quelques autres types de paires.

---

---

This paper is taken from the author's doctoral dissertation of May 2000, written under the direction of Professor David E. Dobbs of the University of Tennessee, Knoxville.     

On a problem inspired by determinacy

In this paper, we construct a modelN in which ℵ₁, the only regular uncountable cardinal, is measurable via the club filter. Thus,N is a model for the theory “ZF+κ is regular iffκ is measurable”. This research in this paper was partially supported by NSF Grant DMS-8413736.     

Generalization of a theorem of Gonchar

Let X and Y be two complex manifolds, let D⊂X and G⊂Y be two nonempty open sets, let A (resp. B) be an open subset of ∂D (resp. ∂G), and let W be the 2-fold cross ((D∪A)×B)∪(A×(B∪G)). Under a geometric condition on the boundary sets A and B, we show that every function locally bounded, separately continuous on W, continuous on A×B, and separately holomorphic on (A×G)∪(D×B) “extends” to a function continuous on a “domain of holomorphy” and holomorphic on the interior of .     

Fundamental group of tiles associated to quadratic canonical number systems

If A is a 2 × 2 expanding matrix with integral coefficients, and ⊂ ℤ² a complete set of coset representatives of ℤ²/Aℤ² with |det(A)| elements, then the set ℐ defined by Aℐ = ℐ + is a self-affine plane tile of ℝ², provided that its two-dimensional Lebesgue measure is positive. It was shown by Luo and Thuswaldner that the fundamental group of such a tile is either trivial or uncountable. To a quadratic polynomial x ² + Ax + B, A, B ∈ ℤ such that B ≥ 2 and −1 ≤ A ≤ B, one can attach a tile ℐ. Akiyama and Thuswaldner proved the triviality of the fundamental group of this tile for 2A < B + 3, by showing that a tile of this class is homeomorphic to a closed disk. The case 2A ≥ B + 3 is treated here by using the criterion given by Luo and Thuswaldner. This research was supported by the Austrian Science Fundation (FWF), projects S9610 and S9612, that are part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number theory”.