Related papers: Magidor-Malitz Reflection

We study Euler systems for $\mathbb{G}_m$ over a number field $k$. Motivated by a distribution-theoretic idea of Coleman, we formulate a conjecture regarding the existence of such systems that is elementary to state and yet strictly finer…

We show how Leibnitz.s indiscernibility principle and Gentzen's original work lead to extensions of the sequent calculus to first order logic with equality and investigate the cut elimination property. Furthermore we discuss and improve the…

This article is the first in a series of three papers, whose scope is to give new proofs to the well known theorems of Calder\'{o}n, Coifman, McIntosh and Meyer. Here we treat the case of the first commutator and some of its…

We establish new results of first-order necessary conditions of optimality for finite-dimensional problems with inequality constraints and for problems with equality and inequality constraints, in the form of John's theorem and in the form…

A variant of Li-Tam theory, which associates to each end of a complete Riemannian manifold a positive solution of a given Schr\"odinger equation on the manifold, is developed. It is demonstrated that such positive solutions must be of…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

It is well-known that Choice and Regularity are independent of each other but have important common consequences of logical character (reflection principles, representations of classes by sets, etc.). We explain this phenomenon by isolating…

We extend to singular cardinals the model-theoretical relation $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in P. Lipparini, The compactness spectrum of abstract logics, large cardinals and combinatorial principles, Boll. Unione…

We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common…

We test the Maldacena conjecture for type IIB String Theory/ N=4 Yang-Mills by calculating the one-loop corrections in the bulk theory to the Weyl anomaly of the boundary CFT when the latter is coupled to a Ricci-flat metric. The…

Inspired by subsequential ergodic theorems, we study the validity of Wiener's lemma and the extremal behavior of a measure $\mu$ on the unit circle via the behavior of its Fourier coefficients $\hat\mu(k_n)$ along subsequences $(k_n)$. We…

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher order…

We give general lower bounds on the maximal determinant of n by n {+1,-1}-matrices, both with and without the assumption of the Hadamard conjecture. Our bounds improve on earlier results of de Launey and Levin (2010) and, for certain…

Apparently convergent contributions of resummed perturbative series at the next-to-leading order of the 1/N expansion in the O(N) model are reanalyzed in terms of renormalizability. Compared to our earlier article [G. Fejos et al., Phys.…

We investigate the stable and retract rationality of multinorm one tori associated to finite {\'e}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori…

We study the combinatorics of hyperplane arrangements over arbitrary fields. Specifically, we determine in which situation an arrangement and its reduction modulo a prime number have isomorphic lattices via the use of minimal strong…

We introduce an infinite set of integer mappings that generalize the well-known Collatz-Ulam mapping and we conjecture that an infinite subset of these mappings feature the remarkable property of the Collatz conjecture, namely that they…

We prove that a universal class categorical in a high-enough cardinal is categorical on a tail of cardinals. As opposed to other results in the literature, we work in ZFC, do not require the categoricity cardinal to be a successor, do not…

We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author.

In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the…