相关论文: Principles Weaker than BD-N

This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…

A set of bounded linear operators from a Banach space to a Banach lattice is collectively L-weakly compact whenever union of images of the unit ball is L-weakly compact. We extend the Meyer-Nieberg duality theorem to collectively L-weakly…

The weak Whyburn property is a generalization of the classical sequential property that has been studied by many authors. A space $X$ is weakly Whyburn if for every non-closed set $A \subset X$ there is a subset $B \subset A$ such that…

Known results are reviewed about the bounded and convex bounded variants, bT and cbT, of a topology T on a real Banach space. The focus is on the cases of T = w(P*, P) and of T = m(P*, P), which are the weak* and the Mackey topologies on a…

Continuity is one of the most central notions in mathematics, physics, and computer science. An interesting associated topic is decompositions of continuity, where continuity is shown to be equivalent to the combination of two or more weak…

The class of weak BCK-algebras is obtained by weakening one of standard BCK axioms. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We review several natural classes of commutative…

Density-power-based divergences are known to provide robust inference procedures against outliers, and their extensions have been widely studied. A characteristic of successful divergences is that the estimation problem can be reduced to…

Massive Brans-Dicke (BD) theory is among the simplest general relativity extensions. It is commonly found as the weak-field limit of other gravitational theories. Here we do a detailed post-Newtonian analysis of massive BD theories. We…

Let $Z$ and $X$ be Banach spaces. Suppose that $X$ is Asplund. Let $\mathcal{M}$ be a bounded set of operators from $Z$ to $X$ with the following property: a bounded sequence $(z_n)_{n\in \mathbb{N}}$ in $Z$ is weakly null if, for each $M…

A nonempty closed convex bounded subset $C$ of a Banach space is said to have the weak approximate fixed point property if for every continuous map $f:C\to C$ there is a sequence $\{x_n\}$ in $C$ such that $x_n-f(x_n)$ converge weakly to 0.…

We study constructively the relations between the finite cases of Dickson's lemma. Although there are many constructive proofs of them, the novel aspect of our proofs is the extraction of a corresponding bound. We provide some new one-step…

Several characterizations of weak cotype 2 and weak Hilbert spaces are given in terms of basis constants and other structural invariants of Banach spaces. For finite-dimensional spaces, characterizations depending on subspaces of fixed…

The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by…

Feynman famously recommended accepting the basic principles of quantum mechanics without trying to guess the machinery behind the law. One of the corollaries of the Uncertainty Principle is that the knowledge of probability amplitudes does…

Recently Alan D. Sokal gave a very short and completely elementary proof of the uniform boundedness principle. The aim of this note is to point out that by using a similiar technique one can give a considerably short and simple proof of a…

We give a characterization of the existence of copies of $c_{0}$ in Banach spaces in terms of indexes. As an application, we deduce new proofs of James Distortion theorem and Bessaga-Pe{\l}czynski theorem about weakly unconditionally Cauchy…

This article gives a new proof of the fundamental lemma of the "weakly admissible implies admissible" theorem of Colmez-Fontaine that describes the semi-stable p-adic representations. To this end, we introduce the category of spectral…

In this paper we focus on the relation between Riemann integrability and weak continuity. A Banach space $X$ is said to have the weak Lebesgue property if every Riemann integrable function from $[0,1]$ into $X$ is weakly continuous almost…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets. Further, we show that negation with the Kleene property (called the `Kleene negation') always…