The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Wilfrid Hodges, Wilfried Sieg
    A Symposium on Hilbert's Program. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:337- [Journal]
  2. Wilfried Sieg
    Hilbert's Program Sixty Years Later. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:338-348 [Journal]
  3. Stephen G. Simpson
    Partial Realizations of Hilbert's Program. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:349-363 [Journal]
  4. Solomon Feferman
    Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:364-384 [Journal]
  5. Yo Matsubara
    Splitting P k lambda into Stationary Subsets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:385-389 [Journal]
  6. John P. Burgess
    Addendum to "The Truth is Never Simple". [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:390-392 [Journal]
  7. Jaime I. Ihoda
    Strong Measure Zero Sets and Rapid Filters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:393-402 [Journal]
  8. Fabio Bellissima
    Finite and Finitely Separable Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:403-420 [Journal]
  9. Françoise Delon
    Extensions Separees et Immediates de Corps Values. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:421-428 [Journal]
  10. Kenneth Kunen
    Where Ma First Fails. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:429-433 [Journal]
  11. Elisabeth Bouscaren, Bruno Poizat
    Des Belles Paires aux Beaux Uples. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:434-442 [Journal]
  12. Joseph Barback
    On Infinite Series of Infinite Isols. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:443-462 [Journal]
  13. Dan Haran
    Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:463-469 [Journal]
  14. Masahiro Yasumoto
    Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:470-480 [Journal]
  15. Penelope Maddy
    Believing the Axioms I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:481-511 [Journal]
  16. Michael C. Laskowski
    Uncountable Theories that are Categorical in a Higher Power. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:512-530 [Journal]
  17. Michael Moses
    Decidable Discrete Linear Orders. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:531-539 [Journal]
  18. Pierre Matet
    Some Filters of Partitions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:540-553 [Journal]
  19. Kosta Dosen, Peter Schroeder-Heister
    Uniqueness, Definability and Interpolation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:554-570 [Journal]
  20. Herbert H. J. Riedel
    Existentially Closed Algebras and Boolean Products. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:571-596 [Journal]
  21. Mark Howard
    A Proofless Proof of the Barwise Compactness Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:597-602 [Journal]
  22. Viggo Stoltenberg-Hansen, J. V. Tucker
    Complete Local Rings as Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:603-624 [Journal]
  23. Steven Buechler
    The Classification of Small Weakly Minimal Sets II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:625-635 [Journal]
  24. Jaime I. Ihoda
    sigma12-Sets of Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:636-642 [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