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:
HerausgeberIn: | |
---|---|
Sonstige: | |
Year of Publication: | 2021 |
Language: | English |
Physical Description: | 1 electronic resource (196 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993546053604498 |
---|---|
ctrlnum |
(CKB)5400000000042274 (oapen)https://directory.doabooks.org/handle/20.500.12854/76541 (EXLCZ)995400000000042274 |
collection |
bib_alma |
record_format |
marc |
spelling |
Lyubetsky, Vassily edt Mathematical Logic and Its Applications 2020 Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2021 1 electronic resource (196 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier 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" English Research & information: general bicssc Mathematics & science bicssc 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 3-0365-0778-7 3-0365-0779-5 Kanovei, Vladimir edt Lyubetsky, Vassily oth Kanovei, Vladimir oth |
language |
English |
format |
eBook |
author2 |
Kanovei, Vladimir Lyubetsky, Vassily Kanovei, Vladimir |
author_facet |
Kanovei, Vladimir Lyubetsky, Vassily Kanovei, Vladimir |
author2_variant |
v l vl v k vk |
author2_role |
HerausgeberIn Sonstige Sonstige |
title |
Mathematical Logic and Its Applications 2020 |
spellingShingle |
Mathematical Logic and Its Applications 2020 |
title_full |
Mathematical Logic and Its Applications 2020 |
title_fullStr |
Mathematical Logic and Its Applications 2020 |
title_full_unstemmed |
Mathematical Logic and Its Applications 2020 |
title_auth |
Mathematical Logic and Its Applications 2020 |
title_new |
Mathematical Logic and Its Applications 2020 |
title_sort |
mathematical logic and its applications 2020 |
publisher |
MDPI - Multidisciplinary Digital Publishing Institute |
publishDate |
2021 |
physical |
1 electronic resource (196 p.) |
isbn |
3-0365-0778-7 3-0365-0779-5 |
illustrated |
Not Illustrated |
work_keys_str_mv |
AT lyubetskyvassily mathematicallogicanditsapplications2020 AT kanoveivladimir mathematicallogicanditsapplications2020 |
status_str |
n |
ids_txt_mv |
(CKB)5400000000042274 (oapen)https://directory.doabooks.org/handle/20.500.12854/76541 (EXLCZ)995400000000042274 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Mathematical Logic and Its Applications 2020 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
_version_ |
1787548496350412800 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03526nam-a2200841z--4500</leader><controlfield tag="001">993546053604498</controlfield><controlfield tag="005">20231214133509.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202201s2021 xx |||||o ||| 0|eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5400000000042274</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/76541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995400000000042274</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lyubetsky, Vassily</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical Logic and Its Applications 2020</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Basel, Switzerland</subfield><subfield code="b">MDPI - Multidisciplinary Digital Publishing Institute</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (196 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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"</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Research & information: general</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics & science</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">definability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">nonconstructible reals</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">projective hierarchy</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">generic models</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">almost disjoint forcing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Harvey Friedman’s problem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">almost-disjoint forcing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">universal algebraic geometry</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">affine algebraic geometry</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">elementary equivalence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">isotypic algebras</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">first order rigidity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ind-group</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">affine spaces</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automorphisms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">free associative algebras</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Weyl algebra automorphisms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">polynomial symplectomorphisms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">deformation quantization</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">infinite prime number</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semi-inner automorphism</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">embeddability of varieties</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">undecidability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">noncommutative Gröbner-Shirshov basis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">finitely presented algebraic systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">algorithmic unsolvability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">turing machine</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">discrete optimization</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">exact algorithm</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">additively exact algorithm</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">graph transformation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">graph of degree 2</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">chain-cycle graph</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">operation cost</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">minimization of total cost</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">definability of definable</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">tarski problem</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">type theoretic hierarchy</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">adaptive resource</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">resilience</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">resistance</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">tipping point</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theory of catastrophes</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-0365-0778-7</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-0365-0779-5</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kanovei, Vladimir</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lyubetsky, Vassily</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kanovei, Vladimir</subfield><subfield code="4">oth</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 05:55:58 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5338128640004498&Force_direct=true</subfield><subfield code="Z">5338128640004498</subfield><subfield code="b">Available</subfield><subfield code="8">5338128640004498</subfield></datafield></record></collection> |