The collection of isomorphism classes of nitely generated rank-ordered sets is shown to be a nitely generated rank-ordered set again. This is used to construct a model of the simply typed lambda calculus extended by the assumption Type: Type. Beside this, the structure of rank-ordered sets is studied. They can be represented as inverse limits of !-cochains of substructures, each being a retract...

Nanowire is a cylindrical nano-structure with nanometer dimensions. In this research, the studied nanowire was made from the magnetic triple Ni-Fe-Co alloy. We utilized ordered porous anodic aluminum oxide as a template for the nanowire deposition. The nanowire arrays were electrodeposited in the cylindrical pores of the oxide layer by AC potential in a simple sulfate bath. Then the relation ...

In this paper, we endow set S with the structure of an ordered semigroup and define “intuitionistic fuzzy” analogous for several notions that have been proved to be useful in the theory of ordered semigroups and give some equivalent conditions of these definitions. Then we characterize the completely regular and the strongly regular ordered semigroups by means of intuitionistic fuzzy bi-ideals.