نتایج جستجو برای: برآوردکنندهی m
تعداد نتایج: 538847 فیلتر نتایج به سال:
First we define relations between the v = (s2+s+1}(s+l) flags (point-line incident pairs) of a finite projective plane of order s. Two flags a =(p,i) and b =(p' ,l'), where p and p' are two points and l and l' are two lines of the projective plane, are defined to be first associates if either p = p' or l = l'; second associates if p # p', l # l' but either p is incident also with l' or p' is in...
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...
یکی از جالب ترین پرسش ها در فیزیک نظری، آنتروپی سیاه چاله ها می باشد. برای فهم ویژگی های آماری آنتروپی سیاه چاله ها، وجود یک نظریه ی گرانش کوانتومی ضروری است. نظریه ی ابرریسمان یکی از بهترین نامزدها برای گرانش کوانتومی است. این نظریه دستاوردهای مهمی در توضیح آنتروپی سیاه چاله ها داشته است. گمان می رود که یک نظریه ی شگفت آور 11 بعدی تمام پنج نظریه ی ابرریسمان را در برگیرد، این نظریه به نظریه ی m...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید