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

### From inside the book

76 pages matching **proof theory** in this book

#### Page 448

#### Page 499

Where's the rest of this book?

Results 1-3 of 76

### What people are saying - Write a review

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

### Contents

Collapsing PolynomialTime Degrees | 1 |

Qualitative and Probabilistic Models of Full Belief | 25 |

Relative Splittings of 0 in the A Enumeration Degrees | 51 |

Copyright | |

24 other sections not shown

### Common terms and phrases

admissible set algebra analytic arithmetic Artin Approximation assume automorphism axioms Baire belief base Boolean bounded Claim closed complete condition construction contains core Corollary countable defined definition denote distributive lattice e-degrees elements embedding entailment relation entrenchment equivalent exists extender finite fixed point formula function fuzzy logic given Godel logic Hajek hence holds homomorphism ideal implies induction infinite initial segment inner model isomorphism iteration Jonsson KPMr Lecture Notes Lemma length Logic Colloquium 98 Math Mathematics measurable cardinal natural numbers normal notation Notes in Logic notion o-minimal obtain Peano arithmetic polynomial predicate primitive recursive problem proof theory Proposition prove quantifier quantifier elimination quotients reduction result ring rule satisfies semi-Thue system sequence set theory space strings strong cardinals structure subset Symbolic Logic tp(A transfinite tree trivial Turing Turing degrees type theory universe variables well-ordering