Related papers: No limit model in inaccessible
We prove a vanishing result for critical points of the supersymmetric nonlinear sigma model on complete non-compact Riemannian manifolds of positive Ricci curvature that admit an Euclidean type Sobolev inequality, assuming that the…
Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In…
The basic goal in combinatorial group testing is to identify a set of up to $d$ defective items within a large population of size $n \gg d$ using a pooling strategy. Namely, the items can be grouped together in pools, and a single…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
Let $M$ denote the Merimovich's model in which for each infinite cardinal $\lambda, 2^\lambda=\lambda^{+3}$. We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall \lambda…
A natural extension of the standard cosmological model are models that include curvature as a free parameter. In this work we study in detail the observational constraints on the non-flat $\Lambda CDM$ model using the two main geometric…
We show that if the existence of a supercompact cardinal $\kappa$ with a weakly compact cardinal $\lambda$ above $\kappa$ is consistent, then the following are consistent as well (where $\mathfrak{t}(\kappa)$ and $\mathfrak{u}(\kappa)$ are…
In this paper, we highlight how any Bell inequality for a configuration involving $n$ parties each performing one of $m$ binary-outcome measurements has a canonical form that is no-signalling-projection invariant. Specifically, the…
We survey the development and status quo of a subject best described as "generic representation theory of finite dimensional algebras", which started taking shape in the early 1980s. Let $\Lambda$ be a finite dimensional algebra over an…
The asymptotic structure of the gravitational field of isolated systems has been analyzed in great detail in the case when the cosmological constant $\Lambda$ is zero. The resulting framework lies at the foundation of research in diverse…
We try to redo, improve and continue the non-structure parts in some works on a.e.c., which uses weak diamond, in lambda^+ and lambda^{++} getting better and more results and do what is necessary for the book on a.e.c. Comparing with…
We consider the possibility of generalizing the Newtonian law of gravity and the transition to a general relativistic model for weak fields with the inclusion of a repulsive term identified as a cosmological constant. The analysis includes…
The paper is devoted to the linearization of the non linear Signorini functional in the incompressible case. The limit functional, in the sense of Gamma-convergence, may coincide with the expected one only in some particular cases.
A type of exponential correction to General Relativity gives viable modified gravity model of dark energy. The model behaves as $R-2\Lambda$ at large curvature where an effective cosmological constant appears, but it becomes zero in flat…
Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the…
We extend a result proved in \cite{Col} for mirror symmetries of planar systems to measure-preserving non-linear reversibilities of $n$-dimensional systems, dropping the analyticity and nondegeneracy conditions.
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
We prove the hyperplane absolute winning property of weighted inhomogeneous badly approximable vectors in $\mathbb{R}^d$. This answers a question by Beresnevich--Nesharim--Yang and extends the main result of [Geometric and Functional…
While there are many applications of ML to scientific problems that look promising, visuals can be deceiving. Using numerical analysis techniques, we rigorously quantify the accuracy, convergence rates, and generalization bounds of certain…
A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…