## The Bulletin of Symbolic Logic, Volume 6 |

### What people are saying - Write a review

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

### Contents

Address at the Princeton University bicentennial conference on problems | 1 |

Towards a reevaluation of Julius Konigs contribution to logic by Miriam | 45 |

Reviews | 83 |

Copyright | |

24 other sections not shown

### Common terms and phrases

abstract algebra analysis applications arithmetic Association for Symbolic automorphism axiomatic Boolean Brouwer classical Comp complete computable structure Computer Science condition consistency construction continuum countable decision problem definition degree Department of Mathematics Dept discussion domain E-mail editors elementary equivalent Euler characteristic example existence Feferman field finite first-order formal formula foundational Fraenkel functions Godel Grothendieck ring hierarchy Hilbert infinite integer interpolation interpretation intuitionism intuitionistic isomorphic Journal of Symbolic language large cardinal axioms Lemma machine many-sorted Math mathematical logic Mathematical Society mathematicians measurable cardinals method modal logic model theory natural numbers nonstandard notion o-minimal ordinal P.O. Box paper Penelope Maddy Philos polynomial predicate principle probability probability amplitudes proof theory properties proposition proved quantifiers quantum computer question real numbers recursive relation semantics sentences sequence set theory subsets Symbolic Logic Tarski theorem type theory Univ University variables Woodin Woodin cardinals