The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1983, volume: 48, number: 3

  1. Claudio Bernardi, Andrea Sorbi
    Classifying Positive Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:529-538 [Journal]
  2. Libo Lo
    On the Number of Countable Homogeneous Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:539-541 [Journal]
  3. Matatyahu Rubin, Saharon Shelah
    On the Expressibility Hierarchy of Magidor-Malitz Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:542-557 [Journal]
  4. L. V. Shabunin
    On the Interpretation of Combinators with Weak Reduction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:558-563 [Journal]
  5. Jeff B. Paris, C. Dimitracopoulos
    A Note on the Undefinability of Cuts. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:564-569 [Journal]
  6. Philipp Rothmaler
    Some Model Theory of Modules. I. On Total Transcendence of Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:570-574 [Journal]
  7. Arnold W. Miller
    Mapping a Set of Reals Onto the Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:575-584 [Journal]
  8. Lefteris M. Kirousis
    A Selection Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:585-594 [Journal]
  9. E. G. K. López-Escobar
    A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains". [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:595-599 [Journal]
  10. William J. Mitchell
    Sets Constructed from Sequences of Measures: Revisited. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:600-609 [Journal]
  11. Iraj Kalantari, Jeffrey B. Remmel
    Degrees of Recursively Enumerable Topological Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:610-622 [Journal]
  12. Julia F. Knight
    Additive Structure in Uncountable Models for a Fixed Completion of P. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:623-628 [Journal]
  13. Sy D. Friedman
    Some Recent Developments in Higher Recursion Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:629-642 [Journal]
  14. Uri Abraham, Saharon Shelah
    Forcing Closed Unbounded Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:643-657 [Journal]
  15. Uri Abraham
    On Forcing Without the Continuum Hypothesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:658-661 [Journal]
  16. Robert E. Byerly
    Definability of R. E. Sets in a Class of Recursion Theoretic Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:662-669 [Journal]
  17. R. J. Grayson
    Forcing in Intuitionistic Systems Without Power-Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:670-682 [Journal]
  18. Holger Eisenmenger
    Some Local Definability Results on Countable Topological Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:683-692 [Journal]
  19. Eberhard Herrmann
    Orbits of Hyperhypersimple Sets and the Lattice of Sigma03 Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:693-699 [Journal]
  20. Libo Lo
    The tau-Theory for Free Groups Is Undecidable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:700-703 [Journal]
  21. Petr Hájek
    Arithmetical Interpretations of Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:704-713 [Journal]
  22. Matthew Foreman
    Games Played on Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:714-723 [Journal]
  23. Piergiorgio Odifreddi
    Forcing and Reducibilities. II. Forcing in Fragments of Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:724-743 [Journal]
  24. Hirokazu Nishimura
    Hauptsatz for Higher-Order Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:744-751 [Journal]
  25. Erik Ellentuck
    Incompatible Extensions of Combinatorial Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:752-755 [Journal]
  26. Heinrich Rolletschek
    Closure Properties of Almost-Finiteness Classes in Recursive Function Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:756-763 [Journal]
  27. Stuart A. Kurtz
    Notions of Weak Genericity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:764-770 [Journal]
  28. Martin W. Bunder
    A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:771-776 [Journal]
  29. David Guaspari
    Sentences Implying Their Own Provability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:777-789 [Journal]
  30. Steven Homer
    Intermediate beta-R.E. Degrees and the Half-Jump. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:790-796 [Journal]
  31. Fred Richman
    Church's Thesis Without Tears. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:797-803 [Journal]
  32. W. F. Gross
    The Inverse of a Regressive Object. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:804-815 [Journal]
  33. Yuri Gurevich, Saharon Shelah
    Interpreting Second-Order Logic in the Monadic Theory of Order. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:816-828 [Journal]
  34. Jeanleah Mohrherr
    Kleene Index Sets and Functional m-Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:829-840 [Journal]
  35. John L. Bell
    On the Strength of the Sikorski Extension Theorem for Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:841-846 [Journal]
  36. Marcel Masseron
    Rungs and Trees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:847-863 [Journal]
  37. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa
    Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:884-892 [Journal]
  38. Chi Tat Chong
    Meeting of the Association for Symbolic Logic: Singapore 1981. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:893-897 [Journal]
  39. Simon Kochen, Hugues Leblanc, Charles D. Parsons
    Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:3, pp:898-910 [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