相关论文: Potential theory and forcing

Following a recently proposed confinement generating mechanism, we provide a new string inspired model with a massive dilaton and a new dilaton coupling function [5]. By solving analytically the equations of motion, a new class of confining…

We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the…

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

Recent progress in table-top experiments offers the opportunity to show for the first time that gravity is not compatible with a classical description. In all current experimental proposals, such as the generation of gravitationally induced…

We develop librationism, {\pounds}, and clarify some mathematical and philosophical matters which relate to the particular manner in which it deals with the paradoxes and to its usefulness as a foundation for mathematics and type free…

Newton revealed an underlying duality relation between power potentials in classical mechanics. In this paper, we establish the quantum version of the Newton duality. The main aim of this paper is threefold: (1) first generalizing the…

I show how Hamilton's philosophical commitments led him to a causal interpretation of classical mechanics. I argue that Hamilton's metaphysics of causation was injected into his dynamics by way of a causal interpretation of force. I then…

Motivated by several classic decision-theoretic paradoxes, and by analogies with the paradoxes which in physics motivated the development of quantum mechanics, we introduce a projective generalization of expected utility along the lines of…

The classical satisfiability problem (SAT) is used as a natural and general tool to express and solve combinatorial problems that are in NP. We postulate that provability for implicational intuitionistic propositional logic (IIPC) can serve…

Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations - those that can be caused to happen and those that cannot. This is a departure from…

In this paper we solve the satisfiability problem of an extended fragment of set computable theory which "forces the infinity" by a fruitful use of the witness small model property and the theory of formative processes.

Classical field theories coupled to stochastic noise provide an extremely powerful tool for modeling phenomena as diverse as turbulence, pattern-formation, and the structural development of the universe itself. In this Letter we sketch a…

We evaluate the {\em three-dimensional}, {\em non-axis-symmetric}, {\em time-dependent} Newton potential generated by a pair of mutually orbiting objects such as pairs of ordinary or neutron stars and, in some approximations, black holes,…

We examine the Newtonian potential in gravitational cohomology. This is given by a symmetric, two-index tensor field, which satisfies the wave equation in empty space. Furthermore, the associated gravitational field strength, obtained by…

Quantum advantage is notoriously hard to find and even harder to prove. For example the class of functions computable with classical physics actually exactly coincides with the class computable quantum-mechanically. It is strongly believed,…

New features are described for models with multi-particle area-dependent potentials, in any number of dimensions. The corresponding many-body field theories are investigated for classical configurations. Some explicit solutions are given,…

We extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of…

We use the technique of "classical realizability" to build new models of ZF + DC in which R is not well ordered. This gives new relative consistency results, probably not obtainable by forcing. This gives also a new method to get programs…

This work formulates and gives grounds for general principles and theorems that question the energy function doctrine and its quantum version as a genuine law of nature without borders of adequacy. The emphasis is on the domain where the…

The paper contains a proof for the P != NP hypothesis with the help of the two "natural" postulates. The postulates restrict capacity of the Turing machines and state that each independent and necessary condition of the problem should be…