Research Catalog

Title

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 / edited by Viggo Stoltenberg-Hansen, Jouko Väänänen.

Author

Logic Colloquium (2003 : Helsinki, Finland)

Publication

La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, c2006.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Association for Symbolic Logic
• Stoltenberg-Hansen, Viggo.
• Väänänen, J. (Jouko), 1950-

Description

x, 408 p.; 24 cm.

Series Statement

Lecture notes in logic ; 24

Uniform Title

Lecture notes in logic ; 24.

Subject

Logic, Symbolic and mathematical > Congresses

Genre/Form

• Conference papers and proceedings
• Conference papers and proceedings.

Bibliography (note)

• Includes bibliographical references.

Processing Action (note)

• committed to retain

Contents

Generalizing finite model theory / Michael Benedikt -- Indestructibility and strong compactness / Arthur W. Apter -- Some applications of regular markers / Charles M. Boykin and Steve Jackson -- Has the continuum hypothesis been settled? / Matthew Foreman -- Geometry of interaction IV : the feedback equation / Jean-Yves Girard -- On local modularity in homogeneous structures / Tapani Hyttinen -- Descriptive set theory and uncountable model theory / Michael C. Laskowski -- Decidable properties of logical calculi and of varieties of algebras / Larisa Maksimova -- Stabilization -- an alternative to double-negation translation for classical natural deduction / Ralph Matthes -- Definability and reducibility in higher types over the reals / Dag Norman -- Predicativity problems in point-free topology / Erik Palmgren -- Rank inequalities in the theory of differentially closed fields / Wai Yan Pong -- Consistency and games -- in search of new combinatorial principles / Pavel Pudlak -- Realizability for constructive Zermelo-Fraenkel set theory / Michael Rathjen -- On long EF-equivalence in non-isomorphic models / Saharon Shelah -- The [actual symbol not reproducible] theory of D([actual symbol not reproducible] V,') is undecidable / Richard A. Shore and Theodore A. Slaman -- Cocovering and set forcing / M. C. Stanley -- Abstract versus concrete computability : the case of countable algebras / J. V. Tucker and J. I. Zucker.

ISBN

• 1568812930 (acid-free paper)
• 1568812949 (pbk. : acid-free paper)
• 9781568812939 (acid-free paper)
• 9781568812946 (pbk. : acid-free paper)

LCCN

^^2005057435

Owning Institutions

Harvard Library