#### Filter Results:

#### Publication Year

1987

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Robert S. Lubarsky
- Ann. Pure Appl. Logic
- 2006

Constructive ZF + full Separation is shown to be equiconsistent with Second Order Arithmetic.

- Robert S. Lubarsky
- Ann. Pure Appl. Logic
- 2005

- Michael Rathjen, Robert S. Lubarsky
- Math. Log. Q.
- 2003

The regular extension axiom, REA, was first considered by Peter Aczel in the context of Constructive Zermelo-Fraenkel Set Theory as an axiom that ensures the existence of many inductively defined sets. REA has several natural variants. In this note we gather together metamathematical results about these variants from the point of view of both classical and… (More)

- Robert S. Lubarsky
- J. Symb. Log.
- 1993

- Robert S. Lubarsky, Michael Rathjen
- Logic & Analysis
- 2008

In order to build the collection of Cauchy reals as a set in constructive set theory, the only Power Set-like principle needed is Exponentiation. In contrast, the proof that the Dedekind reals form a set has seemed to require more than that. The main purpose here is to show that Exponen-tiation alone does not suffice for the latter, by furnishing a Kripke… (More)

- Robert S. Lubarsky
- Electr. Notes Theor. Comput. Sci.
- 2007

Intuitionistic set theory without choice axioms does not prove that every Cauchy sequence of rationals has a modulus of convergence, or that the set of Cauchy sequences of rationals is Cauchy complete. Several other related non-provability results are also shown.

- Robert S. Lubarsky
- J. Logic & Analysis
- 2010

Some models of set theory are given which contain sets that have some of the important characteristics of being geometric, or spatial, yet do not have any points, in various ways. What's geometrical is that there are functions to these spaces defined on the ambient spaces which act much like distance functions, and they carry normable Riesz spaces which act… (More)

- Robert S. Lubarsky
- J. Symb. Log.
- 2013

We give the natural topological model for ¬BD-N, and use it to show that the closure of spaces with the anti-Specker property under product does not imply BD-N. Also, the natural topological model for ¬BD is presented. Finally, for some of the realizability models known indirectly to falsify BD-N, it is brought out in detail how BD-N fails.

- Robert S. Lubarsky
- J. Symb. Log.
- 1989

- Robert S. Lubarsky
- Ann. Pure Appl. Logic
- 1987