Robert S. Lubarsky

Available identifiers

zbMath Open lubarsky.robert-sMaRDI QIDQ408536

List of research outcomes

Publication	Date of Publication	Type
Inner and Outer Models for Constructive Set Theories	2023-08-11	Paper
On the necessity of some topological spaces	2022-12-07	Paper
Feedback hyperjump	2022-02-08	Paper
Notions of Cauchyness and metastability	2020-12-15	Paper
Feedback hyperjump	2020-05-06	Paper
An introduction to feedback Turing computability	2020-04-29	Paper
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II	2020-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5376658	2019-05-17	Paper
Feedback Turing Computability, and Turing Computability as Feedback	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	2017-08-03	Paper
Parallel Feedback Turing Computability	2017-07-21	Paper
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP	2017-04-28	Paper
Elementary epimorphisms between models of set theory	2017-02-02	Paper
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS	2015-12-11	Paper
Well-founded Iterations of Infinite Time Turing Machines	2015-10-02	Paper
On extensions of supercompactness	2015-06-22	Paper
SEPARATING THE FAN THEOREM AND ITS WEAKENINGS	2014-12-05	Paper
Walker's Cancellation Theorem	2014-05-02	Paper
Principles Weaker than BD-N	2014-01-07	Paper
Realizability Models Separating Various Fan Theorems	2013-08-05	Paper
On the Cauchy Completeness of the Constructive Cauchy Reals	2013-05-10	Paper
On the failure of BD-ℕ and BD, and an application to the anti-specker property	2013-04-23	Paper
Signed-bit representations of real numbers	2012-12-17	Paper
Geometric spaces with no points	2012-12-17	Paper
The Kripke schema in metric topology	2012-12-10	Paper
Topological forcing semantics with settling	2012-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q3081648	2011-03-09	Paper
Zero sets of univariate polynomials	2011-01-06	Paper
Topological forcing semantics with settling	2009-02-24	Paper
On the constructive Dedekind reals	2009-02-11	Paper
On the Constructive Dedekind Reals: Extended Abstract	2008-01-04	Paper
On the Cauchy completeness of the constructive Cauchy reals	2007-09-17	Paper
CZF and second order arithmetic	2006-08-16	Paper
Independence results around constructive ZF	2005-02-23	Paper
IKP and friends	2004-03-01	Paper
On the regular extension axiom and its variants	2003-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4764114	1995-05-01	Paper
μ-definable sets of integers	1993-08-17	Paper
An introduction to γ-recursion theory (or what to do in KP – Foundation)	1990-01-01	Paper
Sacks forcing sometimes needs help to produce a minimal upper bound	1989-01-01	Paper
There's No Forcing a Least Upper Bound	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5752561	1989-01-01	Paper
Another extension of Van de Wiele's theorem	1988-01-01	Paper
Playing with admissibility spectra	1988-01-01	Paper
Admissibility spectra and minimality	1988-01-01	Paper
Correction to “Simple r. e. degree structures”	1988-01-01	Paper
Lattices of c-degrees	1987-01-01	Paper
Admissibility spectra through \(\omega _ 1\)	1987-01-01	Paper
Simple r. e. degree structures	1987-01-01	Paper
Uncountable master codes and the jump hierarchy	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert S. Lubarsky