相关论文: The Diversity of Minimal Cofinal Extensions

We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…

Gurevich and Shelah have shown that Peano Arithmetic cannot be interpreted in the monadic second-order theory of short chains (hence, in the monadic second-order theory of the real line). We show here that it is consistent that there is no…

We show that in an ultraproduct of finite fields, the mod-$n$ nonstandard size of definable sets varies definably in families. Moreover, if $K$ is any pseudofinite field, then one can assign "nonstandard sizes mod $n$" to definable sets in…

In this article, we study algebraic decompositions and secondary constructions of almost perfect nonlinear (APN) functions. In many cases, we establish precise criteria which characterize when certain modifications of a given APN function…

Given a cover $\mathbb{U}$ of a family of smooth complex algebraic varieties, we associate with it a class $\mathcal{U},$ containing $\mathbb{U}$, of structures locally definable in an o-minimal expansion of the reals. We prove that the…

For a natural number $m$, a Lie algebra $L$ over a field $k$ is said to be of breadth type $(0, m)$ if the co-dimension of the centralizer of every non-central element is of dimension $m$. In this article, we classify finite dimensional…

We study coupled unitary Virasoro minimal models in the large rank ($m \rightarrow \infty$) limit. In large $m$ perturbation theory, we find two non-trivial IR fixed points which exhibit irrational coefficients in several anomalous…

Let (M,d) be a compact metric space and f:M --> M an expansive homeomorphism. We define Lyapunov exponents L(f,m)_{max} and l(f,mu)_{min} for an f-invariant measure m. When L(f,m)_{max} > 0 and l(f,mu)_{min} < 0 can be interpreted as a weak…

Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras…

For a class of non compact Riemannian manifolds with ends, we give pseudo-differential expansions of bounded functions of the semi-classical Laplacian and study related Lp boundedness properties.

An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear…

One of my recent papers transforms an NP-Complete problem into the question of whether or not a feasible real solution exists to some Linear Program. The unique feature of this Linear Program is that though there is no explicit bound on the…

For a real number $q\in(1,2)$ and $x\in[0,1/(q-1)]$, the infinite sequence $(d_i)$ is called a \emph{$q$-expansion} of $x$ if $$ x=\sum_{i=1}^\infty\frac{d_i}{q^i},\quad d_i\in\{0,1\}\quad\textrm{for all}~ i\ge 1. $$ For $m=1, 2, \cdots$ or…

We shall consider minimal analytic compactifications of the affine plane with singularities. In previous work, Kojima and Takahashi proved that any minimal analytic compactification of the affine plane, which has at worse log canonical…

We classify newforms with rational Fourier coefficients and complex multiplication for fixed weight up to twisting. Under the extended Riemann hypothesis for odd real Dirichlet characters, these newforms are finite in number. We produce…

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…

We consider a class of generalized Inonu-Wigner contraction for semidirect product of two particularly related semisimple Lie (super)algebras. The special class of such contractions provides D=4 Maxwell algebra and recently introduced…

We study extensions of Sem\"enov arithmetic, the first-order theory of the structure $(\mathbb{N}, +, 2^x)$. It is well-knonw that this theory becomes undecidable when extended with regular predicates over tuples of number strings, such as…

The Ces\`aro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and mathematical analysis. To better understand sequences with Ces\`aro limits, this paper…

We show the existence of $(\epsilon,n)$-complements for $(\epsilon,\Rr)$-complementary projective generalized pairs of Fano type $(X,B+M)$ when either the coefficients of $B$ and $\mu_j$ belong to a finite set or the coefficients of $B$…