## Logic Colloquium: Proceedings of the Summer School and Colloquium in Mathematical Logic |

### What people are saying - Write a review

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

### Contents

WiLFRIED BUCHHOLZ | 1 |

Steven Buechler and Ludomir Newelski | 10 |

S Barry Cooper | 25 |

Copyright | |

14 other sections not shown

### Common terms and phrases

7-degrees algebra algorithm arbitrary assume assumption atomic supertype axiom cardinal complete theory computation constituent construction corresponding countable D. M. GABBAY decidable defined definition degrees denote derivation element elementary embeddings equivalent example exists fact free variables Gentzen-type Hence holds honestification identity implies indecomposable induction hypothesis inference infinite initial clauses initial segment integer irreflexivity isomorphism labels language lawlike left P gap Lemma linear order logic LPCR Math mathematical maximal Me(x minimal modal modal logic model theory modules modus ponens natural numbers notion ordinal p-DF pair partial function Peano arithmetic predicate predicate logic proof propositional prove Q gap quantifiers real closed field realizes recursive recursive set recursor referential intension relation relevance logic representation type result rule satisfied semantics sense sentences structure subset superatomic superatomic model supertype Suppose temporal formula temporal logic Th(M Theorem true truth value winning strategy