Mathematical Logic and Its Applications 2020

• Інші автори: Lyubetsky, Vassily (Редактор), Kanovei, Vladimir (Редактор)
• Формат: Електронний ресурс Частина з книги
• Мова: Англійська
• Опубліковано: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021
• Предмети: 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
• Онлайн доступ: 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...