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...
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
Basel, Switzerland
MDPI - Multidisciplinary Digital Publishing Institute
2021
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000naaaa2200000uu 4500 | ||
|---|---|---|---|
| 001 | doab_20_500_12854_76541 | ||
| 005 | 20220111 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20220111s2021 xx |||||o ||| 0|eng d | ||
| 020 | |a books978-3-0365-0779-8 | ||
| 020 | |a 9783036507781 | ||
| 020 | |a 9783036507798 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.3390/books978-3-0365-0779-8 |c doi | |
| 041 | 0 | |a eng | |
| 042 | |a dc | ||
| 072 | 7 | |a GP |2 bicssc | |
| 072 | 7 | |a P |2 bicssc | |
| 100 | 1 | |a Lyubetsky, Vassily |4 edt | |
| 700 | 1 | |a Kanovei, Vladimir |4 edt | |
| 700 | 1 | |a Lyubetsky, Vassily |4 oth | |
| 700 | 1 | |a Kanovei, Vladimir |4 oth | |
| 245 | 1 | 0 | |a Mathematical Logic and Its Applications 2020 |
| 260 | |a Basel, Switzerland |b MDPI - Multidisciplinary Digital Publishing Institute |c 2021 | ||
| 300 | |a 1 electronic resource (196 p.) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a 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" | ||
| 540 | |a Creative Commons |f https://creativecommons.org/licenses/by/4.0/ |2 cc |4 https://creativecommons.org/licenses/by/4.0/ | ||
| 546 | |a English | ||
| 650 | 7 | |a Research & information: general |2 bicssc | |
| 650 | 7 | |a Mathematics & science |2 bicssc | |
| 653 | |a definability | ||
| 653 | |a nonconstructible reals | ||
| 653 | |a projective hierarchy | ||
| 653 | |a generic models | ||
| 653 | |a almost disjoint forcing | ||
| 653 | |a Harvey Friedman's problem | ||
| 653 | |a almost-disjoint forcing | ||
| 653 | |a universal algebraic geometry | ||
| 653 | |a affine algebraic geometry | ||
| 653 | |a elementary equivalence | ||
| 653 | |a isotypic algebras | ||
| 653 | |a first order rigidity | ||
| 653 | |a Ind-group | ||
| 653 | |a affine spaces | ||
| 653 | |a automorphisms | ||
| 653 | |a free associative algebras | ||
| 653 | |a Weyl algebra automorphisms | ||
| 653 | |a polynomial symplectomorphisms | ||
| 653 | |a deformation quantization | ||
| 653 | |a infinite prime number | ||
| 653 | |a semi-inner automorphism | ||
| 653 | |a embeddability of varieties | ||
| 653 | |a undecidability | ||
| 653 | |a noncommutative Gröbner-Shirshov basis | ||
| 653 | |a finitely presented algebraic systems | ||
| 653 | |a algorithmic unsolvability | ||
| 653 | |a turing machine | ||
| 653 | |a discrete optimization | ||
| 653 | |a exact algorithm | ||
| 653 | |a additively exact algorithm | ||
| 653 | |a graph transformation | ||
| 653 | |a graph of degree 2 | ||
| 653 | |a chain-cycle graph | ||
| 653 | |a operation cost | ||
| 653 | |a minimization of total cost | ||
| 653 | |a definability of definable | ||
| 653 | |a tarski problem | ||
| 653 | |a type theoretic hierarchy | ||
| 653 | |a adaptive resource | ||
| 653 | |a resilience | ||
| 653 | |a resistance | ||
| 653 | |a tipping point | ||
| 653 | |a theory of catastrophes | ||
| 856 | 4 | 0 | |a www.oapen.org |u https://mdpi.com/books/pdfview/book/3987 |7 0 |z DOAB: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/76541 |7 0 |z DOAB: description of the publication |