The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Jean-Yves Girard, Jacqueline Vauzeilles
    Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:713-729 [Journal]
  2. Jan M. Smith
    An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:730-753 [Journal]
  3. A. P. Hiller, J. Zimbarg Sobrinho
    Self-Reference with Negative Types. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:754-773 [Journal]
  4. Douglas A. Cenzer
    Monotone Reducibility and the Family of Infinite Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:774-782 [Journal]
  5. Stephen G. Simpson
    Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:783-802 [Journal]
  6. Bruno Poizat
    Deux Remarques a Propos de la Propriete de Recouvrement Fini. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:803-807 [Journal]
  7. Yoshihiro Abe
    Strongly Compact Cardinals, Elementary Embeddings and Fixed Points. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:808-812 [Journal]
  8. Andrzej Pelc
    Idempotent Ideals on Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:813-817 [Journal]
  9. James P. Jones, Yuri V. Matijasevic
    Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:818-829 [Journal]
  10. Alan H. Mekler
    C. C. C. Forcing without Combinatorics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:830-832 [Journal]
  11. Claude Sureson
    Complexity of kappa-Ultrafilters and Inner Models with Measurable Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:833-841 [Journal]
  12. Kevin J. Compton
    An Undecidable Problem in Finite Combinatorics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:842-850 [Journal]
  13. Gaisi Takeuti, Satoko Titani
    Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:851-866 [Journal]
  14. Gerhard Jäger
    The Strength of Admissibility Without Foundation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:867-879 [Journal]
  15. Anand Pillay
    Regular Types in Nonmultidimensional omega-Stable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:880-891 [Journal]
  16. Wim Ruitenburg
    On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:892-899 [Journal]
  17. Robert H. Gilman
    Characteristically Simple 0-Categorical Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:900-907 [Journal]
  18. Gerrit van Der Hoeven, Ieke Moerdijk
    On Choice Sequences Determined by Spreads. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:908-916 [Journal]
  19. Robert K. Meyer, Chris Mortensen
    Inconsistent Models for Relevant Arithmetics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:917-929 [Journal]
  20. Steven Buechler
    Kueker's Conjecture for Superstable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:930-934 [Journal]
  21. Arnon Avron
    On Modal Systems Having Arithmetical Interpretations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:935-942 [Journal]
  22. Peter W. Woodruff
    On Supervaluations in Free Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:943-950 [Journal]
  23. Cornelia Kalfa
    Some Undecidability Results in Strong Algebraic Languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:951-954 [Journal]
  24. Henryk Kotlarski
    Some Remarks on Initial Segments in Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:955-960 [Journal]
  25. Juan Carlos Martínez
    Accessible Sets and (L 1)t-Equivalence for T3 Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:961-967 [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