Related papers: Showing OCA in Pmax-style extensions

We formulate a generalization of the extension problem for exact sequences which was considered in [SGA VII] and give a necessary and sufficient criterion for the solution to exist. We also remark on the criterion under which such a…

By finding orthogonal representation for a family of simple connected called $\delta$-graphs it is possible to show that $\delta$-graphs satisfy delta conjecture. An extension of the argument to graphs of the form…

In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\rm ACA}_{0}$ admits an embedding to an ordinal$<\varepsilon_{0}$.

In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of C^r-sections (or compactly supported C^r-sections) in vector bundles over…

In this mostly expository article, we give streamlined proofs of several well-known Lipschitz extension theorems. We pay special attention to obtaining statements with explicit expressions for the extension constants. One of our main…

We extend a rigidity result of Alexander Lytchak by relaxing the requirement that the CAT(1) space be geodesically complete.

We establish a new extension result for twisted canonical forms defined on a hypersurface with simple normal crossings of a projective manifold. Some of the examples presented in the appendix are showing that the bounds we obtain for the…

We prove a version of adelic descent for continuous localizing invariants.

This article contains the proof of a theorem on orthogonal-Pin duality that was cited without proof in a previous article in this journal.

We show that the theorem of the three perpendiculars holds in any n-dimensional space form.

We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.

We prove a version of van der Corput's Lemma for polynomials over the p-adic numbers.

We prove some general theorems for preserving Dependent Choice when taking symmetric extensions, some of which are unwritten folklore results. We apply these to various constructions to obtain various simple consistency proofs.

Given a geometric orbifold $(X,\Delta)$ in the sense of Campana, adapted reflexive differentials with respect to this orbifold are defined on suitably ramified covers of $X$. We show that if the orbifold $(X,\Delta)$ is klt, then any such…

We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be…

We continue [Sh:b, Ch XIII] and [Sh:410]. Let W be an inner model of ZFC. Let kappa be a cardinal in V. We say that kappa-covering holds between V and W iff for all X in V with X subseteq ON and V models |X|< kappa, there exists Y in W such…

In this paper, we present an extension of Mittag-Leffler function by using the extension of beta functions (\"{O}zergin et al. in J. Comput. Appl. Math. 235 (2011), 4601-4610) and obtain some integral representation of this newly defined…

In the paper a theorem of Piccard's type is proved and, consequently, the continuity of $\mathcal{D}$-measurable polynomial functions of $n$-th order as well as $\mathcal{D}$-measurable $n$-convex functions is shown. The paper refers to the…

The author presents the generalized Stokes theorem for R-linear forms on Lie algebroids (which can be non-local). We apply the Stokes formula on forms to prove that two homotopic homomorphisms of Lie algebroids implies the existence of a…

We give an example of iteration of length omega of (<kappa)-complete kappa^+-cc forcing notions with the limit collapsing kappa^+. The construction is decoded from the proof of Shelah [Proper and Improper Forcing, Appendix, Theorem 3.6(1)].