03163nam 2200625Ia 450 991045095920332120200520144314.01-281-92443-19786611924430981-277-274-X(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(EXLCZ)99100000000041381820070627d2006 uy 0engur|||||||||||txtccrMathematical logic in Asia[electronic resource] proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /editors, S.S. Goncharov, R. Downey, H. OnoSingapore ;Hackensack, NJ World Scientificc20061 online resource (328p.)Bibliographic Level Mode of Issuance: Monograph981-270-045-5 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.Logic, Symbolic and mathematicalCongressesMathematicsCongressesElectronic books.Logic, Symbolic and mathematicalMathematics511.3Downey R. G(Rod G.)930867Goncharov S. S930868Ono H502460Asian Logic ConferenceMiAaPQMiAaPQMiAaPQBOOK9910450959203321Mathematical logic in Asia2094039UNINA