Related papers: Selection Principles in the Laver, Miller, and Sac…
Choice and independence of premise principles play an important role in characterizing Kreisel's modified realizability and G\"odel's Dialectica interpretation. In this paper we show that a great many intuitionistic set theories are closed…
The paper deals with perturbations of the equation that have a number of conservation laws. When a small term is added to the equation its conserved quantities usually decay at individual rates, a phenomenon known as a selective decay.…
We show that Lang's hyperbolic and function version conjectures hold for surfaces $S$ of general type having a fibration of general type onto a curve $C$. The notion of multiplicity used is natural, but not classical, which leds to orbifold…
We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional…
A predictive distribution over a sequence of $N+1$ events is said to be "frequency mimicking" whenever the probability for the final event conditioned on the outcome of the first $N$ events equals the relative frequency of successes among…
Our results characterize the long-term behavior for a broad class of $\Lambda$-Wright--Fisher processes with frequency-dependent and environmental selection. In particular, we reveal a rich variety of parameter-dependent behaviors and…
We intend to localize the selection principles in uniform spaces (Ko\v{c}inac, 2003) by introducing their local variations, namely locally $\Upsilon$-bounded spaces (where $\Upsilon$ is Menger, Hurewicz or Rothberger). It has been observed…
The connection between symmetries and conservation laws as made by Noether's theorem is extended to the context of causal variational principles and causal fermion systems. Different notions of continuous symmetries are introduced. It is…
We generically construct a model in which the ${\Pi^1_3}$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just $\mathsf{ZFC}$. The forcing construction can be adapted to…
We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we…
Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been proposed. Now, there is not a clear theoretical criterion for a…
Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
We derive two finiteness properties as consequences of the geometrical non-degeneracy of an algebraic subvariety $W$ of a power of the multiplicative group, concerning the intersections of $W$ with translates of a subtorus $H$ of dimension…
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-L\"of random set X such that X does not compute 0' and X computes every K-trivial set.
This paper will focus on the process of 'fusing' several observations or models of uncertainty into a single resultant model. Many existing approaches to fusion use subjective quantities such as 'strengths of belief' and process these…
We study selection principles related to bornological covers in a topological space $X$ following the work of Aurichi et al., 2019, where selection principles have been investigated in the function space $C_\mathfrak{B}(X)$ endowed with the…
We propose new results for the existence and uniqueness of a general nonparametric and nonseparable competitive equilibrium with substitutes. These results ensure the invertibility of a general competitive system. The existing literature…
The hive model is a combinatorial device that may be used to determine Littlewood-Richardson coefficients and study their properties. It represents an alternative to the use of the Littlewood-Richardson rule. Here properties of hives are…