The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1982, volume: 47, number: 2

  1. Michael Stob
    Index Sets and Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:241-248 [Journal]
  2. Daniel Lascar
    On the Category of Models of a Complete Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:249-266 [Journal]
  3. Britta Schinzel
    On Decomposition of Godelnumberings Into Friedbergnumberings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:267-274 [Journal]
  4. Arnold W. Miller
    The Baire Category Theorem and Cardinals of Countable Cofinality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:275-288 [Journal]
  5. Charles D. Parsons
    Intensional Logic in Extensional Language. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:289-328 [Journal]
  6. Chi Tat Chong
    Double Jumps of Minimal Degrees Over Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:329-334 [Journal]
  7. Jouko A. Väänänen
    Abstract Logic and Set Theory. II. Large Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:335-346 [Journal]
  8. John R. Steel
    A Classification of Jump Operator. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:347-358 [Journal]
  9. Vladimir Lifschitz
    Constructive Assertions in an Extension of Classical Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:359-387 [Journal]
  10. Ashok Maitra
    An Effective Selection Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:388-394 [Journal]
  11. Jan Terlouw
    On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:395-402 [Journal]
  12. Kenneth Mcaloon
    On the Complexity of Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:403-415 [Journal]
  13. L. A. S. Kirby
    Flipping Properties in Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:416-422 [Journal]
  14. James H. Schmerl, Stephen G. Simpson
    On the Role of Ramsey Quantifiers in First Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:2, pp:423-435 [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