We consider the theory of database queries with functions on the complex value data model. The notion of a syntactic criteria, called “embedded allowed”, for queries which guarantee embedded domain independence, is generalized for this model. We show that all embedded allowed calculus (or fix-point) queries are external function-domain independent and continuous. We also develop an algorithm fo...

Understanding input effects is crucial for delineating the roles of Universal Grammar and learning in grammatical development. Unlike the input effects seen in vocabulary development (Huttenlocher, Haight, Bryk, Seltzer, & Lyons, 1991; Hart & Risley, 1995), effects on grammatical development have been more difficult to identify (Newport, Gleitman, & Gleitman, 1977; Hoff-Ginsberg, 1998; Huttenlo...

We investigate certain finiteness questions that arise naturally when studying approximations modulo prime powers of p-adic Galois representations coming from modular forms. We link these finiteness statements with a question by K. Buzzard concerning p-adic coefficient fields of Hecke eigenforms. Specifically, we conjecture that for fixed N , m, and prime p with p not dividing N , there is only...

Let H be a Krull monoid with infinite cyclic class group G and let GP ⊂ G denote the set of classes containing prime divisors. We study under which conditions on GP some of the main finiteness properties of factorization theory—such as local tameness, the finiteness and rationality of the elasticity, the structure theorem for sets of lengths, the finiteness of the catenary degree, and the exist...

A ring has bounded factorizations if every cancellative nonunit a∈R can be written as a product of atoms and there is bound λ(a) on the lengths such factorizations. The factorization property one most basic finiteness properties in study non-unique Every commutative noetherian domain factorizations, but it open whether result holds noncommutative setting. We provide sufficient conditions for pr...

We discuss the solvability of Dirichlet problems type $- \Delta_{p, w} u = \sigma$ in $\Omega$; $u 0$ on $\partial \Omega$, where $\Omega$ is a bounded domain $\mathbb{R}^{n}$, $\Delta_{p, w}$ weighted $(p, w)$-Laplacian and $\sigma$ nonnegative locally finite Radon measure $\Omega$. do not assume finiteness $\sigma(\Omega)$. revisit this problem from potential theoretic perspective provide cri...

certain algebraic invariants of the integral group ring zg of a group g were introduced and investigated in relation to the problem of extending the farrell-tate cohomology, which is defined for the class of groups of finite virtual cohomological dimension. it turns out that the finiteness of these invariants of a group g implies the existence of a generalized farrell-tate cohomology for g whic...

We investigate a new denotational model of linear logic based on the purely relational model. In this semantics, webs are equipped with a notion of “finitary” subsets satisfying a closure condition and proofs are interpreted as finitary sets. In spite of a formal similarity, this model is quite different from the usual models of linear logic (coherence semantics, hypercoherence semantics, the v...