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