Related papers: Potential theory and forcing
We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
The concept of partnership of potentials is studied in detail and in particular the non-uniqueness due to the ambiguity in the election of the factorization energy and in the choice of the solution of certain Riccati equation. We generate…
I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.
The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…
We consider the problem of learning an interpretable potential energy function from a Hamiltonian system's trajectories. We address this problem for classical, separable Hamiltonian systems. Our approach first constructs a neural network…
We explain and explore class-theoretic potentialism -- the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning…
We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself),…
We derive the gravitational and electrostatic self-energies of a particle at rest in the background of a cosmic dispiration (topological defect), finding that the particle may experience potential steps, well potentials or potential…
We obtain a measure theoretical characterization of polynomials among rational functions on $\mathbb{P}^1$, which generalizes a theorem of Lopes. Our proof applies both classical and dynamically weighted potential theory.
In this note, we find a new way to prove several properties of 2-alternating capacities.
Potentialism is the view that objects are successively generated in an incompletable process. A strict version of the view adds that truths are successively determined. Strict potentialism can be analyzed using two modalities: one for the…
All the natural forces act through potential fields. Both, the electromagnetic vector potential and the gravitational potential of the general relativity are usually deduced starting from general analytic considerations. However, the…
We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is…
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a…
This is a survey of some recent results concerning polynomial inequalities and polynomial approximation of functions in the complex plane. The results are achieved by the application of methods and techniques of modern geometric function…
We study the {\it quasi-classical limit} of a quantum system composed of finitely many non-relativistic particles coupled to a quantized field in Nelson-type models. We prove that, as the field becomes classical and the corresponding…
We propose an interpretation of physics named potentiality realism. This view, which can be applied to classical as well as to quantum physics, regards potentialities (i.e. intrinsic, objective propensities for individual events to obtain)…
In this paper, we will extend the falling and rising factorial transforms \cite{ref. 1} which in this case every arbitrary function can be applied. Then, the properties of these transforms will be investigated and some corollaries will be…
In Maxwell's classical theory of electrodynamics the fields are frequently expressed by potentials in order to facilitate the solution of the first order system of equations. This method obscures, however, that there exists an inconsistency…