Ebook: Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005

Surveys, tutorials, and selected research papers on recent advances in logic. COVER; HALF-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; SPEAKERS AND TITLES; THREAD ALGEBRA AND RISK ASSESSMENT SERVICES; COVERING DEFINABLE MANIFOLDS BY OPEN DEFINABLE SUBSETS; ISOMORPHISMS AND DEFINABLE RELATIONS ON COMPUTABLE MODELS; INDEPENDENCE FOR TYPES IN ALGEBRAICALLY CLOSED VALUED FIELDS; SIMPLE GROUPS OF FINITE MORLEY RANK; TOWARDS A LOGIC OF TYPE-FREE MODALITY AND TRUTH; STRUCTURAL ANALYSIS OF ARONSZAJN TREES; PROOF ANALYSIS IN NON-CLASSICAL LOGICS; PAUL BERNAYS' LATER PHILOSOPHY OF MATHEMATICS; PROOFNETS FOR S5: SEQUENTS AND CIRCUITS FOR MODAL LOGIC. RECURSION ON THE PARTIAL CONTINUOUS FUNCTIONALSA TRANSACTIONAL APPROACH TO THE LOGIC OF TRUTH; ON SOME PROBLEMS IN COMPUTABLE TOPOLOGY; MONOTONE INDUCTIVE DEFINITIONS AND CONSISTENCY OF NEW FOUNDATIONS; Lecture Notes in Logic