Robert S. Lubarsky

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Inner and Outer Models for Constructive Set Theories Handbook of Constructive Mathematics	2023-08-11	Paper
On the necessity of some topological spaces	2022-12-07	Paper
Feedback hyperjump Journal Of Logic And Computation	2022-02-08	Paper
Notions of Cauchyness and metastability Journal Of Logic And Computation	2020-12-15	Paper
Feedback hyperjump	2020-05-06	Paper
An introduction to feedback Turing computability Journal Of Logic And Computation	2020-04-29	Paper
Separating the fan theorem and its weakenings. II Journal of Symbolic Logic	2020-01-10	Paper
Feedback computability on Cantor space (available as arXiv preprint)	2019-05-17	Paper
Feedback Turing computability, and Turing computability as feedback 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Notions of Cauchyness and metastability	2018-04-06	Paper
Separating the fan theorem and its weakenings. II	2018-04-06	Paper
Feedback computability on Cantor space (available as arXiv preprint)	2017-08-03	Paper
Parallel feedback Turing computability Logical Foundations of Computer Science	2017-07-21	Paper
Separating fragments of WLEM, LPO, and MP Journal of Symbolic Logic	2017-04-28	Paper
Elementary epimorphisms between models of set theory Archive for Mathematical Logic	2017-02-02	Paper
Separating the fan theorem and its weakenings Lecture Notes in Computer Science	2015-12-11	Paper
Well-founded Iterations of Infinite Time Turing Machines	2015-10-02	Paper
On extensions of supercompactness Mathematical Logic Quarterly	2015-06-22	Paper
Separating the fan theorem and its weakenings The Journal of Symbolic Logic	2014-12-05	Paper
Walker's Cancellation Theorem Communications in Algebra	2014-05-02	Paper
Principles weaker than BD-N The Journal of Symbolic Logic	2014-01-07	Paper
Principles weaker than BD-N The Journal of Symbolic Logic	2014-01-07	Paper
Realizability Models Separating Various Fan Theorems Lecture Notes in Computer Science	2013-08-05	Paper
On the Cauchy completeness of the constructive Cauchy reals Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
On the failure of BD-ℕ and BD, and an application to the anti-specker property Journal of Symbolic Logic	2013-04-23	Paper
On the failure of BD-ℕ and BD, and an application to the anti-specker property Journal of Symbolic Logic	2013-04-23	Paper
Signed-bit representations of real numbers Journal of Logic and Analysis	2012-12-17	Paper
Geometric spaces with no points Journal of Logic and Analysis	2012-12-17	Paper
The Kripke schema in metric topology Mathematical Logic Quarterly	2012-12-10	Paper
Topological forcing semantics with settling Annals of Pure and Applied Logic	2012-04-10	Paper
ITTMs with feedback	2011-03-09	Paper
Zero sets of univariate polynomials Transactions of the American Mathematical Society	2011-01-06	Paper
Topological forcing semantics with settling Lecture Notes in Computer Science	2009-02-24	Paper
On the constructive Dedekind reals Logic and Analysis	2009-02-11	Paper
On the Constructive Dedekind Reals: Extended Abstract Logical Foundations of Computer Science	2008-01-04	Paper
On the Cauchy completeness of the constructive Cauchy reals Mathematical Logic Quarterly	2007-09-17	Paper
CZF and second order arithmetic Annals of Pure and Applied Logic	2006-08-16	Paper
Independence results around constructive ZF Annals of Pure and Applied Logic	2005-02-23	Paper
IKP and friends Journal of Symbolic Logic	2004-03-01	Paper
On the regular extension axiom and its variants MLQ	2003-11-10	Paper
scientific article; zbMATH DE number 749933 (Why is no real title available?)	1995-05-01	Paper
μ-definable sets of integers Journal of Symbolic Logic	1993-08-17	Paper
An introduction to γ-recursion theory (or what to do in KP – Foundation) Journal of Symbolic Logic	1990-01-01	Paper
scientific article; zbMATH DE number 4187792 (Why is no real title available?)	1989-01-01	Paper
Sacks forcing sometimes needs help to produce a minimal upper bound Journal of Symbolic Logic	1989-01-01	Paper
There's No Forcing a Least Upper Bound Proceedings of the American Mathematical Society	1989-01-01	Paper
Admissibility spectra and minimality Annals of Pure and Applied Logic	1988-01-01	Paper
Another extension of Van de Wiele's theorem Annals of Pure and Applied Logic	1988-01-01	Paper
Playing with admissibility spectra Israel Journal of Mathematics	1988-01-01	Paper
Correction to “Simple r. e. degree structures” Journal of Symbolic Logic	1988-01-01	Paper
Simple r. e. degree structures Journal of Symbolic Logic	1987-01-01	Paper
Lattices of c-degrees Annals of Pure and Applied Logic	1987-01-01	Paper
Admissibility spectra through \(\omega _ 1\) Israel Journal of Mathematics	1987-01-01	Paper
Uncountable master codes and the jump hierarchy Journal of Symbolic Logic	1987-01-01	Paper

Research outcomes over time

This page was built for person: Robert S. Lubarsky