The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1988, volume: 53, number: 3

  1. Sidney C. Bailin
    A Normalization Theorem for Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:673-695 [Journal]
  2. Péter Komjáth, Saharon Shelah
    Forcing Constructions for Uncountably Chromatic Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:696-707 [Journal]
  3. Howard Becker
    A Characterization of Jump Operators. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:708-728 [Journal]
  4. Katarzyna Idziak, Pawel M. Idziak
    Decidability Problem for Finite Heyting Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:729-735 [Journal]
  5. Penelope Maddy
    Believing the Axioms II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:736-764 [Journal]
  6. Harold Hodes
    Cardinality Logics. Part II: Definability in Languages Based on 'Exactly'. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:765-784 [Journal]
  7. Jörg Flum, Juan Carlos Martínez
    On Topological Spaces Equivalent to Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:785-795 [Journal]
  8. Lou van den Dries
    On the Elementary Theory of Restricted Elementary Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:796-808 [Journal]
  9. M. C. Stanley
    Backwards Easton Forcing and 0#. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:809-833 [Journal]
  10. Hajnal Andréka, William Craig, István Németi
    A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:834-839 [Journal]
  11. Jan M. Smith
    The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:840-845 [Journal]
  12. Balázs Biró, Saharon Shelah
    Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:846-853 [Journal]
  13. D. J. Walker
    On the Transversal Hypothesis and the Weak Kurepa Hypothesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:854-877 [Journal]
  14. Kate Copestake
    1-Genericity in the Enumeration Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:878-887 [Journal]
  15. E. G. K. López-Escobar
    Circumscription within Monotonic Inferences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:888-904 [Journal]
  16. Philip Scowcroft
    A Note on Definable Skolem Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:905-911 [Journal]
  17. Philip Scowcroft
    More on Definable Sets of p-Adic Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:912-920 [Journal]
  18. Max A. Dickmann
    The Model Theory of Chain-Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:921-930 [Journal]
  19. Akito Tsuboi
    Strongly 2-Dimensional Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:931-936 [Journal]
  20. Ursula Gropp
    Coinductive Formulas and a Many-Sorted Interpolation Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:937-960 [Journal]
  21. Stephen G. Simpson
    Ordinal Numbers and the Hilbert Basis Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:961-974 [Journal]
  22. Steven Buechler
    The Classification of Small Weakly Minimal Sets. III: Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:975-979 [Journal]
  23. Harold Simmons
    Large Discrete Parts of the E-Tree. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:980-984 [Journal]
  24. Julia F. Knight
    Meeting of the Association for Symbolic Logic: San Antonio, 1987. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:3, pp:1000-1006 [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