## Logic Colloquium: Proceedings of the Summer School and Colloquium in Mathematical LogicAssociation for Symbolic Logic, 2003 - Logic, Symbolic and mathematical |

### What people are saying - Write a review

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

### Contents

Generalizing finite model theory | 3 |

Arthur W Apter | 27 |

Boy kin and Steve Jackson | 38 |

Copyright | |

13 other sections not shown

### Common terms and phrases

abstract algebras Alice arithmetic assume Borel Borel equivalence relation bounded calculus classical natural deduction closed complexity Computer Science construction Continuum Hypothesis Corollary countable cut-system defined definition denote differential domain elementary embedding elements equivalence relation example exists extension feedback equation finite model finite model theory first-order queries fixed forcing formula function H Lemma hence hermitian holds implies induction infinite Int+ interpretation intuitionistic invertible Large Cardinals Lecture Notes Lemma Mathematical measurable cardinal modal logics model theory natural deduction normal form operator order-continuity ordinals partial ordering Polish space polynomial positive predicate principle problem proof of Theorem properties Proposition provable prove quantifier recursive reduction regular cardinal Section sequence set theory stability stable theories strategy strong normalization strongly compact cardinal strongly decidable strongly minimal structure subset supercompact superintuitionistic Suppose Symbolic Logic system F term topology trivial uncountable V{Kl variables