The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1984, volume: 49, number: 1

  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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. James E. Baumgartner
    Generic Graph Construction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:1, pp:234-240 [Journal]
  23. Matt Kaufmann
    Filter Logics on omega. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:1, pp:241-256 [Journal]
  24. Dan Velleman
    Simplified Morasses. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:1, pp:257-271 [Journal]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002