923 search results - page 15 / 185 » On a generalization of Stickelberger's Theorem |
CSL
2002
Springer
13 years 6 months ago
2002
Springer
Abstract. We show that Gentzen's sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to la...
JCT
2010
13 years 5 months ago
2010
We prove a generalization of Pr¨omel’s theorem to finite structures with both relations and functions.
CIE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Intuitively, a recursion theorem asserts the existence of selfreferential programs. Two well-known recursion theorems are Kleene’s Recursion Theorem (krt) and Rogers’...
ACS
2006
13 years 6 months ago
2006
We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J....
AML
2006
13 years 6 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...