Journals in DBLP
J. Symb. Log. 1997, volume: 62, number: 2
Greg Hjorth Some Applications of Coarse Inner Model Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:337-365 [Journal ] Joan Bagaria A Characterization of Martin's Axiom in Terms of Absoluteness. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:366-372 [Journal ] Joel David Hamkins Canonical Seeds and Prikiry Trees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:373-396 [Journal ] Steven D. Leonhardi Generalized Nonsplitting in the Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:397-437 [Journal ] David Pincus The Dense Linear Ordering Principle. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:438-456 [Journal ] Jan Krajícek Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:457-486 [Journal ] Anand Pillay Remarks on Galois Cohomology and Definability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:487-492 [Journal ] José Iovino Definability in Functional Analysis. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:493-505 [Journal ] Satoko Titani Completeness of Global Intuitionistic Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:506-528 [Journal ] Philip Kremer On the Complexity of Propositional Quantification in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:529-544 [Journal ] Georg Gottlob Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:545-574 [Journal ] Thomas Strahm Polynomial Time Operations in Explicit Mathematics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:575-594 [Journal ] Kenneth Schilling , Bosko Zivaljevic Louveau's Theorem for the Descriptive Set Theory of Internal Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:595-607 [Journal ] Moshe Y. Vardi Special Selection in Logic in Computer Science. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:608- [Journal ] James F. Lynch Infinitary Logics and Very Sparse Random Graphs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:609-623 [Journal ] Ursula Martin , Elizabeth Scott The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:624-635 [Journal ] Paliath Narendran , Frank Pfenning , Richard Statman On the Unification Problem for Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:636-647 [Journal ] Mati Pentus Product-Free Lambek Calculus and Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:648-660 [Journal ] Alexei P. Stolboushkin , Damian Niwinski y = 2x vs. y = 3x. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:661-672 [Journal ]