相关论文: Local Sentences and Mahlo Cardinals

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

This paper refers to Langlands' big set of notes [L] devoted to the question if the (normalized) local Hecke-Tate root number $\Delta=\Delta(E,\chi)$, where $E$ is a finite separable extension of a fixed non-archimedean local field $F$, and…

A formula $\phi$ is called \emph{$n$-provable} in a formal arithmetical theory $S$ if $\phi$ is provable in $S$ together with all true arithmetical $\Pi_{n}$-sentences taken as additional axioms. While in general the set of all $n$-provable…

In this paper, a class of nonlocal fractional Dirichlet problems is studied. By using a variational principle due to Ricceri (whose original version was given in J. Comput. Appl. Math. 113 (2000), 401-410), the existence of infinitely many…

We show that the existence of a Pi^{1}_{N}-indescribable cardinal over the Zermelo-Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and lower Mahlo operations. Furthermore we describe a…

Expansions of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N} ; < \rangle$ have been a fertile and active area of research ever since the publication of the seminal papers of B\"uchi and Elgot & Rabin on the…

Let $F$ be a non-Archimedean local field. Let $\mathcal{A}_n(F)$ be the set of equivalence classes of irreducible admissible representations of $\textrm{GL}_n(F)$, and $\mathcal{G}_n(F)$ be the set of equivalence classes of n-dimensional…

The aim of this paper is to clarify and generalize techniques of works alg-geom/9711024 (see also math.AG/9810097 and math.AG/9901004). Roughly speaking, we prove that for local Fano contractions the existence of complements can be reduced…

We present a short proof, based on local character expansions, of the celebrated theorem of Harish-Chandra about local integrability of complex characters of $p$-adic reductive groups. The proof gives an algebraic incarnation of the local…

We study expansions of the Weak Monadic Second Order theory of (N,<) by cardinality relations, which are predicates R(X1,...,Xn) whose truth value depends only on the cardinality of the sets X1, ...,Xn. We first provide a (definable)…

In this paper we prove a local converse theorem for GL_n over the archimedean local fields, which characterizes an infinitesimal equivalence class of irreducible admissible representations of GL_n(R) (or GL_n(C)) in terms of twisted…

This paper is a sequel to \cite{Tz10}, where a local version of ZFC, LZFC, was introduced and examined and transitive models of ZFC with properties that resemble large cardinal properties, namely Mahlo and $\Pi_1^1$-indescribable models,…

To understand the formations of singularities of the Euler-Poisson system with vacuum, we revisit Makino's star model in this article. We first remedy, to some extent, the inconveniences of Makino's star model and remove its imposed…

We consider a general nonlinear dispersive equation with monomial nonlinearity of order $k$ over $\mathbb{R}^d$. We construct a rigorous theory which states that higher-order nonlinearities and higher dimensions induce sharper local…

In this note we study several topics related to the schema of local reflection $\mathsf{Rfn}(T)$ and its partial and relativized variants. Firstly, we introduce the principle of uniform reflection with $\Sigma_n$-definable parameters,…

Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of $L(\mathbb R)$ is absolute for proper forcing. Here, we study the…

We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular…

In the spirit of the famous KOML\'OS (1967) theorem, every sequence of nonnegative, measurable functions $\{ f_n \}_{n \in \N}$ on a probability space, contains a subsequence which - along with all its subsequences - converges a.e. in…

In this paper we prove a general theorem on the extensions of local nets which was inspired by recent examples of exotic extensions for Virasoro nets with central charge less than one and earlier work on cosets and conformal inclusions.…

We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis. Using the Suslin-Kleene theorem, we show that the representable functions for this realizability are exactly the…