31 found
Order:
Disambiguations
Robert S. Lubarsky [25]Robert Lubarsky [10]
  1.  11
    Independence results around constructive ZF.Robert S. Lubarsky - 2005 - Annals of Pure and Applied Logic 132 (2-3):209-225.
    CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2.  46
    On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
    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 exponentiation alone does not suffice for the latter, by furnishing a Kripke model of constructive set theory, Constructive Zermelo–Fraenkel set theory with subset collection replaced by exponentiation, in which the Cauchy (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  7
    CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
    Constructive ZF + full separation is shown to be equiconsistent with Second Order Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  3
    Separating the Fan theorem and its weakenings.Robert S. Lubarsky & Hannes Diener - 2014 - Journal of Symbolic Logic 79 (3):792-813.
    Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which separates all of the as yet identified fan theorems.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  19
    On the regular extension axiom and its variants.Robert S. Lubarsky & Michael Rathjen - 2003 - Mathematical Logic Quarterly 49 (5):511.
    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 constructive set theory.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  29
    The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
    A form of Kripke's schema turns out to be equivalent to each of the following two statements from metric topology: every open subspace of a separable metric space is separable; every open subset of a separable metric space is a countable union of open balls. Thus Kripke's schema serves as a point of reference for classifying theorems of classical mathematics within Bishop-style constructive reverse mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  14
    On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
    It is consistent with constructive set theory (without Countable Choice, clearly) that the Cauchy reals (equivalence classes of Cauchy sequences of rationals) are not Cauchy complete. Related results are also shown, such as that a Cauchy sequence of rationals may not have a modulus of convergence, and that a Cauchy sequence of Cauchy sequences may not converge to a Cauchy sequence, among others.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  16
    IKP and friends.Robert S. Lubarsky - 2002 - Journal of Symbolic Logic 67 (4):1295-1322.
  9.  54
    Topological forcing semantics with settling.Robert S. Lubarsky - 2012 - Annals of Pure and Applied Logic 163 (7):820-830.
  10.  10
    Μ-definable sets of integers.Robert S. Lubarsky - 1993 - Journal of Symbolic Logic 58 (1):291-313.
  11.  38
    A. Louveau. Some results in the Wadge hierarchy of Borel sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 28–55. - A. Louveau and J. Saint Raymond. Borel classes and closed games: Wadge-type and Hurewicz-type results. Transactions of the American Mathematical Society, vol. 304 , pp. 431–467. - Alain Louveau and Jean Saint Raymond. The strength of Borel Wadge determinacy. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 1–30. [REVIEW]Robert S. Lubarsky - 1992 - Journal of Symbolic Logic 57 (1):264-266.
  12.  3
    Lattices of c-degrees.Robert S. Lubarsky - 1987 - Annals of Pure and Applied Logic 36:115-118.
  13.  5
    On extensions of supercompactness.Robert S. Lubarsky & Norman Lewis Perlmutter - 2015 - Mathematical Logic Quarterly 61 (3):217-223.
  14. Ian Chiswell and Wilfrid Hodges. Mathematical logic. Oxford Texts in Logic, vol. 3. Oxford University Press, Oxford, England, 2007, 250 pp. [REVIEW]Robert Lubarsky - 2008 - Bulletin of Symbolic Logic 14 (2):265-267.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. R. Taschner, The Continuum.Robert Lubarsky - 2008 - Bulletin of Symbolic Logic 14 (2):260-262.
  16.  41
    The Continuum.Rudolf Taschner & Robert Lubarsky - 2008 - Bulletin of Symbolic Logic 14 (2):260-261.
  17.  28
    Definability and initial segments of c-degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
    We combine two techniques of set theory relating to minimal degrees of constructibility. Jensen constructed a minimal real which is additionally a Π 1 2 singleton. Groszek built an initial segment of order type 1 + α * , for any ordinal α. This paper shows how to force a Π 1 2 singleton such that the c-degrees beneath it, all represented by reals, are of type 1 + α * , for many ordinals α. We also examine the definability (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  18.  12
    Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 , pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 , pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43. [REVIEW]Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    Simple r. e. degree structures.Robert S. Lubarsky - 1987 - Journal of Symbolic Logic 52 (1):208-213.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    On the failure of BD-ࡃ and BD, and an application to the anti-Specker property.Robert S. Lubarsky - 2013 - Journal of Symbolic Logic 78 (1):39-56.
    We give the natural topological model for $\neg$BD-${\mathbb N}$, and use it to show that the closure of spaces with the anti-Specker property under product does not imply BD-${\mathbb N}$. Also, the natural topological model for $\neg$BD is presented. Finally, for some of the realizability models known indirectly to falsify BD-$\mathbb{N}$, it is brought out in detail how BD-$\mathbb N$ fails.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  21.  7
    Separating the Fan theorem and its weakenings II.Robert S. Lubarsky - 2019 - Journal of Symbolic Logic 84 (4):1484-1509.
    Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Earlier work showed all of these implications to be strict. Here we reprove one of the strictness results, using very different arguments. The technique used is a mixture of realizability, forcing in the guise of Heyting-valued models, and Kripke models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Separating fragments of wlem, lpo, and mp.Matt Hendtlass & Robert Lubarsky - 2016 - Journal of Symbolic Logic 81 (4):1315-1343.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    Sacks forcing sometimes needs help to produce a minimal upper bound.Robert S. Lubarsky - 1989 - Journal of Symbolic Logic 54 (2):490-498.
  24.  6
    Correction to “Simple r. e. degree structures”.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (1):103-104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Uncountable master codes and the jump hierarchy.Robert S. Lubarsky - 1987 - Journal of Symbolic Logic 52 (4):952-958.
  26.  5
    Correction to "simple R. E. degree structures".Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (1):103-104.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  7
    An introduction to γ-recursion theory (or what to do in KP - foundation).Robert S. Lubarsky - 1990 - Journal of Symbolic Logic 55 (1):194-206.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  28.  4
    Principles weaker than BD-N.Robert S. Lubarsky & Hannes Diener - 2013 - Journal of Symbolic Logic 78 (3):873-885.
  29.  3
    Another extension of Van de Wiele's theorem.Robert S. Lubarsky - 1988 - Annals of Pure and Applied Logic 38 (3):301-306.
  30.  2
    Admissibility spectra and minimality.Robert S. Lubarsky - 1988 - Annals of Pure and Applied Logic 40 (3):257-276.
  31.  2
    [Omnibus Review].Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.