## The Journal of Symbolic LogicPublishes original scholarly work covering the entire field of symbolic logic, reflecting its role in philosophy and in mathematics. Includes newer aspects of logic, related to other disciplines such as computer science and linguistics. |

### What people are saying - Write a review

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

### Contents

Millar Terrence S A complete decidable theory with two decidable models 307 | 9 |

Motohashi Nobuyoshi A remark on Africks paper on Scotts interpolation | 32 |

Abramson Fred G Sjseparation 374 | 33 |

Copyright | |

16 other sections not shown

### Other editions - View all

### Common terms and phrases

admissible set algebraically closed Association for Symbolic assume atomic axioms basic Boolean algebra cardinality compact complete complete Boolean algebra computation consistent constant symbol construction contains Corollary countable defined Definition denote dense disjunction elementarily equivalent elementary elements equivalent exists extension finite first-order language first-order logic free variables Frege Frege systems game formula graph hence Hilbert hypothesis implies induction infinite integer isomorphic L-structure L. E. J. Brouwer LB(d Lemma linear order Mathematical Logic maximal modal modal logic model theory Moschovakis notation notion obtained operator order type ordinal polynomial predicate proof of Theorem Proposition prove quantifier recursion theory recursive function recursive model recursively enumerable set reduction relation result satisfies sentence sequence Skolem stationary set structure subalgebra subset Suppose Symbolic Logic tion topological topos ultrafilter University Volume 44