Mathematical Logic and Its Applications 2020

<p>The issue Mathematical Logic and Its Applications 2020 contains articles related to the following three directions:</p><p>I. Descriptive Set Theory (3 articles). Solutions for long-standing problems including those of A. Tarski and H. Friedman are presented.</p><p>II. Exact combinatorial optimization algorithms in which the complexity relative to the source data is characterized by a low or even first degree polynomial (1 article).</p><p>III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich's conjectures and algorithmic undecidability; for these purposes non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human.</p><p>Submissions are invited for the next issue Mathematical Logic and Its Applications 2021</p>