Related papers: Sets in Prikry and Magidor Generic Extensions
In this paper we generalize and specialize generating functions for classical orthogonal polynomials, namely Jacobi, Gegenbauer, Chebyshev and Legendre polynomials. We derive a generalization of the generating function for Gegenbauer…
By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for…
We extend the class of ultrafilters $U$ over countable sets for which $U\cdot U\equiv_T U$, extending several results from \cite{Dobrinen/Todorcevic11}. In particular, we prove that for each countable ordinal $\alpha\geq 2$, the generic…
We give a detailed account of a combinatorial construction, due to Cherednik, of cyclic generators for irreducible modules of the affine Hecke algebra of the general linear group with generic parameter q.
In [1] the authors showed some basic properties of a pre-order that arose in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and they presented its generalization to ultrafilters, which is…
This note explains an approach to producing examples of 'generalized Kuga-Satake theory' based on establishing special cases of Simpson's conjecture that rigid local systems are motivic. This strategy is then carried out, using work of…
This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let $a_1G_1,...,a_kG_k$ be left cosets in a group $G$ such that ${a_iG_i}_{i=1}^k$ covers each element of $G$ at least $m$ times but none of its…
Based on the work of Shelah, Kellner, and T\u{a}nasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory…
We prove a generalization of a result of Peres and Schlag on the dimensions of certain exceptional sets of projections and then apply it to a geometric problem.
We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over…
In this paper, we introduce several classes of Prikry-type forcing notions, two of which are used to produce minimal generic extensions, and the third is applied in $\alpha$-recursion theory to produce minimal covers. The first forcing as a…
This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and…
We introduce a model-theoretic characterization of Magidor cardinals, from which we infer that Magidor filters are beyond ZFC-inconsistency
We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of…
Motivated by problems involving end extensions of models of set theory, we develop the rudiments of the power admissible cover construction (over ill-founded models of set theory), an extension of the machinery of admissible covers invented…
We prove new general results on sumsets of sets having Szemer\'edi--Trotter type. This family includes convex sets, sets with small multiplicative doubling, images of sets under convex/concave maps and others.
We discuss the combinatorics of faces of trees in the context of dendroidal sets and develop a systematic treatment of dendroidal anodyne extensions. As the main example and our motivation, we prove the pushout-product property for the…
We give topological characterizations of filters $F$ on $w$ such that the Mathias forcing $M_F$ adds no dominating reals or preserves ground model unbounded families. This allows us to answer some questions of Brendle, Guzm\'an,…
Non-trivial extensions of the three dimensional Poincar\'e algebra, beyond the supersymmetric one, are explicitly constructed. These algebraic structures are the natural three dimensional generalizations of fractional supersymmetry of order…
We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,\in^M\rangle$, we explain senses in which one may compute…