This paper establishes a new limitative relation between the polymorphic lambda calculus and the kind of higher order type theory which is em bodied in the logic of toposes It is shown that any embedding in a topos of the cartesian closed category of closed types of a model of the poly morphic lambda calculus must place the poly morphic types well away from the powertypes of the topos in the se...

in this study, we investigate the further properties of quasi irresolute topological groupsdened in [20]. we show that if a group homomorphism f between quasi irresolute topologicalgroups is irresolute at eg, then f is irresolute on g. later we prove that in a semi-connectedquasi irresolute topological group (g; ; ), if v is any symmetric semi-open neighborhood ofeg, then g is generated by v...

Given a morphism h prolongable on a and an integer p, we present an algorithm that calculates which letters occur infinitely often in congruent positions modulo p in the infinite word h(a). As a corollary, we show that it is decidable whether a morphic word is ultimately p-periodic. Moreover, using our algorithm we can find the smallest similarity relation such that the morphic word is ultimate...

Rudolf Freund studied the splicing systems on graphs and strings. In this paper, we introduced the definition of semigraph folding for the spliced DNA molecule and shown the result that an nspliced semigraph can be folded onto an edge and two semiedges. On characterization of the morphic and antimorphic evolution for the alphabet for the folding of spliced semigraphs, we obtain the set of all p...

As an application of the theory Lawson homology and morphic cohomology, Walker proved that Abel-Jacobi map factors through another regular homomorphism. In this note, we give a direct proof theorem.

The word u = abaaba satisfies f(u) = u where f maps b to aba and cancels a. Such words, which are fixed points of a nontrivial morphism, are called morphically imprimitive. On the other hand, the word u′ = abba can be easily verified to be morphically primitive, which means that the only morphism satisfying f(u′) = u′ defined on {a, b}∗ is the identity. Fixed points of word morphisms and morphi...