The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Jean-Pierre Ressayre
    Formal Languages Defined by the Underlying Structure of their Words. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1009-1026 [Journal]
  2. Chris Freiling, T. H. Payne
    Some Properties of Large Filters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1027-1035 [Journal]
  3. Charles McCarty
    Constructive Validity is Nonarithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1036-1041 [Journal]
  4. Charles McCarty
    Markov's Principle, Isols and Dedekind Finite Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1042-1069 [Journal]
  5. Robert S. Lubarsky
    Definability and Initial Segments of c-Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1070-1081 [Journal]
  6. R. Kaye, Jeff B. Paris, C. Dimitracopoulos
    On Parameter Free Induction Schemas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1082-1097 [Journal]
  7. Wolfgang Maass
    On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1098-1109 [Journal]
  8. Klaus Ambos-Spies, Peter A. Fejer
    Degree Theoretical Splitting Properties of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1110-1137 [Journal]
  9. Philip Scowcroft, Lou van den Dries
    On the Structure of Semialgebraic Sets Over p-Adic Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1138-1164 [Journal]
  10. Anand Pillay
    Sheaves of Continuous Definable Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1165-1169 [Journal]
  11. Piotr Zakrzewski
    On Universal Semiregular Invariant Measures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1170-1176 [Journal]
  12. Wendy MacCaull
    On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1177-1187 [Journal]
  13. Jaime I. Ihoda, Saharon Shelah
    Souslin Forcing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1188-1207 [Journal]
  14. Mitchell Spector
    Ultrapowers Without the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1208-1219 [Journal]
  15. James D. French
    The False Assumption Underlying Berry's Paradox. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1220-1223 [Journal]
  16. Remi Legrand
    A Basis Result in Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1224-1226 [Journal]
  17. Françoise Delon, Yamina Rouani
    Indecidabilite de Corps de Series Formelles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1227-1234 [Journal]
  18. Jeff B. Paris, A. J. Wilkie, Alan R. Woods
    Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1235-1244 [Journal]
  19. Daniel N. Osherson, Michael Stob, Scott Weinstein
    Mechanical Learners Pay a Price for Bayesianism. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1245-1251 [Journal]
  20. Martin Davis, Rohit Parikh
    Meeting of the Association for Symbolic Logic: New York City, May 1987. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1270-1274 [Journal]
  21. K. Jon Barwise, Richmond H. Thomason
    Logic and Linguistics Meeting, Stanford, 1987. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1275-1282 [Journal]
  22. Roderic A. Girle, I. C. Hinckfuss
    Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1283-1286 [Journal]
  23. Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth Mcaloon
    Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:4, pp:1287-1299 [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