نتایج جستجو برای: axiom of separation

تعداد نتایج: 21172470  

Journal: :International Journal of Computer Applications 2012

2007
ANTONIO MONTALBÁN

We study the proof theoretic strength of the Π1-separation axiom scheme. We show that Π1-separation lies strictly in between the ∆ 1 1-comprehension and Σ 1 1choice axiom schemes over RCA0.

Journal: :Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 1990

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت معلم تهران - دانشکده علوم 1370

determination of uranium in natural water and complex solutions using ion exchange chromatography: a combined procedure using ion exchange chromatography and uv-vis spectrophotometry techniques has been developed to measure uranum in natural water and complex solutions. after conditicing , one hundred milli liters of sample solutions have been passed through an ion exchange column,pachked with ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه رازی - دانشکده علوم 1392

a novel acrylic acid-functionalized fe3o4 magnetic nanoparticle with a core-shell structure was developed for utilization as a heterogeneous organosuperacid in chemical transformations. the structural, surface, and magnetic characteristics of the nanosized catalyst were investigated by various techniques such as transmission electron microscopy (tem), thermogravimetric analysis (tga), and ft-ir...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه رازی - دانشکده علوم 1390

in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...

Journal: :Order 2002
Guram Bezhanishvili Ray Mines Patrick J. Morandi

Let R be a quasi-order on a compact Hausdorff topological space X. We prove that if X is scattered, then R satisfies the Priestley separation axiom if and only if R is closed in the product space X × X. Furthermore, if X is not scattered, then we show that there is a quasi-order on X that is closed in X × X but does not satisfy the Priestley separation axiom. As a result, we obtain a new charac...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده زبانهای خارجی 1391

the present study has tried to accomplish an analysis of margaret atwood’s novels oryx and crake, and the year of the flood in the light of posthuman and cyborg theories. considering posthumanism as a critical reading of some notions of humanism focus of which in this thesis has been identity, new definitions for humanity and human identity are formed. haraway’s cyborg, as one possible new figu...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید