# A Proof of God

## Related Articles

- Fields and colors. Baudisch, A.; Martin-Pizarro, A.; Ziegler, M. // Algebra & Logic;Mar2006, Vol. 45 Issue 2, p92
We exhibit a simplified version of the construction of a field of Morley rank p with a predicate of rank p - 1, extracting the main ideas for our construction from previous papers and refining the arguments. Moreover, an explicit axiomatization is given and ranks are computed.

- HECKE ALGEBRAS OF CLASSICAL TYPE AND THEIR REPRESENTATION TYPE (Proc. London Math. Soc. (3) 91 (2005) 355ï¿½413). ARIKI, SUSUMU // Proceedings of the London Mathematical Society;Mar2006, Vol. 92 Issue 2, p342
This corrigendum supplies different proofs for those places in the original paper where a certain theorem by Rickard was used.

- Weak Ideals of a C-algebra. Vali, S. Kalesha; Sundarayya, P.; Swamy, U. M. // Southeast Asian Bulletin of Mathematics;2014, Vol. 38 Issue 1, p141
In this paper, we defined Weak ideal of a C-algebra and proved certain important properties of Weak ideals. It is proved that Weak ideals of any C-algebra form an algebraic lattice whenever the C-algebra possesses smallest element with respect to the partial order induced by *.

- Hyperidentities of De Morgan algebras. Movsisyan, Yu. M.; Aslanyan, V. A. // Logic Journal of the IGPL;Dec2012, Vol. 20 Issue 6, p1153
The hyperidentities of the variety of De Morgan algebras are characterized in this article. A finite base of hyperidentities for this variety is found as a consequence. In particular, we obtain that the variety of De Morgan algebras has a decidable hyperequational theory. And finally we prove...

- KAZHDANï¿½LUSZTIG CELLS AND THE MURPHY BASIS. MEINOLF GECK // Proceedings of the London Mathematical Society;Nov2006, Vol. 93 Issue 3, p635
Let $H$ be the Iwahoriï¿½Hecke algebra associated with $S_n$, the symmetric group on $n$ symbols. This algebra has two important bases: the Kazhdanï¿½Lusztig basis and the Murphy basis. We establish a precise connection between the two bases, allowing us to give, for the first time, purely...

- Categorical interpretation of logical derivations and its applications in algebra. Khoury, A.; Soloviev, S.; Méhats, L.; Spivakovsky, M. // Journal of Mathematical Sciences;Jul2010, Vol. 168 Issue 3, p491
We consider certain applications of proof theory to the study of algebraic categories, The case usually studied in the literature is that of free categories with an additional structure. In this paper, we consider several problems in nonfree categories, such as the problem of full coherence, the...

- Brown representability follows from Rosickï¿½'s theorem. Neeman, Amnon // Journal of Topology;Apr2009, Vol. 2 Issue 2, p262
We prove that the dual of a well-generated triangulated category satisfies Brown representability, as long as there is a combinatorial model. This settles the major open problem in [12]. We also prove that Brown representability holds for non-dualized well-generated categories, but that only...

- Kostant's Theorem for Special Filtered Algebras. Futorny, Vyacheslav; Ovsienko, Serge // Bulletin of the London Mathematical Society;Mar2005, Vol. 37 Issue 2, p187
A famous result of Kostant's states that the universal enveloping algebra of a semisimple complex Lie algebra is a free module over its center. An analogue of this result is proved for the class of special filtered algebras. This is then applied to show that the restricted Yangian and the...

- $${\mathbb{Z}}$$ -Graded Weak Modules and Regularity. Dong, Chongying; Yu, Nina // Communications in Mathematical Physics;Nov2012, Vol. 316 Issue 1, p269
It is proved that if any $${\mathbb{Z}}$$ -graded weak module for vertex operator algebra V is completely reducible, then V is rational and C-cofinite. That is, V is regular. This gives a natural characterization of regular vertex operator algebras.