Utopian thoughts have precedence as old as human history. Islamic civilization utopian thought owes its progress to the Farabi&rsquos utopian concept and expansion and academic study of utopian term in west owes to the Thomas More Utopia book. Theoretically, Farabi&rsquos utopian thoughts influenced development of utopian system in both Islam and Western civilizations. By emphasis on Farabi&rsq...

Building on [4], [8] and [9] we study which cardinals are characterizable by a Scott sentence, in the sense that φM characterizes κ, if it has a model of size κ, but not of κ. We show that if אα is characterizable by a Scott sentence and β < ω1, then אα+β is characterizable by a Scott sentence. If 0 < γ < ω1, then the same is true for 2אα+γ . Also, אא0 α is characterizable by a Scott sentence. ...

We extend the Billera–Ehrenborg–Readdy map between the intersection lattice and face lattice of a central hyperplane arrangement to affine and toric hyperplane arrangements. For arrangements on the torus, we also generalize Zaslavsky’s fundamental results on the number of regions.

A reduction process to construct hidden hierarchies corresponding to the Gelfand– Dickey ones is outlined in a specific example, not yet treated in the literature.

We show that א2 ≤ b < g is consistent. This work is dedicated to James Baumgartner on the occasion of his

We present some techniques in C.C.C. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of X,-dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two Xi-dense subsets of R are isomorphic, is consistent. We e.g. prove Con(BA+ (2’0 > X,)). Let (KH, S)...

We try to control many cardinal characteristics by working with a notion of orthogonality between two families of forcings. We show that b < g is consistent. This work is dedicated to James Baumgartner on the occasion of his 60th birthday.

My main research interest is software engineering, with a focus on improving programmer productivity. I develop techniques and tools that make both managers and developers aware of history: learning from past successes and failures, helps us create better software. My research activities cover program analysis, aspect-oriented programming, empirical studies, and in particular, the analysis of s...