Related papers: Dependence and Isolated Extensions

A positive definite and integral quadratic form $f$ is called irrecoverable if there is a quadratic form $F$ such that it represents all proper subforms of $f$, whereas it does not represent $f$ itself. In this case, $F$ is called an…

In the case of finite measures on finite spaces, we state conditions under which {\phi}- projections are continuously differentiable. When the set on which one wishes to {\phi}- project is convex, we show that the required assumptions are…

For a theory with a pseudo scalar coupling $\phi F\tilde F$ and in the case that there is a constant electric or magnetic strength expectation value, we compute the interaction potential within the structure of the gauge-invariant but…

We study the asymptotical behavior of the $p$-adic singular Fourier integrals $$ J_{\pi_{\alpha},m;\phi}(t) =\bigl< f_{\pi_{\alpha};m}(x)\chi_p(xt), \phi(x)\bigr> =F\big[f_{\pi_{\alpha};m}\phi\big](t), \quad |t|_p \to \infty, \quad t\in…

We prove that certain pairs of ordered structures are dependent. Among these structures are dense and tame pairs of o-minimal structures and further the real field with a multiplicative subgroup with the Mann property, regardless of whether…

When $\{\alpha_i\}_{1 \leq i \leq m}$ is a sequence of distinct non-zero elements of an integral domain $A$ and $\gamma$ is a common multiple of the $\alpha_i$ in $A$ we obtain, by means of a simple identity for the Vandermonde determinant,…

Let $G=\{e^{tA}:t\in\mathbb{R}\}$ be a closed one-parameter subgroup of the general linear group of matrices of order $n$ acting on $\mathbb{R}^{n}$ by matrix-vector multiplications. We assume that all eigenvalues of $A$ are rationally…

We define a product of algebraic probability spaces equipped with two states. This product is called a conditionally monotone product. This product is a new example of independence in non-commutative probability theory and unifies the…

In an independence model, the triplets that represent conditional independences between singletons are called elementary. It is known that the elementary triplets represent the independence model unambiguously under some conditions. In this…

We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $\theta$ there is a dependent theory $T$ of size $\theta$ such that for all $\kappa$ and $\delta$,…

A space $G(M, \varPhi)$ of infinitely differentiable functions in ${\mathbb R}^n$ constructed with a help of a family $\varPhi=\{\varphi_m\}_{m=1}^{\infty}$ of real-valued functions $\varphi_m \in~C({\mathbb R}^n)$ and a logarithmically…

We classify one-element extensions of a hyperplane arrangement by the induced adjoint arrangement. Based on the classification, several kinds of combinatorial invariants including Whitney polynomials, characteristic polynomials, Whitney…

A $k$-essence scalar field model having (non canonical) Lagrangian of the form $L=-V(\phi)F(X)$ where $X=1/2g^{\mu\nu}\nabla_{\mu}\phi\nabla_{\nu}\phi$ with constant $V(\phi)$ is shown to be consistent with luminosity distance-redshift data…

We prove that for every separately twice differentiable solution $f$ of the PDE $f"_{xx}=f"_{yy}$ is of the form $f(x,y)=\phi(x+y)+\psi(x-y)$ for some twice differentiable functions $\phi, \psi$.

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we…

We consider a theory of a scalar one-component field $\phi$ coupled to a scalar $N$-component field $\chi$. Using large $N$ techiques we calculate the effective potential in the leading order in $1/N$. We show that this is equivalent to a…

Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is $k$-trivial for some $k < \omega$ and for finite sets of real elements. Now suppose that, in…

We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these…

We give a systematic and self-contained account of the construction of geometrically decomposed bases and degrees of freedom in finite element exterior calculus. In particular, we elaborate upon a previously overlooked basis for one of the…