نتایج جستجو برای: anti forcing number
تعداد نتایج: 1521825 فیلتر نتایج به سال:
An edge geodetic set of a connected graph G of order p ≥ 2 is a set S ⊆ V (G) such that every edge of G is contained in a geodesic joining some pair of vertices in S. The edge geodetic number g1(G) of G is the minimum cardinality of its edge geodetic sets and any edge geodetic set of cardinality g1(G) is a minimum edge geodetic set of G or an edge geodetic basis of G. An edge geodetic set S in ...
مقدمه : سقط شایع ترین عارضه بارداری بوده و در ? 15 حاملگی ها رخ می دهد . اختلالات ایمنولوژیک یکی از علل شایع سقط می باشد که خود شامل فاکتورهای آلوایمیون و اتوایمیون می باشد . با توجه به نقش آنتی بادی ها ضد تیروئیدی از جمله anti-tpo به عنوان یک فاکتور اتوایمیون در ایجاد سقط های خودبه خودی ومکرر ، در این مطالعه به بررسی ارتباط بین این دو می پردازیم . اهداف : هدف کلی : بررسی ارتباط بین سطح anti-...
An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C∗-embedded subspaces of ω∗, showing that there can be such sets of cardinality c and that it is consistent that ω∗ \ {p} is C∗-embedded for some but not all p ∈ ω∗.
By the technique of forcing, some new independence results are proved for the alternative set theory (AST) and similar weak theories: The scheme of choice is independent both of AST and of second order arithmetic, axiom of constructibility is independent of AST plus schemes of choice.
For a boundary-value problem of an ordinary differential equation, we prove that the anti-maximum principle holds when the forcing term satisfies an integral inequality. As applications, we consider linear and nonlinear models arising from fishery management problems.
We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel’s AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman’s method of defining the extensional membership relation ∈ by means of ...
Linear forcing has been proposed as a useful method for forced isotropic turbulence simulations because it is a physically realistic forcing method with a straightforward implementation in physical-space numerical codes T. S. Lundgren, “Linearly forced isotropic turbulence,” Annual Research Briefs Center for Turbulence Research, Stanford, CA, 2003 , p. 461; C. Rosales and C. Meneveau, “Linear f...
A large number of processes are involved in the chain from emissions of aerosol precursor gases and primary particles to impacts on cloud radiative forcing. Those processes are manifest in a number of relationships that can be expressed as factors dlnX/dlnY driving aerosol effects on cloud radiative forcing. These factors include the relationships between cloud condensation nuclei (CCN) concent...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید