Mathematical Logic and Its Applications 2020

Mathematical Logic and Its Applications 2020

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...

Full description

Bibliographic Details
Other Authors: Lyubetsky, Vassily (Editor), Kanovei, Vladimir (Other)
Format: eBook
Language:Inglés
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
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009654416006719
Description
Summary: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"
Physical Description:1 electronic resource (196 p.)

Similar Items