The Bulletin of Symbolic Logic, Volume 10, Issue 1Association for Symbolic Logic, 2004 - Logic, Symbolic and mathematical |
Contents
Volume 10 Number 1 March | 5 |
Background on admissible sets | 14 |
Admissible sets over M | 23 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
A-finite absolute logic abstract algebraic logic adapted spaces admissible ordinals admissible set analysis applications 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 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 model theory natural language notion order logic pair paper parameter Philosophy proof proved quantifiers random 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