Related papers: No speedup for geometric theories
The late-time cosmic acceleration may be due to infra-red modifications of General Relativity. In particular, we consider a maximal extension of the Hilbert-Einstein action and analyze several interesting features of the theory. Generally,…
We develop a Gentzen-style proof theory for super-Belnap logics (extensions of the four-valued Dunn-Belnap logic), expanding on an approach initiated by Pynko. We show that just like substructural logics may be understood…
I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to…
Non-wellfounded proof theory results from allowing proofs of infinite height in proof theory. To guarantee that there is no vicious infinite reasoning, it is usual to add a constraint to the possible infinite paths appearing in a proof.…
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 well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. The aim of this work is to study…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
GUP is a phenomenological model aimed for a description of a minimal length in quantum and classical systems. However, the analysis of problems in classical physics is usually approached preferring a different formalism than the one used…
The level crossing problem is neatly formulated by the second quantized formulation, which exhibits a hidden local gauge symmetry. The analysis of geometric phases is reduced to a simple diagonalization of the Hamiltonian. If one…
This work presents instructive, yet comprehensive derivation of quantized gravity theories in relativistic, classical, and semi-classical spacetime structure based on the Poincar\'e, Galilean, and Bargmann algebra, respectively. The…
I argue that scientific determinism is not supported by facts, but results from the elegance of the mathematical language physicists use, in particular from the so-called real numbers and their infinite series of digits. Classical physics…
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view it suggests a compact representation of proofs in classical first- and higher-order logic by recording the information which instances…
Crispin Wright in his 1982 paper argues for strict finitism, a constructive standpoint that is more restrictive than intuitionism. In its appendix, he proposes models of strict finitistic arithmetic. They are tree-like structures, formed in…
Gravity is specifically the attractive force between two masses separated at a distance. Is this force a derived or a fundamental interaction? We believe that all fundamental interactions are quantum in nature but a derived interaction may…
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…
We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic. In doing so we also fix a…
The paper has a form of a survey and consists of three parts. It is focused on the relationship between the many-sorted theory, which leads to logical geometry and one-sorted theory, which is based on the important model-theoretic concepts.…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
In this paper we show that the intuitionistic theory for finitely many iterations of strictly positive operators is a conservative extension of the Heyting arithmetic. The proof is inspired by the quick cut-elimination due to G. Mints. This…
Gravitation might make a preferred frame appear, and with it a clear space/time separation--the latter being, a priori, needed by quantum mechanics (QM) in curved space-time. Several models of gravitation with an ether are discussed: they…