The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert S. Lubarsky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert S. Lubarsky
    mu-Definable Sets of Integers [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:343-352 [Conf]
  2. Robert S. Lubarsky
    Independence results around constructive ZF. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:132, n:2-3, pp:209-225 [Journal]
  3. Robert S. Lubarsky
    CZF and Second Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:29-34 [Journal]
  4. Robert S. Lubarsky
    On the Cauchy Completeness of the Constructive Cauchy Reals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:167, n:, pp:225-254 [Journal]
  5. Robert S. Lubarsky
    Ikp and Friends. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:4, pp:1295-1322 [Journal]
  6. Robert S. Lubarsky
    Simple R. E. Degree Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:1, pp:208-213 [Journal]
  7. Robert S. Lubarsky
    Uncountable Master Codes and the Jump Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:4, pp:952-958 [Journal]
  8. Robert S. Lubarsky
    Correction to "Simple R. E. Degree Structures". [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:103-104 [Journal]
  9. 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]
  10. Robert S. Lubarsky
    Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:490-498 [Journal]
  11. Robert S. Lubarsky
    An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:194-206 [Journal]
  12. Robert S. Lubarsky
    µ-Definable Sets of Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:1, pp:291-313 [Journal]
  13. Michael Rathjen, Robert S. Lubarsky
    On the regular extension axiom and its variants. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:511-518 [Journal]
  14. Robert S. Lubarsky, Michael Rathjen
    On the Constructive Dedekind Reals: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:349-362 [Conf]

  15. Topological Forcing Semantics with Settling. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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