Related papers: Extensional Independence
Joel Hamkins asks whether there is a $\Pi^0_1$-formula $\rho(x)$ such that $\rho({\ulcorner \phi \urcorner})$ is independent over ${\sf PA}+\phi$, if this theory is consistent, where this construction is extensional in $\phi$ with respect…
In this paper, we show that \phi is a dependent formula if and only if all \phi-types have an extension to a \phi-isolated \phi-type that is an "elementary \phi-extension" (see Definition 2.3 in the paper). Moreover, we show that the domain…
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…
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…
We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
Let $E$ be the attractor of an iterated function system $\{\phi_i(x)=\rho R_ix+a_i\}_{i=1}^N$ on $\Bbb R^d$, where $0<\rho<1$, $a_i\in \Bbb R^d$ and $R_i$ are orthogonal transformations on $\Bbb R^d$. Suppose that $\{\phi_i\}_{i=1}^N$…
We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and…
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.…
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…
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…
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…
We improve the theorem on continuous dependence of solutions of functional differential equations (see J. Hale, Functional differential equations, theorem 5.1), using some new results on continuous convergences. Namely, we prove this…
I review the classical conclusions drawn from Goedel's meta-reasoning establishing an undecidable proposition GUS in standard PA. I argue that, for any given set of numerical values of its free variables, every recursive arithmetical…
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…
We consider the following fundamental problems: (1) Constructing $k$-independent hash functions with a space-time tradeoff close to Siegel's lower bound. (2) Constructing representations of unbalanced expander graphs having small size and…
We investigate the problem of the existence of a density matrix rho on the product of three Hilbert spaces with given marginals on the pair (1,2) and the pair (2,3). While we do not solve this problem completely we offer partial results in…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
This paper follows on from our previous work, where we introduced the notion of \emph{confined extensions}, and our purpose is to widen the context in which such extensions appear. We do so in the setup of Poisson suspensions: we take a…
We prove a conservativity result for extensional type theories over propositional ones, i.e. dependent type theories with propositional computation rules, or computation axioms, using insights from homotopy type theory. The argument…