Mathematical Logic and Its Applications 2020

• Other Authors: Lyubetsky, Vassily (Editor), Kanovei, Vladimir (Editor)
• Format: Electronic Book Chapter
• Language: English
• Published: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021
• Subjects: Research & information: general; Mathematics & science; definability; nonconstructible reals; projective hierarchy; generic models; almost disjoint forcing; Harvey Friedman's problem; almost-disjoint forcing; universal algebraic geometry; affine algebraic geometry; elementary equivalence; isotypic algebras; first order rigidity; Ind-group; affine spaces; automorphisms; free associative algebras; Weyl algebra automorphisms; polynomial symplectomorphisms; deformation quantization; infinite prime number; semi-inner automorphism; embeddability of varieties; undecidability; noncommutative Gröbner-Shirshov basis; finitely presented algebraic systems; algorithmic unsolvability; turing machine; discrete optimization; exact algorithm; additively exact algorithm; graph transformation; graph of degree 2; chain-cycle graph; operation cost; minimization of total cost; definability of definable; tarski problem; type theoretic hierarchy; adaptive resource; resilience; resistance; tipping point; theory of catastrophes
• Online Access: DOAB: download the publication; DOAB: description of the publication

The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions: Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented. Exact combinatorial optimization alg...