Research Catalog

Title

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 / edited by Jan van Eijck, Vincent van Oostrom, Albert Visser.

Author

Logic Colloquium (1999 : Utrecht, Netherlands)

Publication

Wellesley, Mass. : A K Peters, 2004.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Eijck, J. van (Jan)
• Oostrom, Vincent van, 1966-
• Visser, Albert.
• Association for Symbolic Logic

Description

viii, 208 p. : ill.; 24 cm.

Series Statement

Lecture notes in logic ; 17

Uniform Title

Lecture notes in logic ; 17.

Subject

Logic, Symbolic and mathematical > Congresses

Genre/Form

Conference papers and proceedings

Bibliography (note)

• Includes bibliographical references.

Processing Action (note)

• committed to retain

Contents

Group actions and countable models / Greg Hjorth -- Aspects of geometric model theory / Anand Pillay -- The intuitionistic arithmetical hierarchy / Wolfgang Burr -- On solvable groups and rings definable in o-minimal structures / Mario J. Edmundo -- Logical topologies and semantic completeness / Valentin Goranko -- Valued fields and elimination of imaginaries / Deirdre Haskell -- Simple sets and [Sigma][subscript 3] ideals under m-reducibility / Kejia Ho and Frank Stephan -- Borel irreducibility between two large families of Borel equivalence relations / Vladimir Kanovei and Michael Reeken -- Linear logic as a framework for specifying sequent calculus / Dale Miller and Elaine Pimentel -- Kripke models of certain subtheories of Heyting arithmetic / Tomasz Polacik -- From bounded structural rules to linear logic modalities / Andreja Prijatelj -- A description of the non-sequential execution of Petri nets in partially commutative linear logic / Christian Retore -- A very slow growing hierarchy for [Gamma][subscript 0] / Andreas Weiermann -- First order logics of individual theories / Rostislav E. Yavorsky.

ISBN

• 1568811993 (acid-free paper)
• 1568812035 (pbk. : acid-free paper)

LCCN

^^2003061666

OCLC

• 52858228
• SCSB-13222658

Owning Institutions

Harvard Library