相关论文: Local Sentences and Mahlo Cardinals

Like the classical potential theory, it was conjectured that there exists equivalence between locally and globally pluripolar and complete pluripolar sets, namely, Problem I of Lelong, and was solved by Josefson, Bedford - Taylor and…

We construct a locally profinite set of cardinality $\aleph_{\omega}$ with infinitely many first cohomology classes of which any distinct finite product does not vanish. Building on this, we construct the first example of a nondescendable…

Serre obtained a sharp bound on how often two irreducible degree $n$ complex characters of a finite group can agree, which tells us how many local factors determine an Artin $L$-function. We consider the more delicate question of finding a…

We prove the existence of local constancy phenomena for reductions in a general prime power setting of two-dimensional irreducible crystalline representations. Up to twist, these representations depend on two parameters: a trace $a_p$ and a…

This paper contains portions of Baldwin's talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed proof that in a suitable extension of ZFC, there is a…

In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence phi holding in some forcing extension V^P and all subsequent extensions V^P*Q holds…

Let $\mathscr{C}$ be an $n$-exangulated category. In this note, we show that if $\mathscr{C}$ is locally finite, then $\mathscr{C}$ has Auslander-Reiten $n$-exangles. This unifies and extends results of Xiao-Zhu, Zhu-Zhuang, Zhou and…

We give a refinement of the local class field theory of Serre and Hazewinkel. This refinement allows the theory to treat extensions that are not necessarily totally ramified. Such a refinement was obtained and used in the authors' paper on…

The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic…

We show that a continuous local martingale is a strict local martingale if its supremum process is not in $ L_\alpha$ for a positive number $\alpha $ smaller than $1$. Using this we construct a family of strict local martingales.

By using main properties of uniformly distributed sequences of increasing finite sets in infinite-dimensional rectangles in $R^{\infty}$ described in [G.R. Pantsulaia, On uniformly distributed sequences of an increasing family of finite…

Given a finite module $M$ over a Noetherian local ring $(R, \m)$, we introduce the concept of $j$-stretched ideals on $M$. Thanks to a crucial specialization lemma, we show that this notion greatly generalizes (to arbitrary ideals, and with…

We prove a strengthening of Chang's lemma for subsets of $\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\varepsilon^{-2}\log(1/\alpha)$ is refined to show that every…

The Lov\'asz Local Lemma is a versatile result in probability theory, characterizing circumstances in which a collection of $n$ `bad events', each occurring with probability at most $p$ and dependent on a set of underlying random variables,…

This is part I of a study on cardinals that are characterizable by Scott sentences. Building on [3], [6] and [1] we study which cardinals are characterizable by a Scott sentence $\phi$, in the sense that $\phi$ characterizes $\kappa$, if…

We prove a fixed point theorem for the action of certain local monodromy groups on \'etale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of…

We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular,…

A strict local martingale is a local martingale that is not a martingale. We investigate how such a process might arise from a true martingale as a result of an enlargement of the filtration. We study and implement a particular type of…

The linear preferential attachment hypothesis has been shown to be quite successful to explain the existence of networks with power-law degree distributions. It is then quite important to determine if this mechanism is the consequence of a…

We present tools for analysing ordinals in realizability models of classical set theory built using Krivine's technique for realizability. This method uses a conservative extension of $ZF$ known as $ZF_{\varepsilon}$, where two membership…