What people are saying - Write a review
We haven't found any reviews in the usual places.
Number 1 March
Background on admissible sets
infinitary logic and admissible sets by H JEROmE Keisli
9 other sections not shown
Other editions - View all
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