Recursive metric spaces
Recursive prime models for Boolean algebras
Recursively enumerable classes and their application to recursive sequences of formal theories.
Recursiveness of initial segments of Kleene's O
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Reduced powers of -trees
Reduced products of infinite forcing systems.
Reduced Products Of Saturated Intuitionistic Theories
Reduced products of saturated intuitionistic theories.
Reducibilities of sets based on constructive functions of a real variable
Reducibilities on tally and sparse sets
Reducibility method in simply typed lambda calculus.
Reducing hyperarithmetic sequences
Reduction of an arbitrary diophantine equation to one in 13 unknowns
Refined Morley numbers
Refinements of inductive inference by Popperian and reliable machines
Reflecting Lindelöf and converging ω₁-sequences
We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging ω-sequence or a non-trivial converging ω₁-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging ω₁-sequences is first-countable and, in addition,...
Reflection implies the SCH
We prove that, e.g., if μ > cf(μ) = ℵ₀ and and every stationary family of countable subsets of μ⁺ reflects in some subset of μ⁺ of cardinality ℵ₁, then the SCH for μ⁺ holds (moreover, for μ⁺, any scale for μ⁺ has a bad stationary set of cofinality ℵ₁). This answers a question of Foreman and Todorčević who get such a conclusion from the simultaneous reflection of four stationary sets.
Reflections in locally presentable categories
Reflections not preserving completeness