Related papers: Variants of Schanuel's conjecture

Presented here are over one hundred conjectures ranging from easy to difficult, from many mathematical fields. I also summarize briefly methods and tools that have led to this collection.

This paper collects some problems that I have encountered during the years, have puzzled me and which, to the best of my knowledge, are still open. Most of them are well-known and have been first stated by other authors. In this sad season…

This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.

We survey some old and new results on strong variants of Chang's Conjecture and related topics.

In this survey, we give a short overview of the recent progress on the multidimensional L2 conjecture. It can also serve as an introduction to the subject.

This article presents a survey of computability logic: its philosophy and motivations, main concepts and most significant results obtained so far. A continuously updated online version of this article is maintained at…

We extend the Ax-Schanuel theorem recently proven for Shimura varieties by Mok-Pila-Tsimerman to all varieties supporting a pure polarized integral variation of Hodge structures. The essential new ingredient is a volume bound on Griffiths…

We aim to prove a twisted version of the Osborne conjecture obtained by Hecht and Schmid in their 1983 Acta Mathematica paper. Bergeron and Clozel (2013) have considered a special case, and we generalize their method to our setting.

We survey most of the known results concerning the Eisenbud-Green-Harris Conjecture. Our presentation includes new proofs of several theorems, as well as a unified treatment of many results which are otherwise scattered in the literature.…

In 2007, Dmytrenko, Lazebnik and Williford posed two related conjectures about polynomials over finite fields. Conjecture~1 is a claim about the uniqueness of certain monomial graphs. Conjecture~2, which implies Conjecture~1, deals with…

Translation of 'Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen' by Ernst Specker, Dialectica, vol. 14, 239 - 246 (1960).

This article is a semitutorial-style survey of computability logic. An extended online version of it is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .

This note is the written version of conversations with young colleagues on unofficial history, general ideas, unexpected facts and open problems concerning tilting theory.

In this article, we study translations between variants of defaults logics such that the extensions of the theories that are the input and the output of the translation are in a bijective correspondence. We assume that a translation can…

In this note, while giving an overview of the state of art of the well known Hadamard conjecture, which is more than a century old and now it has been established by using the methods given in the two papers by Mohan et al [6,7].

This article surveys work done in the last six years on the unification of various functional interpretations including G\"odel's dialectica interpretation, its Diller-Nahm variant, Kreisel modified realizability, Stein's family of…

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…

This is an appendix to our paper "An update of the Hirsch Conjecture" (arXiv:0907.1186), containing proofs of some of the results and comments that were omitted in it.

This is a retyped version of an unpublished manuscript from 1993. It contains proofs of two conjectures of Colliot-Th\'el\`ene, Sansuc and Swinnerton-Dyer on the arithmetic of intersections of two quadrics in the case where the variety…

We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…