Search the dblp DataBase
Robert S. Lubarsky :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robert S. Lubarsky mu-Definable Sets of Integers [Citation Graph (0, 0)][DBLP ] LICS, 1989, pp:343-352 [Conf ] 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 ] 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 ] 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 ] Robert S. Lubarsky Ikp and Friends. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:4, pp:1295-1322 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Robert S. Lubarsky µ-Definable Sets of Integers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1993, v:58, n:1, pp:291-313 [Journal ] 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 ] Robert S. Lubarsky , Michael Rathjen On the Constructive Dedekind Reals: Extended Abstract. [Citation Graph (0, 0)][DBLP ] LFCS, 2007, pp:349-362 [Conf ] Topological Forcing Semantics with Settling. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs