Related papers: Littlewood's principles in reverse real analysis
We analyse in details the problems which one faces trying to quantize a scalar field on the spacelike cylinder being the simple example of a spacetime with closed timelike curves. Our analysis brings to light the fact that the usual set of…
For a field of characteristic zero, M. Levine has proved that his category of triangulated motives is equivalent to the one constructed by V. Voevodsky. In this paper we show that the strategy of Levine's proof can be applied on every…
Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive frames we should add the axiom $\square \phi \rightarrow…
Two cubic equations and three auxiliary equations for edges and face diagonals of a rational perfect cuboid have been recently derived. They constitute a background for two inverse problems. The coefficients of cubic equations and the right…
The relational version of the modal interpretation offers both a consistent quantum ontology and solution for quantum paradoxes within the framework of nonrelativistic quantum mechanics. In the present paper this approach is generalized for…
Inspired by a recent novel work of Good and Meddaugh, we establish fundamental connections between shadowing, finite order shifts, and ultrametric complete spaces. We develop a theory of shifts of finite type for infinite alphabets. We call…
It is well-known that if R is a domain with finite character, each locally principal nonzero ideal of R is invertible. We address the problem of understanding when the converse is true and survey some recent results.
We prove the Hardy-Littlewood theorem in two dimensions for functions whose Fourier coefficients obey general monotonicity conditions and, importantly, are not necessarily positive. The sharpness of the result is given by a counterexample,…
It is shown that a notion of natural place is possible within modern physics. For Aristotle, the elements$-$the primary components of the world$-$follow to their natural places in the absence of forces. On the other hand, in general…
Relativistic invariance of the vacuum is (or follows from) one of the Wightman axioms which is commonly believed to be true. Without these axioms, here we present a direct and general proof of continuous relativistic invariance of all…
Finite fields form an important chapter in abstract algebra, and mathematics in general. We aim to provide a geometric and intuitive model for finite fields, involving algebraic numbers, in order to make them accessible and interesting to a…
We show that the principles of a ''complete physical theory'' and the conclusions of the standard quantum mechanics do not irreconcilably contradict each other as is commonly believed. In the algebraic approach, we formulate axioms that…
The gaussoid axioms are conditional independence inference rules which characterize regular Gaussian CI structures over a three-element ground set. It is known that no finite set of inference rules completely describes regular Gaussian CI…
We establish some new common fixed point theorems of single-valued and multivalued mappings operating between complete ordered locally convex spaces under weaker assumptions. As an application, we prove a new minimax theorem of existence of…
Quantum corrections to Legendre transformations are shown to cancel to all orders in supersymmetric theories in path integral formalism. Using this result, lagrangians for auxiliary fields are generalized to non-quadratic forms. In…
A rational positive-definite quadratic form is perfect if it can be reconstructed from the knowledge of its minimal nonzero value m and the finite set of integral vectors v such that f(v) = m. This concept was introduced by Voronoi and…
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relation and show there are many intuitionistically precise versions of it.
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
We give three examples of fields concerning the Northcott property on elements of small height: The first one has the Northcott property but its Galois closure does not satisfy the Bogomolov property. The second one has the Northcott…