Related papers: Potential theory and forcing
In his influential work Choquet systematically studied capacities on Boolean algebras in a topological space, and gave a probabilistic interpretation for completely monotone (and completely alternating) capacities. Beyond complete…
The additivity of both the entanglement of formation and the classical channel capacity is known to be a consequence of the strong superadditivity conjecture. We show that, conversely, the strong superadditivity conjecture follows from the…
We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a…
According to Newton's law of gravitation the force between two particles depends upon their inertial, as well as their active and passive gravitational masses. For ordinary matter all three of these are equal and positive. We consider here…
The paper reviews some parts of classical potential theory with applications to two dimensional fluid dynamics, in particular vortex motion. Energy and forces within a system of point vortices are similar to those for point charges when the…
We introduce the forcing property "almost strong properness" which sits between properness and strong properness. As an application, we introduce a simple forcing with finite conditions to force $\rm MRP$.
We give a general expression for the static potential energy of the gravitational interaction of two massive particles, in terms of an invariant vacuum expectation value of the quantized gravitational field. This formula holds for…
The framework of generalized probabilistic theories is a powerful tool for studying the foundations of quantum physics. It provides the basis for a variety of recent findings that significantly improve our understanding of the rich physical…
It is shown that for a central potential that is an injective function of the radial coordinate, a second central potential can be found that leads to trajectories in the configuration space and the momentum space coinciding, respectively,…
A generalization of the action principle of classical mechanics, motivated by the Closed Time Path (CTP) scheme of quantum field theory, is presented to deal with initial condition problems and dissipative forces. The similarities of the…
This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4.…
We introduce the operation of possibility qualification and show how. this modal-like operator can be used to represent "typical" or default knowledge in a theory of nonmonotonic reasoning. We investigate the representational power of this…
Based on an analysis of the inference rules used, we provide a characterization of the situations in which classical provability entails intuitionistic provability. We then examine the relationship of these derivability notions to uniform…
We apply Frobenius integrability theorem in the search of invariants for one-dimensional Hamiltonian systems with a time-dependent potential. We obtain several classes of potential functions for which Frobenius theorem assures the existence…
The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and possibility as "in some forcing extension". In this modal…
The structure of classical electrodynamics based on the variational principle together with causality and space-time homogeneity is analyzed. It is proved that in this case the 4-potentials are defined uniquely. On the other hand, the…
We show how the quantum potential arises in various ways and trace its connection to quantum fluctuations and Fisher information along with its realization in terms of Weyl curvature. It is a quantization factor for certain classical…
Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties.
We show that given a suitable but essentially arbitrary function Q(x,t,h) there are "generalized" quantum theories having Q as a quantum potential.
We consider the capability of $p$-groups of class two and odd prime exponent. The question of capability is shown to be equivalent to a statement about vector spaces and linear transformations, and using the equivalence we give proofs of…