This paper examines the consequences that result when model theory, and by implication all of (mathematical) logic, is no longer based on a correspondence theory of truth.The introductory section sets out to show that the programme of removing correspondence thinking is positive for model...

We present Anderson-Darling and Cramér-von Mises goodness-of-fit procedures for testing if a random sample of size follows an noncentral distribution with degrees of freedom and noncentrality parameter . We consider the case where the null distribution is partially specified; that is, where the...

We make a study of quasi-Hopf algebras and quasi-Hopf subalgebras over certain commutative rings from the point of view of Frobenius algebras. Separability and strong separability of quasi-Hopf algebras are also studied from this point of view

Let be a -recursion category, and let : × → be a weak Turing morphism in . We say that is idempotent if every morphism → in has an idempotent -index. We prove that every -recursion category contains an idempotent weak Turing morphism , together with an algebraic operation which sends...

In this paper, we consider a risk model with two classes of insurance business studied by Yuen[3]. One claim arrival process is a Poisson, process, the other is an Erlang(2) process. With help of a good property of martingales proved in the paper, an Lundberg-like up-bound for the ultimate ruin...

The Riemann's hypothesis (RH) states that the nontrivial zeros of the Riemann zeta-function are of the form = 12+ . Earlier work on the RH based on supersymmetric QM, whose potential was related to the Gauss-Jacobi theta series, allows to provide the proper framework to construct the well...

We define the notion of power stable ideal in the polynomial ring R[X] over an integral domain and prove that any radical ideal in [X], where is a Dedekind domain, is power stable. We then give an example of a primary ideal which is not power stable

Let and be nontrivial involutions; thus and . We say that is (,)-symmetric ((,)-skew symmetric) if = = −A). Let be the class of (, )-symmetric matrices or the class of , S)- skew symmetric matrices. Let and . We study the following problems:(i) Give necessary and sufficient conditions for the...

We review the depth two and Hopf algebroid-Galois theory in [12], and specialize to induced representations of semisimple algebras and character theory of finite groups. We show that depth two subgroups over the complex numbers are normal subgroups. As a converse we observe that normal Hopf...