Logic Colloquium '99: Lecture Notes in Logic 17

Logic Colloquium '99: Lecture Notes in Logic 17

by Jan Van Eijck
     
 

View All Available Formats & Editions

ISBN-10: 1568812035

ISBN-13: 9781568812038

Pub. Date: 07/08/2004

Publisher: Taylor & Francis

A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic,

Overview

A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory, computability theory, and philosophy.

Product Details

ISBN-13:
9781568812038
Publisher:
Taylor & Francis
Publication date:
07/08/2004
Series:
Lecture Notes in Logic Ser.
Pages:
230
Product dimensions:
5.91(w) x 9.06(h) x (d)

Table of Contents

Survey Articles
Group actions and countable models3
Aspects of geometric model theory30
Research Articles
The intuitionistic arithmetical hierarchy51
On solvable groups and rings definable in o-minimal structures60
Logical topologies and semantic completeness68
Valued fields and elimination of imaginaries80
Simple sets and [Sigma subscript 3] ideals under m-reducibility89
Borel irreducibility between two large families of Borel equivalence relations100
Linear logic as a framework for specifying sequent calculus111
Kripke models of certain subtheories of Heyting Arithmetic136
From bounded structural rules to linear logic modalities143
A description of the non-sequential execution of Petri nets in partially commutative linear logic152
A very slow growing hierarchy for [Gamma subscript 0]182
First order logics of individual theories200

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >