English
Related papers

Related papers: Variants on the Berz sublinearity theorem

200 papers

We continue our investigation on pcf with weak form of choice. Characteristically we assume DC + P(Y) when looking and prod_{s in Y} delta_s. We get more parallel of theorems on pcf.

Logic · Mathematics 2012-06-26 Saharon Shelah

We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable. Intuitively, with Boolean dependence…

Logic · Mathematics 2014-06-30 Johannes Ebbing , Lauri Hella , Peter Lohmann , Jonni Virtema

We discuss two variations of Edwards' duality theorem. More precisely, we prove one version of the theorem for cones not necessarily containing all constant functions. In particular, we allow the functions in the cone to have a non-empty…

Complex Variables · Mathematics 2023-09-25 Mårten Nilsson , Frank Wikström

This tutorial deal with the Axiom of Choice and some of its applications to topics related to Computer Science. We will see that the Axiom of Choice is equivalent to some well-known proof principles like Zorn's Lemma or Tuckey's Maximality…

Logic in Computer Science · Computer Science 2014-09-01 Ernst-Erich Doberkat

M-dependence is a commonly used assumption in the study of dependent sequences. In this paper, central limit theorems for m-dependent random variables under the sub-linear expectations are established based mainly on the conditions of…

Probability · Mathematics 2023-09-12 Wang-Yun Gu , Li-Xin Zhang

The replacement (or collection or choice) axiom scheme asserts bounded quantifier exchange. We prove the independence of this scheme from various weak theories of arithmetic, sometimes under a complexity assumption.

Logic in Computer Science · Computer Science 2007-05-23 Stephen Cook , Neil Thapen

In classic papers, Zellner demonstrated that Bayesian inference could be derived as the solution to an information theoretic functional. Below we derive a generalized form of this functional as a variational lower bound of a predictive…

Machine Learning · Computer Science 2019-10-25 Alexander A. Alemi

We give several generalizations of Rellich's classical uniqueness theorem to unbounded domains. We give a natural half-space generalization for super-exponentially decaying inhomogeneities using real variable techniques. We also prove under…

Analysis of PDEs · Mathematics 2014-09-02 Esa V. Vesalainen

We extend Berge's Maximum Theorem to allow for incomplete preferences. We first provide a simple version of the Maximum Theorem for convex feasible sets and a fixed preference. Then, we show that if, in addition to the traditional…

Theoretical Economics · Economics 2021-11-17 Leandro Gorno , Alessandro Rivello

Usually the 'hidden variables' of Bell's theorem are supposed to describe the pair of Bell particles. Here a semantic shift is proposed, namely to attach the hidden variables to a stochastic medium or field in which the particles move. It…

Quantum Physics · Physics 2017-01-24 Louis Vervoort

We show global uniqueness of the solution to a class of constrained variational problems, using scaling properties. This is used to establish the essential uniqueness of solutions of a large deviations problem in multiple dimensions. The…

Probability · Mathematics 2007-11-15 Adam Shwartz , Alan Weiss

We give a new proof of Glauberman's ZJ Theorem, in a form that clarifies the choices involved and offers more choices than classical treatments. In particular, we introduce two new ZJ-type subgroups of a $p$-group $S$, that contain…

Group Theory · Mathematics 2021-04-13 Daniel Allcock

We use constrained variational minimizing methods to study the existence of periodic solutions with a prescribed energy for a class of second order Hamiltonian systems with a $C^2$ potential function which may have an unbounded potential…

Classical Analysis and ODEs · Mathematics 2013-07-31 Fengying Li , Shiqing Zhang

There are several extensions of the classical Banach Fixed Point Theorem in technical literature. A branch of generalizations replaces usual contractivity by weaker but still effective assumptions. Our note follows this stream, presenting…

Functional Analysis · Mathematics 2016-05-13 Mihály Bessenyei

The aim of this paper is to provide the first application of Theorem 3 of [2] in a case where the dependence of the underlying equation from the real parameter is not of affine type.

Analysis of PDEs · Mathematics 2010-07-08 Biagio Ricceri

It is shown that certain lower semi-continuous maps from a paracompact space to the family of closed subsets of the bundle space of a Banach bundle admit continuous selections. This generalization of the theorem of Douady, dal…

Functional Analysis · Mathematics 2016-04-19 Aldo J. Lazar

The sequential form of a statement $\forall\xi(B(\xi) \rightarrow \exists\zeta A(\xi,\zeta))$ is the statement $\forall\xi(\forall n B(\xi_n) \rightarrow \exists\zeta \forall n A(\xi_n,\zeta_n))$. There are many classically true statements…

Logic · Mathematics 2016-02-10 François G. Dorais

This paper introduces the notion of pseudo-independence on the sublinear expectation space $(\Omega,\mathcal{F},\mathcal{P})$ via the classical conditional expectation, and the relations between pseudo-independence and Peng's independence…

Probability · Mathematics 2021-06-01 Xinpeng Li

We analyze a very simple variant of the Lorentz pendulum, in which the length is varied exponentially, instead of uniformly, as it is assumed in the standard case. We establish quantitative criteria for the condition of adiabatic changes in…

Classical Physics · Physics 2015-06-11 Luis L. Sanchez-Soto , J. Zoido

We work in set-theory without choice $\ZF$. Given a closed subset $F$ of $[0,1]^I$ which is a bounded subset of $\ell^1(I)$ ({\em resp.} such that $F \subseteq \ell^0(I)$), we show that the countable axiom of choice for finite subsets of…

Functional Analysis · Mathematics 2008-12-18 Marianne Morillon
‹ Prev 1 3 4 5 6 7 10 Next ›