Journals in DBLP
J. Symb. Log. 1983, volume: 48, number: 2
Patrick Dehornoy An Application of Ultrapowers to Changing Cofinality. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:225-235 [Journal ] T. E. Forster Further Consistency and Independence Results in NF Obtained by the Permutation Method. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:236-238 [Journal ] Bruno Poizat Paires de Structures Stables. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:239-249 [Journal ] William S. Heck Large Families of Incomparable A-Isols. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:250-252 [Journal ] Henryk Kotlarski On Cofinal Extensions of Models of Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:253-262 [Journal ] Matt Kaufmann Set Theory With a Filter Quantifier. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:263-287 [Journal ] Piergiorgio Odifreddi Forcing and Reducibilities. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:288-310 [Journal ] Roman Kossak A Certain Class of Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:311-320 [Journal ] Robert E. Woodrow , Julia F. Knight A Complete Theory with Arbitrarily Large Minimality Ranks. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:321-328 [Journal ] William P. Hanf , Dale Myers Boolean Sentence Algebras: Isomorphism Constructions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:329-338 [Journal ] Bruno Poizat Groupes Stables, Avec Types Generiques Reguliers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:339-355 [Journal ] Stephen G. Simpson , Galen Weitkamp High and Low Kleene Degrees of Coanalytic Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:356-368 [Journal ] Dev Kumar Roy R.E. Presented Linear Orders. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:369-376 [Journal ] Elisabeth Bouscaren Countable Models of Multidimensional 0 -Stable Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:377-383 [Journal ] E. Bencivenga Compactness of a Supervaluational Language. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:384-386 [Journal ] Yuri Gurevich , Menachem Magidor , Saharon Shelah The Monadic Theory of omega1 2 . [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:387-398 [Journal ] E. A. Cichon , Stanley S. Wainer The Slow-Growing and the Grzecorczyk Hierarchies. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:399-408 [Journal ] Ned I. Rosen A Characterization of 2-Square Ultrafilters. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:409-414 [Journal ] George Bealer Completeness in the Theory of Properties, Relations, and Propositions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:415-426 [Journal ] Kevin J. Compton Some Useful Preservation Theorems. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:427-440 [Journal ] Harold T. Hodes More About Uniform Upper Bounds on Ideals of Turing Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:441-457 [Journal ] John P. Hartley The Countably Based Functionals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:458-474 [Journal ] Kenneth Kunen , Donald H. Pelletier On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:475-481 [Journal ] Jon Barwise , Robert L. Vaught , Yiannis N. Moschovakis Meeting of the Association for Symbolic Logic: San Francisco, 1981. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:505-513 [Journal ] Jon Barwise , Robert I. Soare , Terrence Millar Meeting of the Association for Symbolic Logic: Milwaukee, 1981. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:514-518 [Journal ] W. G. Malcolm , M. J. Cresswell Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:519-526 [Journal ]