نتایج جستجو برای: de morgan semi heytingalgebra
تعداد نتایج: 1674008 فیلتر نتایج به سال:
— Let p be an odd prime, K a finite extension of Qp and G := Gal(Qp/K) the Galois group. We construct and study filtration structures associated torsion semi-stable representations of G. In particular, we prove that two semi-stable representations share the same p-adic Hodge-Tate type if they are congruent modulo pn with n > c′, where c′ is a constant only depending on K and the differences bet...
It is easy to think of possible tensions between one’s faith and academic reality, but I wish to address here a positive relation, namely, the fact that the academy is itself indebted to religious faith. In particular, I want to point to the impact of Jewish and Christian traditions on a phase of thought that began at the end of the nineteenth century. A significant theme of this thinking was t...
Let p be a prime, K a finite extension of Qp and T a finite free Zp-representation of Gal(K̄/K). We prove that T ⊗Zp Qp is semi-stable (resp., crystalline) with Hodge-Tate weights in {0, . . . , r} if and only if for all n, T/pnT is torsion semi-stable (resp., crystalline) with Hodge-Tate weights in {0, . . . , r}. Résumé. (Représentations galoisiennnes p-adiques de torsion) Soient p un nombre p...
This work deals with the numerical solution of the Vlasov equation. This equation gives a kinetic description of the evolution of a plasma, and is coupled with Poisson’s equation for the computation of the self-consistent electric field. The coupled model is non linear. A new semi-Lagrangian method, based on forward integration of the characteristics, is developed. The distribution function is ...
[1] There is, among scholars of religion, a recent materialist turn that approaches the study of religion not primarily as a set of de-contextualized beliefs or as free-floating symbol-systems but as embodied practices. Part of this turn involves interdisciplinary attention to the visual aspects of belief. Thus images are no longer conceived mainly as illustrations of textual narratives or as s...
Recurrence of Frontometaphyseal Dysplasia in Two Sisters With a Mutation in FLNA and an Atypical Paternal Phenotype: Insights Into Genotype–Phenotype Correlation Debora Bertola,* Maria Rita Passos-Bueno, Alexandre Pereira, Chong Kim, Tim Morgan, and Stephen P. Robertson Faculdade de Medicina da Universidade de São Paulo, Unidade de Genética do Instituto da Criança, São Paulo, Brazil University ...
In this work it is shown that semi-orthogonal functions are suitable tool to obtain new results about some classic topics of Orthogonal Polynomials on the unit circle. More precisely, it is raised the study of the orthogonality mesure through the zeros of semi-orthogonal functions. Besides, it can be chosen a suitable basis relates with semi-orthogonal functions, so that the representation of t...
CNL, intoduced by de Groote and Lamarche [11], is a conservative extension of Nonassociative Lambek Calculus (NL) by a De Morgan negation ∼, satisfying A∼/B ⇔ A\B∼. [11] provides a fine theory of proof nets for CNL and shows cut elimination and polynomial decidability. Here the purely proof-theoretic approach of [11] is enriched with algebras and phase spaces for CNL. We prove that CNL is a str...
0
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید