Cover image for Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996
Title:
Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996
Publication Information:
Singapore : World Scientific Publishing, 1998
ISBN:
9789810234324

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010007332 QA9 A85 1996 Open Access Book Proceedings, Conference, Workshop etc.
Searching...

On Order

Summary

Summary

This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.


Table of Contents

Y. AbeK. Ambos-Spies and J. ReimannM. M. Arslanov and I. S. KalimullinC. T. Chong and Y. YangD. Ding and L. QianQ. FengK. HauserA. S. KechrisS. LemppL. LuoT. MiyamotoK. NakatogawaM. ShirahataK. Su and H. ChenY. H. Tan and L. W. N. van der TorreH. WagnerM. Yasugi and M. NakataM. ZhangY. ZhangM. Yasugi
Forewordp. v
Seminormal Fine Measures on P[subscript kappa]([lambda])p. 1
Effective Baire Category Conceptsp. 13
Weak Presentations of Computable Partial Orderingsp. 31
Recursion Theory and Weak Fragments of Peano Arithmetic: A Study of Definable Cutsp. 47
Lattice Embedding into d-r.e. Degrees Preserving 0 and 1p. 67
On Stationary Reflection Principlesp. 83
Definable Sets of Real Numbers, Infinite Games and Core Model Theoryp. 107
The Descriptive Classification of Some Classes of C*--algebrasp. 121
Decidability and Undecidability in the Enumerable Turing Degreesp. 151
The Theory of Finite Modelsp. 163
A Note on Weak Segments of PFAp. 175
On Structual Inference Rules For Gentzen-Style Natural Deduction, Part Ip. 199
Linear Set Theory with Strict Comprehensionp. 223
A Solution to a Problem of Marek and Truszcynskip. 247
Credulous Reasoning about Defaultsp. 255
Computational Complexity of Infinite-Valued Lukasiewicz Propositional Logicp. 273
NDK and Natural Reasoningp. 285
Default Logic and it's Variants: A Semantical Viewp. 311
Adding Eventual Different Realsp. 329
Asian Logic Conferencesp. 345