Mathematical logic in Asia :: proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity pro...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Singapore ; Hackensack, NJ :
World Scientific,
©2006.
|
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. |
| Physical Description: | 1 online resource (viii, 319 pages) : illustrations |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 9789812772749 981277274X 1281924431 9781281924438 |
Staff View
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn299584970 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090123s2006 si a ob 100 0 eng d | ||
| 010 | |a 2007297924 | ||
| 040 | |a CaPaEBR |b eng |e pn |c CUY |d OCLCQ |d N$T |d YDXCP |d IDEBK |d E7B |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d STF |d OCL |d OCLCO |d OCLCQ |d AZK |d COCUF |d AGLDB |d MOR |d CCO |d PIFAG |d OCLCQ |d U3W |d WRM |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d TKN |d M8D |d HS0 |d UKCRE |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 181642205 |a 647684562 |a 815750783 |a 961526836 |a 962671804 |a 988415544 |a 991993610 |a 1037704421 |a 1038623103 |a 1045467645 |a 1055325765 |a 1063813441 |a 1153537832 |a 1228602035 | ||
| 020 | |a 9789812772749 |q (electronic bk.) | ||
| 020 | |a 981277274X |q (electronic bk.) | ||
| 020 | |a 1281924431 | ||
| 020 | |a 9781281924438 | ||
| 020 | |z 9789812700452 | ||
| 020 | |z 9812700455 | ||
| 035 | |a (OCoLC)299584970 |z (OCoLC)181642205 |z (OCoLC)647684562 |z (OCoLC)815750783 |z (OCoLC)961526836 |z (OCoLC)962671804 |z (OCoLC)988415544 |z (OCoLC)991993610 |z (OCoLC)1037704421 |z (OCoLC)1038623103 |z (OCoLC)1045467645 |z (OCoLC)1055325765 |z (OCoLC)1063813441 |z (OCoLC)1153537832 |z (OCoLC)1228602035 | ||
| 050 | 4 | |a Q334 |b .A853 2005eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a JPHL, BGH |2 bicssc | |
| 082 | 7 | |a 511.3 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Asian Logic Conference |n (9th : |d 2005 : |c Novosibirsk, Russia) | |
| 245 | 1 | 0 | |a Mathematical logic in Asia : |b proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / |c editors, S.S. Goncharov, R. Downey, H. Ono. |
| 246 | 3 | 0 | |a Proceedings of the 9th Asian Logic Conference |
| 246 | 3 | |a Ninth Asian Logic Conference | |
| 260 | |a Singapore ; |a Hackensack, NJ : |b World Scientific, |c ©2006. | ||
| 300 | |a 1 online resource (viii, 319 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Another characterization of the deduction-detachment theorem / S.V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S.A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B.S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe [and others] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S.P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D.E. Pal'chunov and G.E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V.V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J.A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K.E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao. | |
| 520 | |a Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Mathematics |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 6 | |a Mathématiques |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Downey, R. G. |q (Rod G.) |1 https://id.oclc.org/worldcat/entity/E39PBJpTYxfKq6fbT6HCrPbmVC |0 http://id.loc.gov/authorities/names/n97054407 | |
| 700 | 1 | |a Goncharov, S. S. |0 http://id.loc.gov/authorities/names/n87854790 | |
| 700 | 1 | |a Ono, H. | |
| 776 | 0 | 8 | |i Print version: |a Asian Logic Conference (9th : 2005 : Novosibirsk, Russia). |t Mathematical logic in Asia. |d Singapore ; Hackensack, NJ : World Scientific, ©2006 |w (DLC) 2007297924 |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210812 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210812 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a EBSCOhost |b EBSC |n 210812 | ||
| 938 | |a YBP Library Services |b YANK |n 2736072 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn299584970 |
|---|---|
| _version_ | 1829094637137035264 |
| adam_text | |
| any_adam_object | |
| author2 | Downey, R. G. (Rod G.) Goncharov, S. S. Ono, H. |
| author2_role | |
| author2_variant | r g d rg rgd s s g ss ssg h o ho |
| author_GND | http://id.loc.gov/authorities/names/n97054407 http://id.loc.gov/authorities/names/n87854790 |
| author_corporate | Asian Logic Conference Novosibirsk, Russia |
| author_corporate_role | |
| author_facet | Downey, R. G. (Rod G.) Goncharov, S. S. Ono, H. Asian Logic Conference Novosibirsk, Russia |
| author_sort | Asian Logic Conference Novosibirsk, Russia |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 .A853 2005eb |
| callnumber-search | Q334 .A853 2005eb |
| callnumber-sort | Q 3334 A853 42005EB |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBA |
| contents | Another characterization of the deduction-detachment theorem / S.V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S.A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B.S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe [and others] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S.P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D.E. Pal'chunov and G.E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V.V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J.A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K.E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao. |
| ctrlnum | (OCoLC)299584970 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05362cam a2200661 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn299584970</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">090123s2006 si a ob 100 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2007297924</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CaPaEBR</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">CUY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">CCO</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">M8D</subfield><subfield code="d">HS0</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">181642205</subfield><subfield code="a">647684562</subfield><subfield code="a">815750783</subfield><subfield code="a">961526836</subfield><subfield code="a">962671804</subfield><subfield code="a">988415544</subfield><subfield code="a">991993610</subfield><subfield code="a">1037704421</subfield><subfield code="a">1038623103</subfield><subfield code="a">1045467645</subfield><subfield code="a">1055325765</subfield><subfield code="a">1063813441</subfield><subfield code="a">1153537832</subfield><subfield code="a">1228602035</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812772749</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">981277274X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281924431</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281924438</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789812700452</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9812700455</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299584970</subfield><subfield code="z">(OCoLC)181642205</subfield><subfield code="z">(OCoLC)647684562</subfield><subfield code="z">(OCoLC)815750783</subfield><subfield code="z">(OCoLC)961526836</subfield><subfield code="z">(OCoLC)962671804</subfield><subfield code="z">(OCoLC)988415544</subfield><subfield code="z">(OCoLC)991993610</subfield><subfield code="z">(OCoLC)1037704421</subfield><subfield code="z">(OCoLC)1038623103</subfield><subfield code="z">(OCoLC)1045467645</subfield><subfield code="z">(OCoLC)1055325765</subfield><subfield code="z">(OCoLC)1063813441</subfield><subfield code="z">(OCoLC)1153537832</subfield><subfield code="z">(OCoLC)1228602035</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q334</subfield><subfield code="b">.A853 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">JPHL, BGH</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference</subfield><subfield code="n">(9th :</subfield><subfield code="d">2005 :</subfield><subfield code="c">Novosibirsk, Russia)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic in Asia :</subfield><subfield code="b">proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /</subfield><subfield code="c">editors, S.S. Goncharov, R. Downey, H. Ono.</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">Proceedings of the 9th Asian Logic Conference</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">Ninth Asian Logic Conference</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Singapore ;</subfield><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 319 pages) :</subfield><subfield code="b">illustrations</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="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Another characterization of the deduction-detachment theorem / S.V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S.A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B.S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe [and others] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S.P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D.E. Pal'chunov and G.E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V.V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J.A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K.E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Downey, R. G.</subfield><subfield code="q">(Rod G.)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJpTYxfKq6fbT6HCrPbmVC</subfield><subfield code="0">http://id.loc.gov/authorities/names/n97054407</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Goncharov, S. S.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n87854790</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ono, H.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Asian Logic Conference (9th : 2005 : Novosibirsk, Russia).</subfield><subfield code="t">Mathematical logic in Asia.</subfield><subfield code="d">Singapore ; Hackensack, NJ : World Scientific, ©2006</subfield><subfield code="w">(DLC) 2007297924</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210812</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210812</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">210812</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2736072</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn299584970 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:36:17Z |
| institution | BVB |
| isbn | 9789812772749 981277274X 1281924431 9781281924438 |
| language | English |
| lccn | 2007297924 |
| oclc_num | 299584970 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 319 pages) : illustrations |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | Asian Logic Conference (9th : 2005 : Novosibirsk, Russia) Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono. Proceedings of the 9th Asian Logic Conference Ninth Asian Logic Conference Singapore ; Hackensack, NJ : World Scientific, ©2006. 1 online resource (viii, 319 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references. Print version record. Another characterization of the deduction-detachment theorem / S.V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S.A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B.S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe [and others] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S.P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D.E. Pal'chunov and G.E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V.V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J.A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K.E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao. Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. Logic, Symbolic and mathematical Congresses. Mathematics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Mathematics fast Conference papers and proceedings fast Downey, R. G. (Rod G.) https://id.oclc.org/worldcat/entity/E39PBJpTYxfKq6fbT6HCrPbmVC http://id.loc.gov/authorities/names/n97054407 Goncharov, S. S. http://id.loc.gov/authorities/names/n87854790 Ono, H. Print version: Asian Logic Conference (9th : 2005 : Novosibirsk, Russia). Mathematical logic in Asia. Singapore ; Hackensack, NJ : World Scientific, ©2006 (DLC) 2007297924 |
| spellingShingle | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / Another characterization of the deduction-detachment theorem / S.V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S.A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B.S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe [and others] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S.P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D.E. Pal'chunov and G.E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V.V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J.A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K.E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao. Logic, Symbolic and mathematical Congresses. Mathematics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Mathematics fast |
| title | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / |
| title_alt | Proceedings of the 9th Asian Logic Conference Ninth Asian Logic Conference |
| title_auth | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / |
| title_exact_search | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / |
| title_full | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono. |
| title_fullStr | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono. |
| title_full_unstemmed | Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono. |
| title_short | Mathematical logic in Asia : |
| title_sort | mathematical logic in asia proceedings of the 9th asian logic conference novosibirsk russia 16 19 august 2005 |
| title_sub | proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / |
| topic | Logic, Symbolic and mathematical Congresses. Mathematics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Congrès. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Mathematics fast |
| topic_facet | Logic, Symbolic and mathematical Congresses. Mathematics Congresses. Logique symbolique et mathématique Congrès. Mathématiques Congrès. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Mathematics Conference papers and proceedings |
| work_keys_str_mv | AT asianlogicconferencenovosibirskrussia mathematicallogicinasiaproceedingsofthe9thasianlogicconferencenovosibirskrussia1619august2005 AT downeyrg mathematicallogicinasiaproceedingsofthe9thasianlogicconferencenovosibirskrussia1619august2005 AT goncharovss mathematicallogicinasiaproceedingsofthe9thasianlogicconferencenovosibirskrussia1619august2005 AT onoh mathematicallogicinasiaproceedingsofthe9thasianlogicconferencenovosibirskrussia1619august2005 AT asianlogicconferencenovosibirskrussia proceedingsofthe9thasianlogicconference AT downeyrg proceedingsofthe9thasianlogicconference AT goncharovss proceedingsofthe9thasianlogicconference AT onoh proceedingsofthe9thasianlogicconference AT asianlogicconferencenovosibirskrussia ninthasianlogicconference AT downeyrg ninthasianlogicconference AT goncharovss ninthasianlogicconference AT onoh ninthasianlogicconference |