Robert S. Lubarsky

Affiliations:
  • Florida Atlantic University, Boca Raton, FL, USA


According to our database1, Robert S. Lubarsky authored at least 41 papers between 1987 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Higher-Order Feedback Computation.
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2022
On the Necessity of Some Topological Spaces.
Proceedings of the Revolutions and Revelations in Computability, 2022

2021
Feedback hyperjump.
J. Log. Comput., 2021

2020
Notions of Cauchyness and metastability.
J. Log. Comput., 2020

An introduction to feedback Turing computability.
J. Log. Comput., 2020

Feedback Hyperjump.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2019
Feedback computability on Cantor space.
Log. Methods Comput. Sci., 2019

Separating the Fan Theorem and its weakenings II.
J. Symb. Log., 2019

2016
Separating Fragments of Wlem, LPO, and MP.
J. Symb. Log., 2016

Elementary epimorphisms between models of set theory.
Arch. Math. Log., 2016

Parallel Feedback Turing Computability.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015
On extensions of supercompactness.
Math. Log. Q., 2015

Feedback Turing Computability, and Turing Computability as Feedback.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014
Separating the Fan Theorem and its weakenings.
J. Symb. Log., 2014

2013
On the failure of BD- and BD, and an application to the anti-Specker property.
J. Symb. Log., 2013

Principles weaker than BD-N.
J. Symb. Log., 2013

Walker's Cancellation Theorem.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Realizability Models Separating Various Fan Theorems.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012
The Kripke schema in metric topology.
Math. Log. Q., 2012

Topological forcing semantics with settling.
Ann. Pure Appl. Log., 2012

2010
Addendum and Erratum to "Geometric spaces with no points".
J. Log. Anal., 2010

Geometric spaces with no points.
J. Log. Anal., 2010

2009
Signed-bit representations of real numbers.
J. Log. Anal., 2009

2008
On the constructive Dedekind reals.
Log. Anal., 2008

2007
On the Constructive Dedekind Reals: Extended Abstract.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006
On the Cauchy Completeness of the Constructive Cauchy Reals.
Proceedings of the Third International Conference on Computability and Complexity in Analysis, 2006

CZF and Second Order Arithmetic.
Ann. Pure Appl. Log., 2006

2005
Independence results around constructive ZF.
Ann. Pure Appl. Log., 2005

2003
On the regular extension axiom and its variants.
Math. Log. Q., 2003

2002
Ikp and Friends.
J. Symb. Log., 2002

1993
µ-Definable Sets of Integers.
J. Symb. Log., 1993

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

1989
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound.
J. Symb. Log., 1989

mu-Definable Sets of Integers
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988
Definability and Initial Segments of c-Degrees.
J. Symb. Log., 1988

Correction to "Simple R. E. Degree Structures".
J. Symb. Log., 1988

Another extension of Van de Wiele's theorem.
Ann. Pure Appl. Log., 1988

Admissibility spectra and minimality.
Ann. Pure Appl. Log., 1988

1987
Uncountable Master Codes and the Jump Hierarchy.
J. Symb. Log., 1987

Simple R. E. Degree Structures.
J. Symb. Log., 1987

Lattices of c-degrees.
Ann. Pure Appl. Log., 1987


  Loading...