English
Related papers

Related papers: Principles Weaker than BD-N

200 papers

We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions…

Logic in Computer Science · Computer Science 2013-04-23 Ali Rezaei Divroodi , Linh Anh Nguyen

The main results of the paper: {\bf (1)} The dual Banach space $X^*$ contains a linear subspace $A\subset X^*$ such that the set $A^{(1)}$ of all limits of weak$^*$ convergent bounded nets in $A$ is a proper norm-dense subset of $X^*$ if…

Functional Analysis · Mathematics 2013-02-26 Mikhail I. Ostrovskii

Almost two decades ago, Wattenberg published a paper with the title 'Nonstandard Analysis and Constructivism?' in which he speculates on a possible connection between Nonstandard Analysis and constructive mathematics. We study Wattenberg's…

Logic · Mathematics 2017-04-04 Sam Sanders

In this work we revisit the important and controversial concept of quantum weak values, aiming to provide a simplified understanding to its associated physics and the origin of anomaly. Taking the Stern-Gerlach setup as a working system, we…

Quantum Physics · Physics 2016-02-29 Lupei Qin , Wei Feng , Xin-Qi Li

We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain-Antichain Principle (CAC). Using this method, we are able to prove several new separations in the presence of Weak Konig's…

Logic · Mathematics 2018-10-05 Henry Towsner

We give a positive answer to the question of K. Bouras [`Almost Dunford-Pettis sets in Banach lattices', \textit{Rend. Circ. Mat. Palermo (2)} \textbf{ 62} (2013), 227--236] concerning weak compactness of almost Dunford-Pettis sets in…

Functional Analysis · Mathematics 2016-09-23 Jin Xi Chen , Lei Li

A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…

Logic · Mathematics 2010-10-19 A. A. Vladimirov

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…

Logic in Computer Science · Computer Science 2017-07-26 Ori Lahav , João Marcos , Yoni Zohar

Rare $B$, $D$ and $K$ decays provide interesting probes of the Standard Model (SM), with a potential sensitivity to New Physics (NP) higher than other, more common, decays. Their experimental measurement is challenging, and their…

High Energy Physics - Experiment · Physics 2019-01-16 Michel De Cian , Sébastien Descotes-Genon , Karim Massri

It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break…

Functional Analysis · Mathematics 2016-09-07 Edward Odell , Thomas Schlumprecht

We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the…

Artificial Intelligence · Computer Science 2016-10-13 Kristijonas Čyras , Francesca Toni

In this paper, our main purpose is to establish a weak factorization of the classical Hardy spaces in terms of a multilinear Calder\'on-Zygmund operator on the ball Banach function spaces. Furthermore, a new characterization of the BMO…

Functional Analysis · Mathematics 2024-11-12 Yichun Zhao , Xiangxing Tao , Jiang Zhou

We study the weakest convergence-type conditions for fixed point results for Banach and Kannan mappings. Building on Suzuki's weakest condition for Banach mappings and our previous result for Kannan mappings, we compare convergence…

Functional Analysis · Mathematics 2026-05-13 Shunya Hashimoto , Misako Kikkawa , Shuji Machihara , Aqib Saghir

Language is not only used to transmit neutral information; we often seek to persuade by arguing in favor of a particular view. Persuasion raises a number of challenges for classical accounts of belief updating, as information cannot be…

Computation and Language · Computer Science 2022-09-15 Samuel A. Barnett , Thomas L. Griffiths , Robert D. Hawkins

We propose a belief-formation model where agents attempt to discriminate between two theories, and where the asymmetry in strength between confirming and disconfirming evidence tilts beliefs in favor of theories that generate strong (and…

General Economics · Economics 2023-10-13 Olivier Compte

The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…

Quantum Physics · Physics 2019-10-29 Arkady Bolotin

A cardinal is weakly Reinhardt if it is the critical point of an elementary embedding from the universe of sets into a model that contains the double powerset of every ordinal. This note establishes the equiconsistency of a proper class of…

Logic · Mathematics 2021-07-29 Gabriel Goldberg

In this paper, we study the existence of the random approximations and fixed points for random almost lower semicontinuous operators defined on finite dimensional Banach spaces, which in addition, are condensing or 1-set-contractive. Our…

Probability · Mathematics 2015-07-13 Monica Patriche

In this note the following version of Phillips' lemma is proved. The L-projection of an L-embedded space - that is of a Banach space which is complemented in its bidual such that the norm between the two complementary subspaces is additive…

Functional Analysis · Mathematics 2010-03-29 Hermann Pfitzner

Despite theoretical promise, debate as a scalable oversight protocol has produced mixed empirical results: gains in some settings, and null effects in others, especially when the judge does not have information hidden from it. We study…

Computation and Language · Computer Science 2026-05-28 Ethan Elasky , Frank Nakasako , Naman Goyal