1,516 research outputs found
On Projective Ordinals
We study in this paper the projective ordinals Ī“^1_n, where Ī“^1_n = sup{Ī¾: Ī¾ is the length of É Ī^1_n prewellordering of the continuum}. These ordinals were introduced by Moschovakis in [8] to serve as a measure of the "definable length" of the continuum. We prove first in Ā§2 that projective determinacy implies Ī“^1_n 0 (the same result for odd n is due to Moschovakis). Next, in the context of full determinacy, we partly generalize (in Ā§3) the classical fact that Ī“^1_1 āµ_l and the result of Martin that Ī“^1_3 = āµ_(Ļ + 1) by proving that Ī“^1_(n2+1) = Ī»^+_(2n+1), where Ī»_(2n+1) is a cardinal of cofinality Ļ. Finally we discuss in Ā§4 the connection between the projective ordinals and Solovay's uniform indiscernibles. We prove among other things that āĪ± (Ī±^# exists) implies that every Ī“^1_n with n ā„ 3 is a fixed point of the increasing enumeration of the uniform indiscernibles
Countable ordinals and the analytical hierarchy, I
The following results are proved, using the axiom of Projective Determinacy: (i) For n ā„ 1, every II(1/2n+1) set of countable ordinals contains a Ī(1/2n+1) ordinal, (ii) For n ā„ 1, the set of reals Ī(1/2n) in an ordinal is equal to the largest countable Ī£(1/2n) set and (iii) Every real is Ī(1/n) inside some transitive model of set theory if and only if n ā„ 4
The bounded proper forcing axiom and well orderings of the reals
We show that the bounded proper forcing axiom BPFA implies that there is a well-ordering of P(Ļ_1) which is Ī_1 definable with parameter a subset of Ļ_1. Our proof shows that if BPFA holds then any inner model of the universe of sets that correctly computes N_2 and also satisfies BPFA must contain all subsets of Ļ_1. We show as applications how to build minimal models of BPFA and that BPFA implies that the decision problem for the HƤrtig quantifier is not lightface projective
Classes of structures with no intermediate isomorphism problems
We say that a theory is intermediate under effective reducibility if the
isomorphism problems among its computable models is neither hyperarithmetic nor
on top under effective reducibility. We prove that if an infinitary sentence
is uniformly effectively dense, a property we define in the paper, then no
extension of it is intermediate, at least when relativized to every oracle on a
cone. As an application we show that no infinitary sentence whose models are
all linear orderings is intermediate under effective reducibility relative to
every oracle on a cone
- ā¦