Extensions of the two variable fragment of FO (henceforth denoted as FO) with interpreted predicates have been of interest recently in the context of verification of infinite state systems and semi-structured data (in particular XML). We briefly discuss one specific problem, namely FO over datawords. Datawords are linear orders (denoted by ≺ where ≺ denotes the successor relation) labelled by a...

The questions concerning existence of Aronszajn and Souslin trees are of the oldest and most dealt-with in modern set theory. There are many results about existence of h+-Aronszajn trees for regular cardinals A. For these cases the answer is quite complete. (See Jech [6] and Kanamory & Magidor [8] for details.) The situation is quite different when A is a singular cardinal. There are very few r...

The concept of disjoint NBMOs in diradical alternant hydrocarbons (AHs) is reviewed and extended to diradical nonalternant hydrocarbons (nonAHs). A valence-bond (VB) method for recognizing disjoint versus nondisjoint NBMOs (nonbonding molecular orbitals) in diradicals is presented. When circumscribed with hexagonal rings, disjoint diradicals produce nonradical polycyclic successors and nondisjo...

Although the delayed exfoliation of primary teeth among children is a common dental problem, simultaneous presence of primary teeth and corresponding successors is a rare feature in adults. This paper reports an unusual case in which both permanent teeth (molars, premolars, and canines) and primary teeth were present simultaneously. This report describes questions concerning...

of time the influence of matter on life and mind will gradually become obliterated and replaced by the influence of mind and its transcendent successors in the great steps of creative evolution." Therefore, "the remote successors of man may be free and independent of matter with infinite possibilities of future progress notwithstanding the complete dissolution of the universe." Pure thought, th...

family is a social-biological institution and it is one of the most fundamental institutions of society. this article explores the structure of the family institution in iran at the historical period from the taherid dynasty to mongols, to analyze the impact of the bondswomen on twofold function of the family. the family is taken into consideration as the institution which has been provided the...