## The Bulletin of Symbolic Logic, Volume 10, Issue 1Association for Symbolic Logic, 2004 - Logic, Symbolic and mathematical |

### What people are saying - Write a review

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

### Contents

Number 1 March | 5 |

Background on admissible sets | 14 |

infinitary logic and admissible sets by H JEROmE Keisli | 22 |

Copyright | |

9 other sections not shown

### Other editions - View all

### Common terms and phrases

absolute logic abstract algebraic logic abstract logic adapted spaces admissible fragments admissible ordinals admissible set analysis automorphism axioms back-and-forth Barwise and Etchemendy Barwise and Perry Barwise Compactness Barwise's cardinality cellular automata Compactness Theorem complete compound infon computably saturated Computer Science countable admissible set CSLI Lecture Notes CSLI Publications defined definition denoted Department of Mathematics diagrams E-mail element equivalence example finite formal logic functions Hanf number heterogeneous logic heterogeneous reasoning infinitary logic infinite infon isomorphic John Etchemendy Jon Barwise Jon's Journal of Symbolic L-structure lattice Lecture Notes 17 Lemma linear ordering linguistic logicians Mathematical Logic natural language notion order logic pair paper parameter Philosophy proof proved quantifiers random recursion theory recursive relation residuated lattices satisfies Scott height sequence set theory Situation in Logic situation semantics situation theory Stanford subset Symbolic Logic tuple Turing degree University utterance vocabulary