Related papers: Dependence and Isolated Extensions

In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…

A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…

So far, one-factor copulas induce conditional independence with respect to a latent factor. In this paper, we extend one-factor copulas to conditionally dependent models. This is achieved through new representations which allow to build new…

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

Joel Hamkins asks whether there is a $\Pi^0_1$-formula $\rho(x)$ such that $\rho(\phi)$ is independent over ${\sf PA}+\phi$, if this theory is consistent, where this construction is extensional in $\phi$ with respect to ${\sf PA}$-provable…

In [Appl. Comput. Harmon. Anal., 46(3):664-673, 2019], O. Christensen and M. Hasannasab observed that assuming the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n \in \mathbb{N}$ (where $(e_n)_{n \in \mathbb{N}}$ is a…

In this paper, we propose an abstract definition of dependent type theories as essentially algebraic theories. One of the main advantages of this definition is its composability: simple theories can be combined into more complex ones, and…

One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

Team Semantics generalizes Tarski's Semantics by defining satisfaction with respect to sets of assignments rather than with respect to single assignments. Because of this, it is possible to use Team Semantics to extend First Order Logic via…

We introduce dependent adders. A dependent adder $A$ has for every $x \in A$ a way of adding together $x$ many elements of $A$. We provide examples from many disparate branches of mathematics. Examples include the field with one element…

In this article, we prove two new versions of a theorem proven by Efron in [Efr65]. Efron's theorem says that if a function $\phi : \mathbb{R}^2 \rightarrow \mathbb{R}$ is non-decreasing in each argument then we have that the function $s…

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete residuated lattices. The dependencies allow us to express…

We extend the treatment of functional dependence, the basic concept of dependence logic, to include the possibility of dependence with a limited number of exceptions. We call this approximate dependence. The main result of the paper is a…

We show that for any semilinear partial differential equation of order m, the infinitesimals of the independent variables depend only on the independent variables and, if m>1 and the equation is also linear in its derivatives of order m-1…

Let $\phi\colon A\rightarrow B$ be an algebra extension. We prove that if $\phi$ is split, the derived-discreteness of $A$ implies the derived-discreteness of $B$; if $\phi$ is separable and the right $A$-module $B$ is projective, the…

Ordinary first-order logic has the property that two formulas \phi and \psi have the same meaning in a structure if and only if the formula ``\phi iff \psi'' is true in the structure. We prove that independence-friendly logic does not have…

This paper studies an asymptotic framework for conducting inference on parameters of the form $\phi(\theta_0)$, where $\phi$ is a known directionally differentiable function and $\theta_0$ is estimated by $\hat \theta_n$. In these settings,…