Related papers: Geometric condition for Dependent Choice
We consider an ontology, in which contextual nonlocal hidden variables are stored as pre-existing possibilities in a repository outside space-time; and in which the context can be chosen ``freely'' (measurement independence) by each agent,…
We consider a Gaussian sequence space model $X_{\lambda}=f_{\lambda} + \xi_{\lambda},$ where $\xi $ has a diagonal covariance matrix $\Sigma=\diag(\sigma_\lambda ^2)$. We consider the situation where the parameter vector $(f_{\lambda})$ is…
This paper investigates the dynamics of vegetation patterns in water-limited ecosystems using a generalized Klausmeier model that incorporates non-local plant dispersal within a finite habitat. We establish the well-posedness of the system…
We study the effects of noncommutativity of spacetime geometry on the thermodynamical properties of the de Sitter horizon. We show that noncommutativity results in modifications in temperature, entropy and vacuum energy and that these…
We give several topological/combinatorial conditions that, for a filter on $\omega$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a…
In the present work the massless vector field in the de Sitter (dS) space has been quantized. "Massless" is used here by reference to conformal invariance and propagation on the dS light-cone whereas "massive" refers to those dS fields…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular gros topos,…
We introduce and study the property of orthogonal independence, a restricted additivity axiom applying when alternatives are orthogonal. The axiom requires that the preference for one marginal change over another should be maintained after…
We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…
The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is non-contextual and consistent with quantum mechanics. If we require…
Discrete mixture models are one of the most successful approaches for density estimation. Under a Bayesian nonparametric framework, Dirichlet process location-scale mixture of Gaussian kernels is the golden standard, both having nice…
We extend inner fluctuations to spectral triples that do not fulfill the first-order condition. This involves the addition of a quadratic term to the usual linear terms. We find a semi-group of inner fluctuations, which only depends on the…
We study the problem of extending a positive-definite operator-valued kernel, defined on words of a fixed finite length from a free semigroup, to a global kernel defined on all words. We show that if the initial kernel satisfies a natural…
We develop a tensorial constitutive model for dense, shear-thickening particle suspensions subjected to time-dependent flow. Our model combines a recently proposed evolution equation for the suspension microstructure in rate-independent…
We construct charges for four-dimensional spacetimes with a non-vanishing cosmological constant, including charges that are not conserved because of a leaky boundary and charges associated with corner terms in the symplectic current. The…
Based on a modified expression of the rate of the convective constraint release, we present a new contour-variable model of constitutive equations in which the non-uniform segmental stretch and the non-Gaussian chain statistical treatment…
We work in the setting of Zermelo-Fraenkel set theory without assuming the Axiom of Choice. We consider sets with the Boolean operations together with the additional structure of comparing cardinality (in the Cantorian sense of injections).…
We investigate a spatial random graph model whose vertices are given as a marked Poisson process on $\mathbb{R}^d$. Edges are inserted between any pair of points independently with probability depending on the spatial displacement of the…
The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…