The Journal of Symbolic Logic
Association for Symbolic Logic., 1979 - Logic, Symbolic and mathematical
Publishes 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.
Millar Terrence S A complete decidable theory with two decidable models 307
Motohashi Nobuyoshi A remark on Africks paper on Scotts interpolation
Abramson Fred G Sjseparation 374
16 other sections not shown
Other editions - View all
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