Related papers: Showing OCA in Pmax-style extensions

We state and prove a Lemma in 1 variable Calculus, that justifies some arguments previously used to ilustrate non-uniqueness of some generalized physical quantities.

In this paper, we improve Polyak's local convexity result for quadratic transformations. Extension and open problems are also presented.

We prove an extensionality theorem for the "type-in-type" dependent type theory with Sigma-types. We suggest that the extensional equality type be identified with the logical equivalence relation on the free term model of type theory.

We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…

We present lifted linear relaxations of the OPF problem.

We further develop the notion of perinormality from our last paper, showing that it is preserved by many pullback constructions. In doing so, we introduce the concepts of relative perinormality and fragility for ring extensions.

We generalize our elliptic characterization of Oka manifolds to Oka maps. The generalized characterization can be considered as an affirmative answer to the relative version of Gromov's conjecture. As an application, we unify previously…

We prove several new versions of Hilbert's basis theorem for non-associative Ore extensions, non-associative skew Laurent polynomial rings, non-associative skew power series rings, and non-associative skew Laurent series rings. For…

We prove Holder continuity for solutions to the n-dimensional H-System assuming logarithmic higher integrability of the solution.

We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional…

Inspired by recent work of S. K. Donaldson on constant scalar curvature metrics on toric complex surfaces, we study obstructions to the extension of the Calabi flow on a polarized toric variety. Under some technical assumptions, we prove…

In this paper we show that if X is an infinite compactum cleavable over an ordinal, then X must be homeomorphic to an ordinal. X must also therefore be a LOTS. This answers two fundamental questions in the area of cleavability. We also…

Let $E$ be a real Banach space. For $x,y \in E,$ we follow R.James in saying that $x$ is orthogonal to $y$ if $\|x+\alpha y\|\geq \|x\|$ for every $\alpha \in R$. We prove that every operator from $E$ into itself preserving orthogonality is…

The aim of this paper is to give a proof of improving of Zalcman's lemma.

The class of O-metric spaces generalize several existing metric-types in literature including metric spaces, b-metric spaces, and ultra metric spaces. In this paper, we discuss the properties of the topology induced by an O-metric and…

We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the…

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

We prove that Gromov's ellipticity condition $\mathrm{Ell}_1$ characterizes Oka manifolds. This characterization gives another proof of the fact that subellipticity implies the Oka property, and affirmative answers to Gromov's conjectures.…

We study \L o\'s's theorem in a choiceless context. We introduce some variants of \L o\'s's theorem. These variants seem weaker than \L o\'s's theorem, but we prove that these are equivalent to \L o\'s's theorem.

In this paper we give a short, elementary proof of the following too extreme cases of the Leopoldt conjecture: the case when $\K/\Q$ is a solvable extension and the case when it is a totally real extension in which $p$ splits completely.…