Related papers: Dependence and Isolated Extensions
We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…
Reynolds' parametricity originally equips types with proof-irrelevant binary propositional relations over the types. But such relations can also be taken proof-relevant or unary, and described either in an indexed or fibred way.…
We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable. Intuitively, with Boolean dependence…
Let $F$ be a characteristic zero differential field with an algebraically closed field of constants and let $E$ be a no new constants extension of $F$. We say that $E$ is an \textsl{iterated antiderivative extension} of $F$ if $E$ is a…
We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories in which both monoidal structures share a unit and the first…
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.
We study $\alpha$-adic expansions of numbers in an extension field, that is to say, left infinite representations of numbers in the positional numeration system with the base $\alpha$, where $\alpha$ is an algebraic conjugate of a Pisot…
The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense.…
Let $R$ denote a 2-fir. The notions of F-independence and algebraic subsets of R are defined. The decomposition of an algebraic subset into similarity classes gives a simple way of translating the F-independence in terms of dimension of…
The paper gives estimations for the sizes of the the following sets: (1) the set of strings that have a given dependency with a fixed string, (2) the set of strings that are pairwise \alpha independent, (3) the set of strings that are…
Kim's Lemma is a key ingredient in the theory of forking independence in simple theories. It asserts that if a formula divides, then it divides along every Morley sequence in type of the parameters. Variants of Kim's Lemma have formed the…
We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…
We prove that if $\phi:(X,0)\to (X,0)$ is a finite endomorphism of an isolated singularity such that $\operatorname{deg}(\phi)\geq 2$ and $\phi$ is \'etale in codimension 1, then $X$ is $\mathbb{Q}$-Gorenstein and log canonical.
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 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…
To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary…
We consider path integration of a fermionic oscillator with a one-parameter family of boundary conditions with respect to the time coordinate. The dependence of the fermion determinant on these boundary conditions is derived in a closed…
The main purpose of this work is to characterize derivations through functional equations. This work consists of five chapters. In the first one, we summarize the most important notions and results from the theory of functional equations.…
We observe that a simple condition suffices to describes non-forking independence over models in a stable theory. Under mild assumptions, this description can be extended to non-forking independence over algebraically closed subsets,…
The problem of extending derivations of a field $F$ to an $F-$algebra $B$ is widely studied in commutative algebra and non-commutative ring theory. For example, every derivation of $F$ extends to $B$ if $B$ is a separable algebraic…