Related papers: James' weak compactness theorem: an exposition

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

Bounded weak solutions to a particular class of degenerate parabolic cross-diffusion systems are shown to coincide with the unique strong solution determined by the same initial condition on the maximal existence interval of the latter. The…

Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…

The aim of this article is to establish new two-functions minimax inequalities extending classical results such as Simons' minimax theorem. Our results will be proved in a non-compact setting. We also prove, under general conditions, that…

Let $M$ be G-graded R-module. The idea of a graded weakly primal submodule of $M$, which is a generalization of a graded primal submodule, is introduced and discussed in this paper. Some characteristics and characterizations are assigned to…

This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…

We consider the class of weakly porous sets in Euclidean spaces. As our main goal, we give a precise characterization in terms of dyadic covering of these sets. Also, we obtain the Carleson embedding inequality for porous sets.

In this paper, we propose a weak regularity principle which is similar to both weak K\"onig's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then…

Although the weak nonleptonic amplitudes of the Standard Model are notoriously difficult to calculate, we have produced a modified weak matrix element which can be analyzed using reliable methods. This hypothetical nonleptonic matrix…

The purpose of this article is to give a presentation of the method of forcing aimed at someone with a minimal knowledge of set theory and logic. The emphasis will be on how the method can be used to prove theorems in ZFC.

Monotonicity with respect to all arguments is fundamental to the definition of aggregation functions. It is also a limiting property that results in many important non-monotonic averaging functions being excluded from the theoretical…

This is a survey on propositional proof complexity aimed at introducing the basics of the field with a particular focus on a method known as feasible interpolation. This method is used to construct "hard theorems" for several proof systems…

The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was…

We introduce a double staircase construction $T$ and show that the weak closure of $\{T^n\}$ is $\{\int, 2^{-m}T^n+(1-2^{-m})\int \ : m\in\N,\ n\in \Z\}.$

Let (X,T) be a dynamical system, where X is a compact metric space and T a continuous onto map. For weak Gibbs measures we prove large deviations estimates.

We develop a notion of cell decomposition suitable for studying weak p- adic structures (reducts of p-adic fields where addition and multiplication are not (everywhere) definable). As an example, we apply this to a language with restricted…

In this article, the interplay between Vop\v{e}nka's principle, as well as its weaker counterpart, and presentable $\infty$-categories is studied. Analogous statements, arising after replacing categories with $\infty$-categories in the…

We show a new functional limit theorem for weakly dependent regularly varying sequences of random vectors. As it turns out, the convergence takes place in the space of R^d valued c\`{a}dl\`{a}g functions endowed with the so-called weak M1…

A property of weak stationarity of a matrix valued differential form at superdensity points of its vanishing set is proved. This result is then applied in the context of the Maurer-Cartan equation.

In this note, we state various generalisations of the Nakano vanishing theorem under weak positivity assumptions, and compare them with the known results.