03356nam 2200697Ia 450 991097293080332120250328195913.09786611924430978128192443812819244319789812772749981277274X(CKB)1000000000413818(StDuBDS)AH24684384(SSID)ssj0000199105(PQKBManifestationID)11181098(PQKBTitleCode)TC0000199105(PQKBWorkID)10187944(PQKB)11436701(MiAaPQ)EBC1679871(WSP)00006255(Au-PeEL)EBL1679871(CaPaEBR)ebr10201394(CaONFJC)MIL192443(OCoLC)879024169(Perlego)848563(EXLCZ)99100000000041381820070627d2006 uy 0engur|||||||||||txtccrMathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /editors, S.S. Goncharov, R. Downey, H. Ono1st ed.Singapore ;Hackensack, NJ World Scientificc20061 online resource (328p.)Bibliographic Level Mode of Issuance: Monograph9789812700452 9812700455 Includes bibliographical references.Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov 38; B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain 38; E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei 38; M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Leniewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann 38; F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers.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.Proceedings of the 9th Asian Logic ConferenceNinth Asian Logic ConferenceLogic, Symbolic and mathematicalCongressesMathematicsCongressesLogic, Symbolic and mathematicalMathematics511.3Downey R. G(Rod G.)930867Goncharov S. S1801609Ono Hiroakira990529Asian Logic ConferenceMiAaPQMiAaPQMiAaPQBOOK9910972930803321Mathematical logic in Asia4346966UNINA