Related papers: Layered posets and Kunen's universal collapse
We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…
A construction due to Darmon--Rotger gives rise to generalised Kato classes $\kappa_p(E)$ in the $p$-adic Selmer group ${\rm Sel}(\mathbf{Q},V_pE)$ of elliptic curves $E/\mathbf{Q}$ of positive even analytic rank, where $p>3$ is any prime…
We prove a common extension of Bang's and Kadets' lemmas for contact pairs, in the spirit of the Colourful Carath\'eodory Theorem. We also formulate a generalized version of the affine plank problem and prove it under special assumptions.…
We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.
Motivated by two open questions about two-cardinal tree properties, we introduce and study generalized narrow system properties. The first of these questions asks whether the strong tree property at a regular cardinal $\kappa \geq \omega_2$…
Recently (Phys. Lett. A302 (2002) 253, hep-th/0208210; hep-th/0403146) employing bounded infinite-dimensional representations of the rotation group we have argued that one can obtain the consistent monopole theory with generalized Dirac…
We describe a general construction providing index theorems localizing the Chern classes of the normal bundle of a subvariety inside a complex manifold. As particular instances of our construction we recover both Lehmann-Suwa's…
Let $\kappa$ be an uncountable cardinal with $\kappa=\kappa^{{<}\kappa}$. Given a cardinal $\mu$, we equip the set ${}^\kappa\mu$ consisting of all functions from $\kappa$ to $\mu$ with the topology whose basic open sets consist of all…
We consider categories of posets with $\mathfrak{C}$-valued structure sheaves for any category $\mathfrak{C}$ and see how they possess poset-indexed lax colimits that are both easy to describe and "weakly equivalent" to their ordinary…
We prove the generalized Obata theorem on foliations. Let M be a complete Riemannian manifold with a foliation F of codimension $q>1$ and a bundle-like metric. Then $(M, F)$ is transversally isometric to the q-sphere of radius 1/c in…
The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset…
We investigate the consistency strength of the statement: $\kappa$ is weakly compact and there is no tree on $\kappa$ with exactly $\kappa^{+}$ many branches. We show that this statement fails strongly (in the sense that there is a sealed…
The general structure of the matter Kahler metric in the $\kappa^{2/3}$ expansion of Horava-Witten M-theory with nonstandard embeddings is examined. It is shown that phenomenological models based on this structure can lead to Yukawa and…
Jech proved that every partially ordered set can be embedded into the cardinals of some model of $ZF$. We extend this result to show that every partially ordered set can be embedded into the cardinals of some model of $ZF+DC_{<\kappa}$ for…
The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions as elementary equivalence, elementary embedding and existential embedding to be couched in the language of categories (limits, morphism diagrams). This in turn…
Universality theorems (in the sense of N. Mn\"{e}v) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove…
Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We…
We point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a…
We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally…
We construct a model in which all $C$-sequences are trivial, yet there exists a $\kappa$-Souslin tree with full vanishing levels. This answers a question of Lambie-Hanson and Rinot, and provides an optimal combination of compactness and…