Related papers: Local Sentences and Mahlo Cardinals
We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of \'etale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove…
The proof of a result of J. J. Nieto [3] appeared in "Acta Math, Hung". (1992) concerning the positive solutions of nonlinear problems at resonance is corrected and improved.
Local cosmic strings solutions are introduced in a model with a pseudo-anomalous U(1) gauge symmetry. Such a symmetry is present in many superstring compactification models. The coupling of those strings with the axion necessary in order to…
Finding models for linear-time properties is a central problem in verification and planning. We study the distribution of linear-time models by investigating the density of linear-time properties over the space of ultimately periodic words.…
Persistence of non-degeneracy is a phenomenon which appears in the theory of $\overline{\mathbb Q}_l$-representations of the linear group: every irreducible submodule of the restriction to the mirabolic sub-representation of a…
After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. L\'evy et. al. in the 1960's, we introduce new principles of reflection based on the general notion of \emph{Structural…
Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a…
We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends…
In continuation of [1] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Z\"oschinger on coassociated primes of arbitrary modules with results from [1], [4], [5], [6] and obtain…
In [FHK13], the authors considered the question whether model-existence of $L_{\omega_1,\omega}$-sentences is absolute for transitive models of ZFC, in the sense that if $V \subseteq W$ are transitive models of ZFC with the same ordinals,…
We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then…
We intend to localize the selection principles in uniform spaces (Ko\v{c}inac, 2003) by introducing their local variations, namely locally $\Upsilon$-bounded spaces (where $\Upsilon$ is Menger, Hurewicz or Rothberger). It has been observed…
The problem of showing the existence of localised modes in nonlinear lattices has attracted considerable efforts from the physical but also from the mathematical viewpoint where a rich variety of methods has been employed. In this paper we…
We present a coherent collection of finite mathematical theorems some of which can only be proved by going well beyond the usual axioms for mathematics. The proofs of these theorems illustrate in clear terms how one uses the well studied…
Miller's 1937 splitting theorem was proved for pairs of cardinals $(\n,\rho)$ in which $n$ is finite and $\rho$ is infinite. An extension of Miller's theorem is proved here in ZFC for pairs of cardinals $(\nu,\rho)$ in which $\nu$ is…
We consider local alignments without gaps of two independent Markov chains from a finite alphabet, and we derive sufficient conditions for the number of essentially different local alignments with a score exceeding a high threshold to be…
We continue the work from [8] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this…
In this paper, we study a class of one-dimensional nonlocal nonlinear Schr\"odinger equations on the line with nonlinearity given by a Fourier multiplier whose symbol has subcritical high-frequency growth. In terms of symbol order, this…
This paper is devoted to a nonlinear singular Riemann-Liouville type fractional differential equation, the local existence of whose continuous solutions under the weakest condition remained as an open problem until now. The singularity of…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…