Related papers: No limit model in inaccessible

Recently, two issues concerning the three-year WMAP likelihood code were pointed out. On large angular scales ($l \lesssim 30$), a sub-optimal likelihood approximation resulted in a small power excess. On small angular scales ($l \gtrsim…

We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized by arithmetic variables. The satisfiability problem is shown…

We propose a novel model in the framework of $f(Q)$ gravity, which is a gravitational modification class arising from the incorporation of non-metricity. The model has General Relativity as a particular limit, it has the same number of free…

Implicit variables of an optimization problem are used to model variationally challenging feasibility conditions in a tractable way while not entering the objective function. Hence, it is a standard approach to treat implicit variables as…

Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega…

An alternative formulation for the controllability problem of single input linear positive systems is presented. Driven by many industrial applications, this formulations focuses on the case where the region of interest is only a subset of…

A recognized trend of research investigates generalizations of the Hadamard's inversion theorem to functions that may fail to be differentiable. In this vein, the present paper explores some consequences of a recent result about the…

Luminisity distances to the high-redshift Ia supernovas measured by the Supernova Cosmology Project team with the relativistic correction factors for redshift and time dilation led to the sensational conclusion about acceleration of…

We obtain linear elasticity as $\Gamma$-limit of finite elasticity under incompressibility assumption and Dirichlet boundary conditions. The result is shown for a large class of energy densities for rubber-like materials.

By calculating the O(\alpha_s) corrections to inclusive heavy-to-light sum rules we find model independent upper and lower bounds on form factors for B to pi and B to rho. We use the bounds to rule out model predictions. Some models violate…

We employ an adapted version of H\"ormander's asymptotic systems method to show heuristically that the standard good-bad-ugly model admits formal polyhomogeneous asymptotic solutions near null infinity. In a related earlier approach, our…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is type $2$ if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ does not satisfy a zero-one law. This means that we can find a…

We consider the following dichotomy for $\Sigma^0_2$ finitary relations $R$ on analytic subsets of the generalized Baire space for $\kappa$: either all $R$-independent sets are of size at most $\kappa$, or there is a $\kappa$-perfect…

Contrary to what Lambare [arXiv:2008.00369] assumes, in non-Newtonian calculus (a calculus based on non-Diophantine arithmetic) an integral is typically given by a nonlinear map. This is the technical reason why all the standard proofs of…

The recent success of machine learning models, especially large-scale classifiers and language models, relies heavily on training with massive data. These data are often collected from online sources. This raises serious concerns about the…

In the context of positive infinite-dimensional linear systems, we systematically study $L^p$-admissible control and observation operators with respect to the limit-cases $p=\infty$ and $p=1$, respectively. This requires an in-depth…

Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [18], [12], [17]. If $R$ is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class…

We revisit a fundamental result in real-time verification, namely that the binary reachability relation between configurations of a given timed automaton is definable in linear arithmetic over the integers and reals. In this paper we give a…

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed…

Two goals - improving replicability and accountability of Machine Learning research respectively, have accrued much attention from the AI ethics and the Machine Learning community. Despite sharing the measures of improving transparency, the…