ISBN-10:
1568812035
ISBN-13:
9781568812038
Pub. Date:
07/08/2004
Publisher:
Taylor & Francis
Logic Colloquium '99: Lecture Notes in Logic 17 / Edition 1

Logic Colloquium '99: Lecture Notes in Logic 17 / Edition 1

Current price is , Original price is $49.95. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Item is available through our marketplace sellers.

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

What People are Saying About This

From the Publisher

… The collection gives a good picture of the situation in logic at the millenium.-C.W. Kilmister, The Mathematical Gazette, July 2005

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews