Lattices of c-degrees. - Robert S. Lubarsky (Ann. Pure Appl. Log., 1987)

Simple R. E. Degree Structures. - Robert S. Lubarsky (J. Symb. Log., 1987)

Uncountable Master Codes and the Jump Hierarchy. - Robert S. Lubarsky (J. Symb. Log., 1987)

Admissibility spectra and minimality. - Robert S. Lubarsky (Ann. Pure Appl. Log., 1988)

Another extension of Van de Wiele's theorem. - Robert S. Lubarsky (Ann. Pure Appl. Log., 1988)

Correction to "Simple R. E. Degree Structures". - Robert S. Lubarsky (J. Symb. Log., 1988)

Definability and Initial Segments of c-Degrees. - Robert S. Lubarsky (J. Symb. Log., 1988)

mu-Definable Sets of Integers - Robert S. Lubarsky (LICS, 1989)

Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound. - Robert S. Lubarsky (J. Symb. Log., 1989)

An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation). - Robert S. Lubarsky (J. Symb. Log., 1990)

µ-Definable Sets of Integers. - Robert S. Lubarsky (J. Symb. Log., 1993)

Ikp and Friends. - Robert S. Lubarsky (J. Symb. Log., 2002)

On the regular extension axiom and its variants. - Michael Rathjen; Robert S. Lubarsky (Math. Log. Q., 2003)

Independence results around constructive ZF. - Robert S. Lubarsky (Ann. Pure Appl. Log., 2005)

CZF and Second Order Arithmetic. - Robert S. Lubarsky (Ann. Pure Appl. Log., 2006)

On the Cauchy Completeness of the Constructive Cauchy Reals. - Robert S. Lubarsky (CCA, 2006)

On the Constructive Dedekind Reals: Extended Abstract. - Robert S. Lubarsky; Michael Rathjen (LFCS, 2007)

On the constructive Dedekind reals. - Robert S. Lubarsky; Michael Rathjen (Log. Anal., 2008)

Signed-bit representations of real numbers. - Robert S. Lubarsky; Fred Richman (J. Log. Anal., 2009)

Geometric spaces with no points. - Robert S. Lubarsky (J. Log. Anal., 2010)

Addendum and Erratum to "Geometric spaces with no points". - Robert S. Lubarsky (J. Log. Anal., 2010)

Topological forcing semantics with settling. - Robert S. Lubarsky (Ann. Pure Appl. Log., 2012)

The Kripke schema in metric topology. - Robert S. Lubarsky; Fred Richman; Peter Schuster 001 (Math. Log. Q., 2012)

Realizability Models Separating Various Fan Theorems. - Robert S. Lubarsky; Michael Rathjen (CiE, 2013)

Walker's Cancellation Theorem. - Robert S. Lubarsky; Fred Richman (TACL, 2013)

Principles weaker than BD-N. - Hannes Diener; Robert S. Lubarsky (J. Symb. Log., 2013)

On the failure of BD- and BD, and an application to the anti-Specker property. - Robert S. Lubarsky (J. Symb. Log., 2013)

Separating the Fan Theorem and its weakenings. - Robert S. Lubarsky; Hannes Diener (J. Symb. Log., 2014)

Feedback Turing Computability, and Turing Computability as Feedback. - Nathanael L. Ackerman; Cameron E. Freer; Robert S. Lubarsky (LICS, 2015)

On extensions of supercompactness. - Robert S. Lubarsky; Norman Lewis Perlmutter (Math. Log. Q., 2015)

Parallel Feedback Turing Computability. - Robert S. Lubarsky (LFCS, 2016)

Elementary epimorphisms between models of set theory. - Robert S. Lubarsky; Norman Lewis Perlmutter (Arch. Math. Log., 2016)

Separating Fragments of Wlem, LPO, and MP. - Matthew Hendtlass; Robert S. Lubarsky (J. Symb. Log., 2016)

Separating the Fan Theorem and its weakenings II. - Robert S. Lubarsky (J. Symb. Log., 2019)

Feedback computability on Cantor space. - Nathanael L. Ackerman; Cameron E. Freer; Robert S. Lubarsky (Log. Methods Comput. Sci., 2019)

Feedback Hyperjump. - Robert S. Lubarsky (LFCS, 2020)

An introduction to feedback Turing computability. - Nathanael L. Ackerman; Cameron E. Freer; Robert S. Lubarsky (J. Log. Comput., 2020)

Notions of Cauchyness and metastability. - Hannes Diener; Robert S. Lubarsky (J. Log. Comput., 2020)

Feedback hyperjump. - Juan P. Aguilera 001; Robert S. Lubarsky (J. Log. Comput., 2021)

On the Necessity of Some Topological Spaces. - Robert S. Lubarsky (CiE, 2022)

Higher-Order Feedback Computation. - Juan P. Aguilera 001; Robert S. Lubarsky; Leonardo Pacheco (CiE, 2024)

On the necessity of some topological spaces. - Taras Banakh; Robert S. Lubarsky (Comput., 2024)