Robert S. Lubarsky

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