Journals in DBLP
J. Symb. Log. 1986, volume: 51, number: 2
Klaus Ambos-Spies , Manuel Lerman Lattice Embeddings into the Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:257-272 [Journal ] Peter Clote A Generalization of the Limit Lemma and Clopen Games. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:273-291 [Journal ] Eugene W. Madison , B. Zimmermann-Huisgen Combinatorial and Recursive Aspects of the Automorphism Group of the Countable Atomless Boolean Algebra. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:292-301 [Journal ] Rami P. Grossberg , Saharon Shelah On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:302-322 [Journal ] Steven Buechler Maximal Chains in the Fundamental Order. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:323-326 [Journal ] Akihiro Kanamori Finest Partitions for Ultrafilters. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:327-332 [Journal ] Nicolas D. Goodman Replacement and Collection: A Correction. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:333- [Journal ] Françoise Delon Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:334-351 [Journal ] Theodore A. Slaman On the Kleene Degrees of pi1 1 Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:352-359 [Journal ] Andrea Cantini On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:360-373 [Journal ] Simon Thomas Theories with Finitely Many Models. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:374-376 [Journal ] C. Ward Henson , H. Jerome Keisler On the Strength of Nonstandard Analysis. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:377-386 [Journal ] Nicolas D. Goodman Flagg Realizability in Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:387-392 [Journal ] Paul C. Gilmore Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:393-411 [Journal ] Terrence Millar Prime Models and Almost Decidability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:412-420 [Journal ] Victor Harnik omega1 -Like Recursively Saturated Models of Presburger's Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:421-429 [Journal ] Terrence Millar Recursive Categoricity and Persistence. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:430-434 [Journal ] J. C. E. Dekker The Inclusion-Exclusion Principle for Finitely Many Isolated Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:435-447 [Journal ] Masazumi Hanazawa , Mitio Takano An Interpolation Theorem in Many-Valued Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:448-452 [Journal ] Theodore A. Slaman Sigma1 Definitions with Parameters. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:453-461 [Journal ] Peter Aczel , Jeff B. Paris , A. J. Wilkie , George M. Wilmers , C. E. M. Yates European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:480-502 [Journal ] Phillip J. Staines Meeting of the Association for Symbolic Logic: Sydney, 1984. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:503-506 [Journal ] Andreas Blass , Louise Hay , Peter G. Hinman Meeting of the Association for Symbolic Logic: Chicago, 1985. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:2, pp:507-510 [Journal ]