Related papers: On Roitman's principles $\mathsf{MH}$ and $\Delta$
We show that the propositional system of a many-box model is always a set-representable effect algebra. In particular cases of 2-box and 1-box models it is an orthomodular poset and an orthomodular lattice respectively. We discuss the…
Our work proposes a unified approach to three different topics in a general Riemannian setting: splitting theorems, symmetry results and overdetermined elliptic problems. By the existence of a stable solution to the semilinear equation…
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cicho\'n diagram. First I…
We discuss some highlights of our computer-verified proof of the construction, given a countable transitive set-model $M$ of $\mathit{ZFC}$, of generic extensions satisfying $\mathit{ZFC}+\neg\mathit{CH}$ and $\mathit{ZFC}+\mathit{CH}$.…
We introduce syntactic modal operator $\BOX$ for \textit{being a thesis} into first-order logic. This logic is a modern realization of R. Carnap's old ideas on modality, as logical necessity (J. Symb. Logic, 1946) \cite{Ca46}. We place it…
Pseudo-Hermitian (including $\mathcal{PT}$-symmetric) field theories support phenomenology that cannot be replicated in standard Hermitian theories. We describe a concrete example in which the vortex solutions that are realised in a…
For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…
Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a…
One formulation in 1859 of the Riemann Hypothesis (RH) was that the Fourier transform $H_f(z)$ of $f$ for $ z \in \mathbb{C}$ has only real zeros when $f(t)$ is a specific function $\Phi (t)$. P\'{o}lya's 1920s approach to RH extended $H_f$…
Douglass B. Morris announced in 1970 that it is consistent with ZF that "For every $\alpha$, there exists a set $A_\alpha$ which is the countable union of countable sets, and $\mathcal P(A_\alpha)$ can be partitioned into $\aleph_\alpha$…
Let $\mathcal M=\langle M, <, +, \dots\rangle$ be an o-minimal expansion of an ordered group, and $P\subseteq M$ a dense set such that certain tameness conditions hold. We introduce the notion of a `product cone' in $\widetilde{\mathcal…
Heisenberg's uncertainty principle states that the position and momentum of a particle cannot be sharply determined simultaneously. Standard-deviation and entropic formulations capture the spread of the probability distribution but say…
We introduce the notion of $\Delta$ and $\sigma\,\Delta-$ pairs for operator algebras and characterise $\Delta-$ pairs through their categories of left operator modules over these algebras. Furthermore, we introduce the notion of…
Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021) formulate axiomatic nonstandard set theories SPOT and SCOT…
Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…
Let $K$ be an algebraically closed field of characteristic zero, $\delta$ a nonzero $\mathcal{E}$-derivation of $K[x]$. We first prove that $\operatorname{Im}\delta$ is a Mathieu-Zhao space of $K[x]$ in some cases. Then we prove that LFED…
We present a Modification of the Field Theory in which the topology of space can vary. We show that in MOFT particles lose their point-like character and acquire a specific distribution in space, i.e., each point source is surrounded with a…
Analysis of the original Feynman's formula for a moving point charge leads to the notion of a retarded time, which has to be treated as a field. The Lorentzian frame, the trajectory, and the retarded time field uniquely determine a system…
One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…
In the paper the well known Riemann Hypothesis is proven. The proof is based on uniform approximation of the zeta function discs of the critical strip placed to the right from the critical line.The basic moment is a use of a new mesure…