相关论文: Adding a lot of Cohen reals by adding a few II
An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa.$ We prove that if there is a model of $\ZFC$ with two supercompact cardinals, then there is a model of \ZFC where…
Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.
We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.
A simultaneous extension of real numbers set and the class of real functions is discussed.
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…
The subalgebra of the tautological ring of the moduli of curves of compact type generated by the kappa classes is studied. Relations, constructed via the virtual geometry of the moduli of stable maps, are used to prove universality results…
An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…
We present the real interpolation with variable exponent and we prove the basic properties in analogy to the classical real interpolation. More precisely, we prove that under some additional conditions, this method can be reduced to the…
A Keller map is a counterexample to the Jacobian Conjecture. In dimension two every such map, if exists, leads to a complicated set of conditions on the map between the Picard groups of suitable compactifications of the affine plane. This…
We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodr\'an result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a…
We give a modification of Mitchell's technique for adding objects of size $\omega_2$ with conditions with finite working parts in which the collections of models used as side conditions are very highly structured, arguably making them more…
This article presents a unified approach to simultaneously compute the Jacobians of several singular matrix transformations in the real, complex, quaternion and octonion cases. Formally, these Jacobians are obtained for real normed division…
A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove…
This paper develops a multipole expansion method for the quasi-periodic elastic single layer potential $\mathcal{S}_D^{\alpha,0}$ associated with the Kelvin tensor in one-dimensional periodic arrays. A key step in this approach is the…
We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $\theta<\kappa$, the existence of a strongly unbounded coloring…
We extend the result of arXiv:0911.5414 about embedding of ideal-determined algebraic systems into ultraproducts, to arbitrary algebraic systems, and to ultraproducts over $\kappa$-complete ultrafilters. We also discuss the scope of…
We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…
The induced \6s of the $\kappa$-\1 for the massive case are described. It is shown that it extends many of the features of the classical case.
We show that it is consistent to have an uncountable sequential group of intermediate sequential order while no countable such groups exist. This is proved by adding $\omega_2$ Cohen reals to a model of $\diamondsuit$.
We give a new method of producing relations in the tautological ring R(M_{g, 1}), using the sl_2-action on the Chow ring of the universal Jacobian. With these relations, we prove that R(M_{g, 1}) is generated by \kappa_i for i no greater…