Mathematical Logic and Its Applications 2020
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Lyubetsky Vassily
|
| Titolo: |
Mathematical Logic and Its Applications 2020
|
| Pubblicazione: | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica: | 1 online resource (196 p.) |
| Soggetto topico: | Mathematics & science |
| Research & information: general | |
| Soggetto non controllato: | adaptive resource |
| additively exact algorithm | |
| affine algebraic geometry | |
| affine spaces | |
| algorithmic unsolvability | |
| almost disjoint forcing | |
| 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 | |
| minimization of total cost | |
| noncommutative Gröbner-Shirshov basis | |
| nonconstructible reals | |
| operation cost | |
| polynomial symplectomorphisms | |
| projective hierarchy | |
| resilience | |
| resistance | |
| semi-inner automorphism | |
| tarski problem | |
| theory of catastrophes | |
| tipping point | |
| turing machine | |
| type theoretic hierarchy | |
| undecidability | |
| universal algebraic geometry | |
| Weyl algebra automorphisms | |
| Persona (resp. second.): | KanoveiVladimir |
| LyubetskyVassily | |
| Sommario/riassunto: | 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" |
| Titolo autorizzato: | Mathematical Logic and Its Applications 2020 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910557361803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |