Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Goncharov, S. S.
Otros Autores: Downey, R., Ono, H.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : World Scientific Publishing Company, 2006.
Temas:
Logic, Symbolic and mathematical > Congresses.
Mathematics > Congresses.
Logique symbolique et mathématique > Congrès.
Mathématiques > Congrès.
Logic, Symbolic and mathematical
Mathematics
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov & B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain & E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei & M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Le niewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann & 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.

Ejemplares similares