Related papers: Projective Determinacy from long Chang's Conjectur…
A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…
The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function,…
In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable iff it is in the second ambiguous class (boldface Delta^0_2), iff it is…
In an unpublished preprint, A. King conjectured that there are tilting bundles over projective varieties which are obtained as invariant quotients of affine spaces for linear actions of reductive groups. The goal of this paper is to give…
We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the…
In this paper, we analyze processes of conjecture generation in the context of open problems proposed in a dynamic geometry environment, when a particular dragging modality, maintaining dragging, is used. This involves dragging points while…
By Lindstr\"{o}m's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is however less harmless and has been payed attention by…
We prove some extensions of Andrews inequality.
In this paper, we investigate Murre's conjectures on the structure of rational Chow groups and exhibit explicit Chow--Kuenneth projectors for some examples. More precisely, the examples we study are the varieties which have a nef tangent…
For a finite group acting on a polynomial ring, the Chevalley-Shephard-Todd Theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. In recent years, progress was…
In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…
We introduce the notion of a ``projective hull'' for subsets of complex projective varieties, parallel to the idea of the polynomial hull in affine varieties. With this concept, a generalization of J. Wermer's classical theorem on the hull…
The Green-Griffiths-Lang conjecture stipulates that for every projective variety X of general type over C, there exists a proper algebraic subvariety of X containing all non constant entire curves f : C $\rightarrow$ X. Using the formalism…
S. Kov\'acs proposed a conjecture on rigidity results induced by ample subsheaves of some exterior power of tangent bundles for projective manifolds. We verify the conjecture in the case of second exterior products under a rank condition.…
We extend classical notions of definable colourability of graphs to the general projective setting and investigate whether known results, mainly about the $G_0$ dichotomy and the $2n + 1$ conjecture, hold in the context of higher projective…
Let A be a Noetherian commutative ring. Assume that projective modules of rank r over polynomial extensions of A are extended from A. Then projective modules of rank r over discrete Hodge A-algebras are also extended from A. This result…
New cases of the multiplicity conjecture are considered.
In the absence of a fundamental theory that precisely predicts values for observable parameters, anthropic reasoning attempts to constrain probability distributions over those parameters in order to facilitate the extraction of testable…
We construct a generic extension in which the aleph_2 nd canonical function on aleph_1 exists.
We study the robustness of global post-hoc explanations for predictive models trained on tabular data. Effects of predictor features in black-box supervised learning are an essential diagnostic tool for model debugging and scientific…