English
Related papers

Related papers: The Ground Axiom

200 papers

Noncommutative field theories are a class of theories beyond the standard model of elementary particle physics. Their importance may be summarized in two facts. Firstly as field theories on noncommutative spacetimes they come with natural…

High Energy Physics - Theory · Physics 2010-12-24 Earnest Akofor

A crucial step in the history of General Relativity was Einstein's adoption of the principle of general covariance which demands a coordinate independent formulation for our spacetime theories. General covariance helps us to disentangle a…

History and Philosophy of Physics · Physics 2022-05-19 Daniel Grimmer

Modern physics is founded on two mainstays: mathematical modelling and empirical verification. These two assumptions are prerequisite for the objectivity of scientific discourse. Here we show, however, that they are contradictory, leading…

History and Philosophy of Physics · Physics 2019-04-09 Michał Eckstein , Paweł Horodecki

The history of general relativity suggests that in absence of experimental data, constructing a theory on philosophical first principles can lead to a very useful theory as well as to ground-breaking insights about physical reality. The two…

General Relativity and Quantum Cosmology · Physics 2012-07-03 Manuel Bärenz

In this paper we prove that no consistent finitely axiomatized theory one-dimensionally interprets its own extension with predicative comprehension. This constitutes a result with the flavor of the Second Incompleteness Theorem whose…

Logic · Mathematics 2021-09-07 Fedor Pakhomov , Albert Visser

An overview of unified theory models that extend the standard model is given. A scenario describing the physics beyond the standard model is developed based on a finite quantum field theory (FQFT) and the group G=$SO(3,1)\otimes…

High Energy Physics - Phenomenology · Physics 2007-05-23 J. W. Moffat

This paper avers that science is not demarcated from other disciplines by a specific unique methodology, but by its specific scientific rationality and rational grounds. In this context, the notion and structure of scientific reason are…

History and Philosophy of Physics · Physics 2012-08-28 Hisham Ghassib

Quantum theory provides an extremely accurate description of fundamental processes in physics. It thus seems likely that the theory is applicable beyond the, mostly microscopic, domain in which it has been tested experimentally. Here we…

Quantum Physics · Physics 2018-10-08 Daniela Frauchiger , Renato Renner

Newtonian gravity can be regarded as a hypothetic-deductive system where the inverse square law is the starting point from which gravitational phenomena are deduced. This operational form of presenting gravity endorses problem solving and…

History and Philosophy of Physics · Physics 2019-06-12 Joao A M Pereira

Scales of the microworld are defined on the grounds of the hierarchy that can be set up within a well ordered finite or infinite countable set of well ordered sets. Indirect measurements in pure mathematical as well as physical meaning are…

Mathematical Physics · Physics 2016-09-07 A. Ya. Temkin

The classical gravitational two-body problem is generalized in order to be applicable also to weak gravitational fields. The equation of motion holds both for terrestrial and large cosmic scales, the Newtonian gravitational law represents a…

Astrophysics of Galaxies · Physics 2020-05-18 Jozef Klačka

The work argues the principle of equivalence to be a theorem and not a principle (in a sense of an axiom). It contains a detailed analysis of the concepts of normal and inertial frame of reference. The equivalence principle is proved to be…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Bozhidar Z. Iliev

I have argued elsewhere that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by…

Logic · Mathematics 2023-02-14 Jouko Väänänen

The new axiomatic system for the quantum field theory is proposed. The new axioms are the description of the distributions. For the finite series these distributions satisfy the linear Wightman axioms.

High Energy Physics - Theory · Physics 2008-11-26 Yury M. Zinoviev

Most modern theoretical considerations of the physical world suggest that nature is: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and (6) non-perturbative. Tautologous as this may sound to experts, it is…

Mathematical Physics · Physics 2025-07-08 Grigorios Giotopoulos , Hisham Sati

I recently demonstrated that the Earth is a mechanical oscillator in which springtide induced magnification of all-masses resonance forces tectonics. I here generalize this georesonator concept so to make it apply to any body, anywhere in…

General Physics · Physics 2010-02-09 M. Omerbashich

A re-construction of the fundamentals of programming as a small mathematical theory (PRISM) based on elementary set theory. Highlights: $\bullet$ Zero axioms. No properties are assumed, all are proved (from standard set theory). $\bullet$ A…

Software Engineering · Computer Science 2025-02-28 Bertrand Meyer , Reto Weber

Set theory is widely believed to provide a secure foundation for deductive mathematics, but current set theories do not quite do this. The mainstream essentially uses na\"\i ve set theory. After Russell's paradox showed this to be…

Logic · Mathematics 2025-11-04 Frank Quinn

In 1+1 dimensional case, Einstein equation cannot give us any information on the evolution of the universe because the Einstein tensor of the system is identically zero. We study such a 1+1 dimensional cosmology and find the metric of it…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Ding-fang Zeng , Hai-jun Zhao

The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom. M. Viale proved that Martin's Maximum$^{++}$ together…

Logic · Mathematics 2025-10-02 Sakaé Fuchino , Takehiko Gappo , Francesco Parente