Related papers: A generic absoluteness principle consistent with l…

A new general and unified method of summation, which is both regular and consistent, is invented. It is based on the idea concerning a way of integers reordering. The resulting theory includes a number of explicit and closed form summation…

We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence $L^1$ functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for $L^1$ functions.

We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a…

Shepard's Universal Law of Generalization offered a compelling case for the first physics-like law in cognitive science that should hold for all intelligent agents in the universe. Shepard's account is based on a rational Bayesian model of…

We study a well-known technique of using absoluteness for giving choice-free proofs to some statements which are known to be provable with the axiom of choice. The idea is to reduce the problem to an inner model where the axiom of choice…

Transparency is a major requirement of modern AI based decision making systems deployed in real world. A popular approach for achieving transparency is by means of explanations. A wide variety of different explanations have been proposed…

This is the second part of a work initiated in \cite{GaHa}, where we constructed a model category, $\Qt$, for set theory. In the present paper we use this model category to introduce homotopy-theoretic intuitions to set theory. Our main…

The possibility that global discrete dilation invariance is a fundamental symmetry principle of nature is explored. If the discrete self-similarity observed in nature is exact, then the Principle of General Covariance needs to be broadened…

We give a new proof of a classical theorem on approximation of continuous functions on totally real sets

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on…

We consider solving a generalized Allen-Cahn equation coupled with a passive convection for a given incompressible velocity field. The numerical scheme consists of the first order accurate stabilized implicit explicit time discretization…

Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well} quasi-orders, under the construction $P\mapsto P^{<\omega}$…

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

We extend the applications of the techniques used in Arch Math Logic 52:261-278, 2013, to present various examples of consistency results where some cardinal invariants of the continuum take arbitrary regular values with the size of the…

The impressive generalization performance of modern neural networks is attributed in part to their ability to implicitly memorize complex training patterns. Inspired by this, we explore a novel mechanism to improve model generalization via…

In this paper, we obtain the consistency, relative to large cardinals, of the existence of dense ideals on every successor of a regular cardinal simultaneously. Using a consequent transfer principle, we show that in this model there is a…

The notion of a $\delta$-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each $\delta < {\omega}_{2}$, any $\delta$-generic sequence of P-points can be extended to an…

We prove the universality theorem for the iterated integrals of logarithms of $L$-functions in the Selberg class on some line parallel to the real axis.

We construct a generic extension of $L$ satisfying Martin's Axiom, $2^{\aleph_0}=\aleph_3$, a lightface $\Delta^1_3$ wellorder of the reals, and $\Sigma^1_n$-uniformization for every $n\geq 2$ simultaneously.