Related papers: The Diagonal Strong Reflection Principle and its f…
In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…
We analyse a mechanical system in two-dimensional relative motion with friction. Although the system is simple, the peculiar interplay between two kinetic friction forces and gravity leads to the wide range of admissible solutions exceeding…
This is a write-up of a lecture at the level of a physics colloquium. There exists an idealized mathematical formulation of strong interactions which has no free parameters but is known to describe the real world quite accurately. Over the…
We introduce a new class of (dynamical) systems that inherently capture cascading effects (viewed as consequential effects) and are naturally amenable to combinations. We develop an axiomatic general theory around those systems, and guide…
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated $\Pi^1_1$-comprehension and the existence of admissible sets, over weak…
We study a conservative extension of classical propositional logic distinguishing between four modes of statement: a proposition may be affirmed or denied, and it may be strong or classical. Proofs of strong propositions must be…
The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open…
We consider the reflection of light, from a stationary source, off of a uniformly moving flat mirror, and derive the relativistic reflection law using well-known properties of conic sections. The effective surface of reflection (ESR) is…
We establish a sharp large deviation principle for renewal-reward processes, supposing that each renewal involves a broad-sense reward taking values in a real separable Banach space. In fact, we demonstrate a weak large deviation principle…
We present a method for producing elementary embeddings from homomorphisms. This method is utilized in the study of the "strongly rigid relation principle" as defined by Hamkins and Palumbo in their paper "The Rigid Relation Principle, a…
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…
We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal.…
Elements of a new model of strong interactions are described. The model is based on an extension of electrodynamics that is derived from a regular Lagrangian density. Here the electric and magnetic fields of Maxwell equations play a…
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…
We present an elementary proof concerning reciprocal transmittances and reflectances. The proof is direct, simple, and valid for the diverse objects that can be absorptive and induce diffraction and scattering, as long as the objects…
Experiments with polymer latex solutions show the coexistence of order-disorder structures of macroions. Because of the large macroions' sizes, this order-disorder phase coexistence imply the existence of very long-range attractive and…
This work is devoted to the study of first order linear problems with involution and periodic boundary value conditions. We first prove a correspondence between a large set of such problems with different involutions to later focus our…
This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…
Continuing the previous paper, we study the Strong Downward L\"owenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order…
The reflections caused by common semi-reflectors, such as glass windows, can impact the performance of computer vision algorithms. State-of-the-art methods can remove reflections on synthetic data and in controlled scenarios. However, they…