Related papers: Diamond on Kurepa trees
In this paper we analyse some notions of amoeba for tree forcings. In particular we introduce an amoeba-Silver and prove that it satisfies quasi pure decision but not pure decision. Further we define an amoeba-Sacks and prove that it…
We explain the properties and clarify the meaning of quantum weak values using only the basic notions of elementary quantum mechanics.
We give a complete characterization of the sets of cardinals that in a suitable forcing extension can be the Kurepa spectrum, that is, the set of cardinalities of branches of Kurepa trees. This answers a question of the first named author.
Kristiansen and Murwanashyaka recently proved that Robinson arithmetic Q is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpretable in Q by producing a formal interpretation of T in an…
In this paper we consider the set of mu-types, an extension of the set of simple types freely generated from a set of atomic types and the type constructor ->, by a new operator mu, to explicitly denote solutions of recursive equations like…
Our aim is to formulate and prove a weak form in equal characteristic $p>0$ of the $p$-curvature conjecture. We also show the existence of a counterexample to a strong form of it.
In the paper we probe the possibilities of creating a Kurepa tree in a generic extension of a model of CH plus no Kurepa trees by an omega_1-preserving forcing notion of size at most omega_1. In the first section we show that in the Levy…
The diamond norm is a norm defined over the space of quantum transformations. This norm has a natural operational interpretation: it measures how well one can distinguish between two transformations by applying them to a state of…
The main goal of this paper is to generalize the results that where presented in [11] for $\aleph_1$-Kurepa trees to $\aleph_{\alpha+1}$-Kurepa trees. We construct an $\mathcal{L}_{\omega_1,\omega}$-sentence $\psi_{\alpha}$, that codes…
We study the relative power of learning with gradient descent on differentiable models, such as neural networks, versus using the corresponding tangent kernels. We show that under certain conditions, gradient descent achieves small error…
We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its…
For varieties over global fields, weak approximation in the space of adelic points can fail. For a subvariety of an abelian variety one expects this failure is always explained by a finite descent obstruction, in the sense that the rational…
Abstract machines for strong evaluation of the $\lambda$-calculus enter into arguments and have a set of transitions for backtracking out of an evaluated argument. We study a new abstract machine which avoids backtracking by splitting the…
We will show it is consistent with $GCH$ that there is a minimal Kurepa tree with respect to club embeddings.
Recent disagreement between experimental measurments of CP violating asymmetry in D -> K+ K- and D ->pi+ pi- and theoretical Standard model expectation motivated many studies within the Standard model and beyond. Rare charm decays offer new…
Let $p$ be an odd prime number and $k$ an imaginary quadratic field in which $p$ splits. In this paper, we consider a weak form of Greenberg's generalized conjecture for $p$ and $k$, which states that the non-trivial Iwasawa module of the…
We have improved the tree-level model of Ref arXiv:1004.5484 [hep-ph] for weak production of kaons off nucleons by partially restoring unitarity. This is achieved by imposing Watson's theorem to the dominant vector and axial-vector…
We show how ideas coming out of gauge theory can be used to prove configurations in the list of ``633 unavoidable configurations" are reducible. In this paper, we prove the smallest nontrivial example, the Birkhoff diamond, is reducible…
A regularity lemma for polynomials provides a decomposition in terms of a bounded number of approximately independent polynomials. Such regularity lemmas play an important role in numerous results, yet suffer from the familiar shortcoming…
We introduce a weak division-like property for noncommutative rings: a nontrivial ring is fadelian if for all nonzero $a,x$ there exist $b,c$ such that $x=ab+ca$. We prove properties of fadelian rings, and construct examples of such rings…