The elementary theory of ⟨α;×⟩, where α is an ordinal and × denotes ordinal multiplication, is decidable if and only if . Moreover if and respectively denote the right- and left-hand divisibility relation, we show that Th and Th are decidable for every ordinal ξ. Further related definability results are also presented.
It is shown to be consistent that every function of first Baire class can be decomposed into continuous functions yet the least cardinal of a dominating family in is . The model used in the one obtained by adding Miller reals to a model of the Continuum Hypothesis.
Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each set under that function is again . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers theorem...
We consider a triple ⟨E₀,E₁,E₂⟩ of equivalence relations on ℝ² and investigate the possibility of decomposing the plane into three sets ℝ² = S₀ ∪ S₁ ∪ S₂ in such a way that each intersects each -class in finitely many points. Many results in the literature, starting with a famous theorem of Sierpiński, show that for certain triples the existence of such a decomposition is equivalent to the continuum hypothesis. We give a characterization in ZFC of the triples for which the decomposition exists....
We characterize the class of definable families of countable sets for which there is a single countable definable set intersecting every element of the family.
We prove the following descriptive set-theoretic analogue of a theorem of R. O. Davies: Every Σ¹₂ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ¹₂ functions if and only if all reals are constructible.
We show that if ℱ is a hereditary family of subsets of satisfying certain definable conditions, then the reals are precisely the reals α such that . This generalizes the results for measure and category. Appropriate generalization to the higher levels of the projective hierarchy is obtained under Projective Determinacy. Application of this result to the -encodable reals is also shown.
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class of morphisms in a locally presentable category of structures, the orthogonal class of objects is a small-orthogonality...
A definition of finiteness is a set-theoretical property of a set that, if the Axiom of Choice (AC) is assumed, is equivalent to stating that the set is finite; several such definitions have been studied over the years. In this article we introduce a framework for generating definitions of finiteness in a systematical way: basic definitions are obtained from properties of certain classes of binary relations, and further definitions are obtained from the basic ones by closing them under subsets...