We say a countable model A has a 0-basis if the types realized in A are uniformly computable. We say A has a (d-)decidable copy if there exists a model B ∼= A such that the elementary diagram of B is (d-)computable. Goncharov, Millar, and Peretyat’kin independently showed there exists a homogeneous model A with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0′ be any low2 ...

We present an application of the program of groupoidification leading up to a sketch of a categorification of the Hecke algebroid—the category of permutation representations of a finite group. As an immediate consequence, we obtain a categorification of the Hecke algebra. We suggest an explicit connection to new higher isomorphisms arising from incidence geometries, which are solutions of the Z...

Numerous studies have investigated economies of scale and scope in higher education as a means of providing public and private providers of college and university teaching and research and their stakeholders with knowledge of the cost structures that underpin provision in this economically and socially important sector. However, debate continues on the precise nature of these economies of scale...

A new regression-based approach is proposed for modeling marketing the analysis, the functional form of the effect of each independent variable, and the appropriate transformation for the dedatabases. The approach is Bayesian and provides a number of significant pendent variable. improvements over current methods. Independent variables can enter into This article introduces a highly flexible Ba...

When there are several replicates available at each level combination of two factors, testing non-additivity can be done by the usual two-way ANOVA method. However, the ANOVA method cannot be used when the experiment is unreplicated (one observation per cell of the two-way classification). Several tests have been developed to address non-additivity in unreplicated experiments starting with Tuke...

Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...

Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by decomposing large functions into small functions. Tuck consists of three steps: Wedge, Split, and Fold. A wedge—a subset of statements in a slice—contains computations that are related and that may create a meaningful ...

The impact-parameter representation of the spin-flip amplitude of hadron elastic scattering is examined in different unitarisation schemes, taking the Born term of the spin-flip amplitude from the Dubna Dynamical Model (DDM). It is shown that the basic properties of the unitarisation schemes are independent of the functional form used for unitarisation but heavily depend on the asymptotic value...

We discuss some of the origins and applications of the notion of higher dimensional algebra, with the hope that this will encourage new insights into the development of the mathematics of complex hierarchical systems.

This paper uses the marginal treatment effect (MTE) to unify the nonparametric literature on treatment effects with the econometric literature on structural estimation using a nonparametric analog of a policy invariant parameter; to generate a variety of treatment effects from a common semiparametric functional form; to organize the literature on alternative estimators; and to explore what poli...