Robert S. Lubarsky

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 16

Top Topics

Topological Spaces

Top Venues

J. Log. Comput.

Publications

Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco
Higher-Order Feedback Computation. CiE (2024)
Robert S. Lubarsky
On the Necessity of Some Topological Spaces. CiE (2022)
Juan P. Aguilera, Robert S. Lubarsky
Feedback hyperjump. J. Log. Comput. 31 (1) (2021)
Hannes Diener, Robert S. Lubarsky
Notions of Cauchyness and metastability. J. Log. Comput. 30 (8) (2020)
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
An introduction to feedback Turing computability. J. Log. Comput. 30 (1) (2020)
Robert S. Lubarsky
Feedback Hyperjump. LFCS (2020)
Robert S. Lubarsky
Separating the Fan Theorem and its weakenings II. J. Symb. Log. 84 (4) (2019)
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
Feedback computability on Cantor space. Log. Methods Comput. Sci. 15 (2) (2019)
Robert S. Lubarsky
Separating the Fan Theorem and Its Weakenings II. LFCS (2018)
Hannes Diener, Robert S. Lubarsky
Notions of Cauchyness and Metastability. LFCS (2018)
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
Feedback computability on Cantor space. CoRR (2017)
Matthew Hendtlass, Robert S. Lubarsky
Separating Fragments of Wlem, LPO, and MP. J. Symb. Log. 81 (4) (2016)
Robert S. Lubarsky, Norman Lewis Perlmutter
Elementary epimorphisms between models of set theory. Arch. Math. Log. 55 (5-6) (2016)
Robert S. Lubarsky
Parallel Feedback Turing Computability. LFCS (2016)
Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
Feedback Turing Computability, and Turing Computability as Feedback. LICS (2015)
Robert S. Lubarsky, Norman Lewis Perlmutter
On extensions of supercompactness. Math. Log. Q. 61 (3) (2015)
Robert S. Lubarsky, Hannes Diener
Separating the Fan Theorem and its weakenings. J. Symb. Log. 79 (3) (2014)
Robert S. Lubarsky, Fred Richman
Walker's Cancellation Theorem. TACL (2013)
Robert S. Lubarsky
On the failure of BD- and BD, and an application to the anti-Specker property. J. Symb. Log. 78 (1) (2013)
Robert S. Lubarsky, Hannes Diener
Separating the Fan Theorem and Its Weakenings. LFCS (2013)
Robert S. Lubarsky, Michael Rathjen
Realizability Models Separating Various Fan Theorems. CiE (2013)
Hannes Diener, Robert S. Lubarsky
Principles weaker than BD-N. J. Symb. Log. 78 (3) (2013)
Robert S. Lubarsky
Topological forcing semantics with settling. Ann. Pure Appl. Log. 163 (7) (2012)
Robert S. Lubarsky, Fred Richman, Peter Schuster
The Kripke schema in metric topology. Math. Log. Q. 58 (6) (2012)
Robert S. Lubarsky
Geometric spaces with no points. J. Log. Anal. 2 (2010)
Robert S. Lubarsky
Addendum and Erratum to "Geometric spaces with no points". J. Log. Anal. 2 (2010)
Robert S. Lubarsky
Topological Forcing Semantics with Settling. LFCS (2009)
Robert S. Lubarsky, Fred Richman
Signed-bit representations of real numbers. J. Log. Anal. 1 (2009)
Robert S. Lubarsky, Michael Rathjen
On the constructive Dedekind reals. Log. Anal. 1 (2) (2008)
Robert S. Lubarsky, Michael Rathjen
On the Constructive Dedekind Reals: Extended Abstract. LFCS (2007)
Robert S. Lubarsky
On the Cauchy Completeness of the Constructive Cauchy Reals. Electron. Notes Theor. Comput. Sci. 167 (2007)
Robert S. Lubarsky
On the Cauchy completeness of the constructive Cauchy reals. Math. Log. Q. 53 (4-5) (2007)
Robert S. Lubarsky
CZF and Second Order Arithmetic. Ann. Pure Appl. Log. 141 (1-2) (2006)
Robert S. Lubarsky
Independence results around constructive ZF. Ann. Pure Appl. Log. 132 (2-3) (2005)
Michael Rathjen, Robert S. Lubarsky
On the regular extension axiom and its variants. Math. Log. Q. 49 (5) (2003)
Robert S. Lubarsky
Ikp and Friends. J. Symb. Log. 67 (4) (2002)
Robert S. Lubarsky
µ-Definable Sets of Integers. J. Symb. Log. 58 (1) (1993)
Robert S. Lubarsky
An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation). J. Symb. Log. 55 (1) (1990)
Robert S. Lubarsky
mu-Definable Sets of Integers LICS (1989)
Robert S. Lubarsky
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound. J. Symb. Log. 54 (2) (1989)
Robert S. Lubarsky
Correction to "Simple R. E. Degree Structures". J. Symb. Log. 53 (1) (1988)
Robert S. Lubarsky
Another extension of Van de Wiele's theorem. Ann. Pure Appl. Log. 38 (3) (1988)
Robert S. Lubarsky
Definability and Initial Segments of c-Degrees. J. Symb. Log. 53 (4) (1988)
Robert S. Lubarsky
Admissibility spectra and minimality. Ann. Pure Appl. Log. 40 (3) (1988)
Robert S. Lubarsky
Uncountable Master Codes and the Jump Hierarchy. J. Symb. Log. 52 (4) (1987)
Robert S. Lubarsky
Simple R. E. Degree Structures. J. Symb. Log. 52 (1) (1987)
Robert S. Lubarsky
Lattices of c-degrees. Ann. Pure Appl. Log. 36 (1987)