The erdös-dushnik-miller theorem for topological graphs and orders

A topological graph is a graph G=(V, E) on a topological space V such that the edge set E is a closed subset of the product space V x V. If the graph contains no infinite independent set then, by a well-known theorem of Erdös, Dushnik and Miller, for any infinite set LV, there is a subset LL of the same oardinality |L| = |L| such that the restriction G L is a complete graph. We investigate the question of whether the same conclusion holds if we weaken the hypothesis and assume only that some dense subset AV does not contain an infinite independent set. If the cofinality cf (|L|)>|A|, then there is an L as before, but if cf (|L|)<-|A|, then some additional hypothesis seems to be required. We prove that, if the graph GA is a comparability graph and A is a dense subset, then for any set LV such that cf (|L|)>, there is a subset LL of size |L|=|L| such that GL is complete. The condition cf (|L|)> is needed.Research supported by NSERC grant #A5198.     

γ-sets and other singular sets of real numbers

A family of $\text{J}$ of open subsets of the real line is called an ω-cover of a set X iff every finite subset of X is contained in an element of $\text{J}$. A set of reals X is a γ-set iff for every ω-cover $\text{J}$ of X there exists $\text{〈D}{}_{\mathrm{n}}\text{: n < ω〉?}\text{J}{}^{\mathrm{\omega }}$ such that

In this paper we show that assuming Martin's axiom there is a γ-set X of cardinality the continuum.     

Amorphe Potenzen kompakter Räume

A set is amorphous, if it is not a union of two disjoint infinite subsets. The following variants of the Tychonoff product theorem are investigated in the hierarchy of weak choice principles. TA1: An amorphous power of a compactT ₂ space is compact. TA2: An amorphous power of a compactT ₂ space which as a set is wellorderable is compact. In ZF⁰TA1 is equivalent to the assertion, that amorphous sets are finite. RT is Ramsey's theorem, that every finite colouring of the set ofn-element subsets of an infinite set has an infinite homogeneous subset and PW is Rubin's axiom, that the power set of an ordinal is wellorderable. In ZF⁰RT+PW implies TA2. Since RT+PW is compatible with the existence of infinite amorphous sets, TA2 does not imply TA1 in ZF⁰. But TA2 cannot be proved in ZF⁰ alone. As an application, we prove a theorem of Stone, using a weak wellordering axiomD ₃ (a set is wellorderable, if each of its infinite subsets is structured) together with RT.

Diese Arbeit ist Teil der Habilitationsschrift des Verfassers im Fachgebiet Mathematische Analysis an der Technischen Universität Wien.     

On the affinity of cytosine towards electrophiles

Ab initio SCF computations on the intrinsic preferences of the H⁺, CH ₃ ⁺ and C₂H ₅ ⁺ cations towards the two principal sites of protonation or alkylation on cytosine, N₃ or O₂, show that this preference undergoes a continuous modification with the increase in size and complexity of the cation. N₃ is the preferred site of fixation of H⁺, O₂ the preferred site of C₂H ₅ ⁺ , while CH ₃ ⁺ has no marked preference. The exchange repulsion term of the binding energy appears responsible for the preference of C₂H ₅ ⁺ for O₂.This work was supported by the Ligue Francaise contre le Cancer and the National Foundation for Cancer Research (USA)     

A family of Hermite interpolants by bisection algorithms

A two point subdivision scheme with two parameters is proposed to draw curves corresponding to functions that satisfy Hermite conditions on [a, b]. We build two functionsf andf ¹ on dyadic numbers and for some values of the parameters,f is in 04741gj7g2/xxlarge8467.gif" alt="ell" align="BASELINE" BORDER="0">¹ withf ¹=f04741gj7g2/xxlarge8242.gif" alt="prime" align="BASELINE" BORDER="0">. Examples are provided which show how different the curves can be.     

Solvability and continuous dependence results for second order nonlinear evolution inclusions with a Volterra-type operator

The paper deals with second order nonlinear evolution inclusions and their applications. We study evolution inclusions involving a Volterra-type integral operator, which are considered within the framework of an evolution triple of spaces. First, we deliver a result on the unique solvability of the Cauchy problem for the inclusion by combining a surjectivity result for multivalued pseudomonotone operators and the Banach contraction principle. Next, we provide a theorem on the continuous dependence of the solution to the inclusion with respect to the operators involved in the problem. Finally, we consider a dynamic frictional contact problem of viscoelasticity for materials with long memory and indicate how the result on evolution inclusion is applicable to the model of the contact problem.     

A new first-principles approach for the catenary

This paper reports on findings relating to catenaries since the publication in Expositiones Mathematicae of Denzler and Hinz’s pioneering 1999 paper, Catenaria Vera – the True Catenary. New governing differential equations and explicit solutions are derived for the catenary in positive and negative radial potentials with physical constants incorporated in the derivations. In keeping with precedent by Denzler and Hinz, a measure of historical perspective is offered as homage to Gottfried Wilhelm Leibniz, Christiaan Huygens and Johann Bernoulli, the original first-solvers of the catenary.     

An anisotropic area-preserving flow for convex plane curves

This paper will deal with an anisotropic area-preserving flow which keeps the convexity of the evolving curve and the limiting curve converges to a homothety of a symmetric smooth strictly convex plane curve.     

Splitting families of sets in ZFC

Miller's 1937 splitting theorem was proved for every finite n>0$n>0$ for all ρ-uniform families of sets in which ρ is infinite. A simple method for proving Miller-type splitting theorems is presented here and an extension of Miller's theorem is proved in ZFC for every cardinal ν for all ρ  -uniform families in which ρ≥_?ω(ν)$\rho \ge {\mathrm{?}}_{\omega }(\nu )$. The main ingredient in the method is an asymptotic infinitary Löwenheim–Skolem theorem for anti-monotone set functions.