相关论文: Local Sentences and Mahlo Cardinals

We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…

We prove a global well-posedness and regularity result of strong solutions to a slightly modified Michelson-Sivashinsky equation in any spatial dimension and in the absence of physical boundaries. Local-in-time well-posedness (and…

Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L\"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the…

This paper investigates neighborhood and algebraic models for predicate modal logics with $\omega$-rules, including non-normal cases. We establish sufficient conditions under which such logics have neighborhood models with constant domains…

The first part of this article is a review of the properties expected of any local Langlands correspondence that aims to be considered "canonical," and of known results that establish some or all of these properties for specific groups. In…

Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations. We present a universal characterisation of this local…

In 1967 Hajnal and Juh{\'a}sz showed that the cardinality of a first-countable Hausdorff space with the countable chain condition has cardinality at most $\mathfrak{c}$, the cardinality of the real line. We give an improvement of this…

We consider nonlinear optimization problems with cardinality constraints. Based on a continuous reformulation we introduce second order necessary and sufficient optimality conditions. Under such a second order condition, we can guarantee…

Set-theoretic axioms formulated in terms of existence of a Laver-generic large cardinal were introduced in [16] and studied further in [17], [18], [20]. These axioms, let us call them Laver-genericity axioms, claim the existence of a…

We study McKean-Vlasov equations where the coefficients are locally Lipschitz continuous. We prove the strong well-posedness and a propagation of chaos property in this framework. These questions can be treated with classical arguments…

The Lov\'{a}sz Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just…

We prove boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable…

Let (R,m) be a complete local ring, a an ideal of R and M a finitely generated R-module. The aim of this paper is to show that for any non-negative integer n, the least integer i such that the i-th local cohomology with respect to a is not…

For each natural number $n$, let $C^{(n)}$ be the closed and unbounded proper class of ordinals $\alpha$ such that $V_\alpha$ is a $\Sigma_n$ elementary substructure of $V$. We say that $\kappa$ is a \emph{$C^{(n)}$-cardinal} if it is the…

We give a short and very general proof of the fact that the property of a dense Fr\'echet subalgebra of a Banach algebra being local, or closed under the holomorphic functional calculus in the Banach algebra, is preserved by tensoring with…

We prove an epsilon-regularity theorem for critical and super-critical systems with a non-local antisymmetric operator on the right-hand side. These systems contain as special cases, Euler-Lagrange equations of conformally invariant…

In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete…

The preferential conditional logic PCL, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalise Lewis' sphere models for counterfactual logics, is proposed. Soundness…

Given an inaccessible J\'onsson cardinal $\lambda$, a sequence of results due to Shelah from Cardinal Arithmetic and Sh413 tell us that $\lambda$ must be at least $\lambda\times\omega$-Mahlo. We may then ask ourselves whether we can improve…

We introduce a multiscale test statistic based on local order statistics and spacings that provides simultaneous confidence statements for the existence and location of local increases and decreases of a density or a failure rate. The…