03710nam 2200901z- 450 991055736180332120220111(CKB)5400000000042274(oapen)https://directory.doabooks.org/handle/20.500.12854/76541(oapen)doab76541(EXLCZ)99540000000004227420202201d2021 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierMathematical Logic and Its Applications 2020Basel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20211 online resource (196 p.)3-0365-0778-7 3-0365-0779-5 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"Mathematics & sciencebicsscResearch & information: generalbicsscadaptive resourceadditively exact algorithmaffine algebraic geometryaffine spacesalgorithmic unsolvabilityalmost disjoint forcingalmost-disjoint forcingautomorphismschain-cycle graphdefinabilitydefinability of definabledeformation quantizationdiscrete optimizationelementary equivalenceembeddability of varietiesexact algorithmfinitely presented algebraic systemsfirst order rigidityfree associative algebrasgeneric modelsgraph of degree 2graph transformationHarvey Friedman's problemInd-groupinfinite prime numberisotypic algebrasminimization of total costnoncommutative Gröbner-Shirshov basisnonconstructible realsoperation costpolynomial symplectomorphismsprojective hierarchyresilienceresistancesemi-inner automorphismtarski problemtheory of catastrophestipping pointturing machinetype theoretic hierarchyundecidabilityuniversal algebraic geometryWeyl algebra automorphismsMathematics & scienceResearch & information: generalLyubetsky Vassilyedt1318478Kanovei VladimiredtLyubetsky VassilyothKanovei VladimirothBOOK9910557361803321Mathematical Logic and Its Applications 20203033306UNINA