TY  - GEN
AU  - Lyubetsky,Vassily
AU  - Kanovei,Vladimir
AU  - Lyubetsky,Vassily
AU  - Kanovei,Vladimir
TI  - Mathematical Logic and Its Applications 2020
SN  - books978-3-0365-0779-8
PY  - 2021///
CY  - Basel, Switzerland
PB  - MDPI - Multidisciplinary Digital Publishing Institute
KW  - Research & information: general
KW  - bicssc
KW  - Mathematics & science
KW  - definability
KW  - nonconstructible reals
KW  - projective hierarchy
KW  - generic models
KW  - almost disjoint forcing
KW  - Harvey Friedman's problem
KW  - almost-disjoint forcing
KW  - universal algebraic geometry
KW  - affine algebraic geometry
KW  - elementary equivalence
KW  - isotypic algebras
KW  - first order rigidity
KW  - Ind-group
KW  - affine spaces
KW  - automorphisms
KW  - free associative algebras
KW  - Weyl algebra automorphisms
KW  - polynomial symplectomorphisms
KW  - deformation quantization
KW  - infinite prime number
KW  - semi-inner automorphism
KW  - embeddability of varieties
KW  - undecidability
KW  - noncommutative Gröbner-Shirshov basis
KW  - finitely presented algebraic systems
KW  - algorithmic unsolvability
KW  - turing machine
KW  - discrete optimization
KW  - exact algorithm
KW  - additively exact algorithm
KW  - graph transformation
KW  - graph of degree 2
KW  - chain-cycle graph
KW  - operation cost
KW  - minimization of total cost
KW  - definability of definable
KW  - tarski problem
KW  - type theoretic hierarchy
KW  - adaptive resource
KW  - resilience
KW  - resistance
KW  - tipping point
KW  - theory of catastrophes
N1  - Open Access
N2  - 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 algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article). 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. Submissions are invited for the next issue "Mathematical Logic and Its Applications 2021"
UR  - https://mdpi.com/books/pdfview/book/3987
UR  - https://directory.doabooks.org/handle/20.500.12854/76541
ER  -