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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: E-Book
Sprache:Englisch
Veröffentlicht: Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021
Schlagworte:
adaptive resource
additively exact algorithm
affine algebraic geometry
affine spaces
algorithmic unsolvability
almost disjoint forcing
automorphisms
chain-cycle graph
definability
definability of definable
deformation quantization
discrete optimization
elementary equivalence
embeddability of varieties
exact algorithm
finitely presented algebraic systems
first order rigidity
free associative algebras
generic models
graph of degree 2
graph transformation
Harvey Friedman’s problem
Ind-group
infinite prime number
isotypic algebras
Mathematics and Science
minimization of total cost
noncommutative Gröbner-Shirshov basis
nonconstructible reals
operation cost
polynomial symplectomorphisms
projective hierarchy
Reference, Information and Interdisciplinary subjects
Research and information: general
resilience
resistance
semi-inner automorphism
tarski problem
theory of catastrophes
tipping point
turing machine
type theoretic hierarchy
undecidability
universal algebraic geometry
Weyl algebra automorphisms
ISBN:9783036507781, 9783036507798, 3036507787, 3036507795
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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"
ISBN:9783036507781
9783036507798
3036507787
3036507795
DOI:10.3390/books978-3-0365-0779-8