eBook Proceedings Of The 12th Asian Logic Conference, 1st Edition

  • Published By: World Scientific Publishing Company
  • ISBN-10: 981444927X
  • ISBN-13: 9789814449274
  • DDC: 511.3
  • Grade Level Range: College Freshman - College Senior
  • 348 Pages | eBook
  • Original Copyright 2013 | Published/Released January 2015
  • This publication's content originally published in print form: 2013
  • Price:  Sign in for price

About

Overview

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.

Table of Contents

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
Preface.
Contents.
1: Resolute Sequences in Initial Segment Complexity.
2: Approximating Functions and Measuring Distance on a Graph.
3: Carnap and McKinsey: Topics in the Pre-History of Possible-Worlds Semantics.
4: Limits to Joining with Generics and Randoms.
5: Freedom & Consistency.
6: A van Lambalgen Theorem for Demuth Randomness.
7: Faithful Representations of Polishable Ideals.
8: Further Thoughts on Definability in the Urysohn Sphere.
9: Simple Completeness Proofs for Some Spatial Logics of the Real Line.
10: On a Question of Csima on Computation-Time Domination.
11: A Generalization of Beth Model to Functionals of High Types.
12: A Computational Framework for the Study of Partition Functions and Graph Polynomials.
13: Relation Algebras and R.
14: Van Lambalgen's Theorem for Uniformly Relative Schnorr and Computable Randomness.
15: Computational Aspects of the Hyperimmune-Free Degrees.
16: Calibrating the Complexity of Δ02 Sets via Their Changes.
17: Topological Full Groups of Minimal Subshifts and Just-Infinite Groups.
18: TW-Models for Logic of Knowledge-Cum-Belief.