Kapur and Musser studied the theoretical basis for proof by consistency and ob-tained an inductive completeness result: p q if and only if p = q is true in everyinductive model. However, there is a loophole in their p...Kapur and Musser studied the theoretical basis for proof by consistency and ob-tained an inductive completeness result: p q if and only if p = q is true in everyinductive model. However, there is a loophole in their proof for the soundness part:p = q implies p = q is true in every inductive model. The aim of this paper is to give acorrect characterization of inductive soundness from an algebraic view by introducingstrong inductive models.展开更多
Gauss sums play an important role in number theory and arithmetic geometry. The main objects of study in this paper are Gauss sums over the finite field with q elements. Recently, the problem of explicit evaluation of...Gauss sums play an important role in number theory and arithmetic geometry. The main objects of study in this paper are Gauss sums over the finite field with q elements. Recently, the problem of explicit evaluation of Gauss sums in the small index case has been studied in several papers. In the process of the evaluation, it is realized that a sign (or a root of unity) ambiguity unavoidably occurs. These papers determined the ambiguities by the congruences modulo L, where L is certain divisor of the order of Gauss sum. However, such method is unavailable in some situations. This paper presents a new method to determine the sign (root of unity) ambiguities of Gauss sums in the index 2 case and index 4 case, which is not only suitable for all the situations with q being odd, but also comparatively more efficient and uniform than the previous method.展开更多
文摘Kapur and Musser studied the theoretical basis for proof by consistency and ob-tained an inductive completeness result: p q if and only if p = q is true in everyinductive model. However, there is a loophole in their proof for the soundness part:p = q implies p = q is true in every inductive model. The aim of this paper is to give acorrect characterization of inductive soundness from an algebraic view by introducingstrong inductive models.
基金This work was supported in part by the National Natural Science Foundation of China (Grant Nos. 10990011, 11001145, 61170289) and the Ph. D. Programs Foundation of Ministry of Education of China (No. 20090002120013).
文摘Gauss sums play an important role in number theory and arithmetic geometry. The main objects of study in this paper are Gauss sums over the finite field with q elements. Recently, the problem of explicit evaluation of Gauss sums in the small index case has been studied in several papers. In the process of the evaluation, it is realized that a sign (or a root of unity) ambiguity unavoidably occurs. These papers determined the ambiguities by the congruences modulo L, where L is certain divisor of the order of Gauss sum. However, such method is unavailable in some situations. This paper presents a new method to determine the sign (root of unity) ambiguities of Gauss sums in the index 2 case and index 4 case, which is not only suitable for all the situations with q being odd, but also comparatively more efficient and uniform than the previous method.