Journals in DBLP
J. Symb. Log. 1984, volume: 49, number: 1
Andreas Baudisch Magidor-Malitz Quantifiers in Modules. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:1-8 [Journal ] Robert E. Byerly Some Properties of Invariant Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:9-21 [Journal ] Evangelos Kranakis Stepping Up Lemmas in Definable Partitions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:22-31 [Journal ] Philipp Rothmaler Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:32-46 [Journal ] Frederic Brenton Fitch Correction to a Definition of Negation. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:47-50 [Journal ] Wolfgang Maass On the Orbits of Hyperhypersimple Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:51-62 [Journal ] Jacek Cichon On the Compactness of Some Boolean Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:63-67 [Journal ] Stanley Burris Model Companions for Finitely Generated Universal Horn Classes. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:68-74 [Journal ] Solomon Feferman Toward Useful Type-Free Theories. I. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:75-111 [Journal ] Julius B. Barbanel , Carlos DiPrisco , It Beng Tan Many-Times Huge and Superhuge Cardinals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:112-122 [Journal ] Nobuyoshi Motohashi Equality and Lyndon's Interpolation Theorem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:123-128 [Journal ] D. Miller , Jeffrey B. Remmel Effectively Nowhere Simple Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:129-136 [Journal ] Manuel Lerman , Jeffrey B. Remmel The Universal Splitting Property. II. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:137-150 [Journal ] David Rosenthal The Order Indiscernibles of Divisible Ordered Abelian Groups. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:151-160 [Journal ] Alexander S. Kechris The Axiom of Determinancy Implies Dependent Choices in L(R). [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:161-173 [Journal ] Raymond D. Gumb An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:174-183 [Journal ] Yuri Gurevich , Harry R. Lewis The Word Problem for Cancellation Semigroups with Zero. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:184-191 [Journal ] Nicolas D. Goodman Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:192-203 [Journal ] Christian Hort , Horst Osswald On Nonstandard Models in Higher Order Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:204-219 [Journal ] Berthold J. Maier Existentially Closed Torsion-Free Nilpotent Groups of Class Three. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:220-230 [Journal ] Ahmad Almukdad , David Nelson Constructible Falsity and Inexact Predicates. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:231-233 [Journal ] James E. Baumgartner Generic Graph Construction. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:234-240 [Journal ] Matt Kaufmann Filter Logics on omega. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:241-256 [Journal ] Dan Velleman Simplified Morasses. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:257-271 [Journal ] George Mills , Jeff B. Paris Regularity in Models of Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:272-280 [Journal ] Kay Smith Commutative Regular Rings and Boolean-Valued Fields. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:281-297 [Journal ] Tim Carlson , Kenneth Kunen , Arnold W. Miller A Minimal Degree Which Collapses omega1 . [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:298-300 [Journal ] J. W. Addison , Herbert B. Enderton Meeting of the Association for Symbolic Logic: Berkeley, 1983. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1984, v:49, n:1, pp:322-326 [Journal ]