نتایج جستجو برای: m mahmoudi
تعداد نتایج: 538904 فیلتر نتایج به سال:
Jensen formulates classes of notions of forcing in [1]. We take subproper among those. This class is wider than proper, may differ from semiproper of Shelah and is iterable under the revised countable support a la Donder according to [1]. We formulate a class of notion of forcing whose definition involves less parameters than Jensen’s subproper and show that it iterates under a type of revised ...
Proof. If T were not complete, there would a sentence ψ such that neither ψ and ¬ψ would follow from T . But then T ∪ {ψ} and T ∪ {¬ψ} would have infinite models. Since λ ≥ |L|, both would actually have models of cardinality λ by the theorems of Skolem and Löwenheim. But these cannot be isomorphic, because they are not elementarily equivalent, contradicting the λ-categoricity of T . Theorem 1.2...
33 hardware synaptic resource to existing digital computing platforms. Like the transistor, multiple levels of computational abstraction can be defined on top of kT-RAM’s synaptic primitive. To explore these levels of abstraction we have created the KnowmAPI, collection of Java code modules built on top of a kT-RAM emulator with interchangeable cores. In this talk Alex will present a series of ...
یکی از جالب ترین پرسش ها در فیزیک نظری، آنتروپی سیاه چاله ها می باشد. برای فهم ویژگی های آماری آنتروپی سیاه چاله ها، وجود یک نظریه ی گرانش کوانتومی ضروری است. نظریه ی ابرریسمان یکی از بهترین نامزدها برای گرانش کوانتومی است. این نظریه دستاوردهای مهمی در توضیح آنتروپی سیاه چاله ها داشته است. گمان می رود که یک نظریه ی شگفت آور 11 بعدی تمام پنج نظریه ی ابرریسمان را در برگیرد، این نظریه به نظریه ی m...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید