Journals in DBLP
J. Symb. Log. 1996, volume: 61, number: 4
Dov M. Gabbay Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1057-1120 [Journal ] Françoise Delon , Rafel Farré Some Model Theory for Almost Real Closed Fields. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1121-1152 [Journal ] José Carlos Cifuentes , Antonio Mario Sette , Daniele Mundici Cauchy Completeness in Elementary Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1153-1157 [Journal ] Masahiro Kumabe Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1158-1192 [Journal ] Grigori Mints Strong Termination for the Epsilong Substitution Method. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1193-1205 [Journal ] Shmuel Lifsches , Saharon Shelah Uniformization, Choice Functions and Well Orders in the Class of Trees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1206-1227 [Journal ] Alessandro Berarducci , Margarita Otero A Recursive Nonstandard Model of Normal Open Induction. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1228-1241 [Journal ] Pilar Dellunde , Ramon Jansana Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1242-1260 [Journal ] Saharon Shelah If There Is an Exactly lambda-free Abelian Group There There Is an Exactly lambda-Separable One in lambda. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1261-1278 [Journal ] James Loveys , Predrag Tanovic Countable Models of Trivial Theories Which Admit Finite Coding. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1279-1286 [Journal ] Abhijit Dasgupta Boolean Operations, Borel Sets, and Hausdorff's Question. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1287-1304 [Journal ] Michael C. Laskowski , Saharon Shelah Forcing Isomorphism II. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1305-1320 [Journal ] Ross T. Brady Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1321-1346 [Journal ] S. Barry Cooper , Andrea Sorbi Noncappable Enumeration Degrees Below 0'_{e} . [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1347-1363 [Journal ] William C. Calhoun , Theodore A. Slaman The Pi_{2} ^{0} Enumeration Degrees Are Not Dense. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1364-1379 [Journal ] Thomas Jech , Saharon Shelah On Countably Closed Complete Boolean Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:4, pp:1380-1386 [Journal ]