## Logic Colloquium 2005The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

1 | |

COVERING DEFINABLE MANIFOLDS BY OPEN | 18 |

ISOMORPHISMS AND DEFINABLE RELATIONS ON | 26 |

INDEPENDENCE FOR TYPES IN ALGEBRAICALLY CLOSED | 46 |

SIMPLE GROUPS OF FINITE MORLEY RANK | 57 |

TOWARDS A LOGIC OF TYPEFREE MODALITY AND TRUTH | 68 |

STRUCTURAL ANALYSIS OF ARONSZAJN TREES | 85 |

PROOF ANALYSIS IN NONCLASSICAL LOGICS | 107 |

PAUL BERNAYS LATER PHILOSOPHY OF MATHEMATICS | 129 |

RECURSION ON THE PARTIAL CONTINUOUS FUNCTIONALS | 173 |

A TRANSACTIONAL APPROACH TO THE LOGIC OF TRUTH | 202 |

ON SOME PROBLEMS IN COMPUTABLE TOPOLOGY | 221 |

MONOTONE INDUCTIVE DEFINITIONS AND CONSISTENCY | 255 |

### Other editions - View all

### Common terms and phrases

A-tree algebraically closed arithmetic Aronszajn Aronszajn trees axiomatic axioms basic open sets Bernays Carter subgroups circuit computation rules consistent constructive constructor context countable cut elimination deﬁnable deﬁned Deﬁnition denote derivation diﬀerent domain eﬀective elements enumerable equivalent example ﬁlter ﬁnite ﬁnite Morley rank ﬁrst ﬁrst-order ﬁxed formal formulas function functor groups of ﬁnite Hilbert homeomorphic hypersequent iﬀ induction inﬁnitary inﬁnite isomorphism language Lemma mathematics modal logic modal operators modal predicates Morley rank natural deduction Negri notion numbering o-minimal open sets philosophical proof properties Proposition provability provability logic prove pushdown threads real numbers recursive reﬂecting relation result Scott family Scott rank semantics sentences sequent calculus sequent system sh.ok SHRAT speciﬁcation strong inclusion substructural logics subtree Sylow 2-subgroups Symbolic Logic T0 space Theorem theory topology total numberings tree truth predicate uncountable valued ﬁeld wires