We show that any symmetric, Baire measurable function from the complement of E0 to a finite set is constant on an E0-nonsmooth square. A simultaneous generalization of Galvin's theorem that Baire measurable colorings admit perfect homogeneous sets and the Kanovei-Zapletal theorem canonizing Borel equivalence relations on E0-nonsmooth sets, this result is proved by relating E0-nonsmooth sets to embeddings of the complete binary tree into itself and appealing to a version of Hindman's theorem on the complete binary tree. We also establish several canonization theorems which follow from the main result.

In spite of the work of Gödel and Cohen, which showed the undecidability of the Generalized Continuum Hypothesis (GCH) from the axioms of set theory, the problem still remains to decide GCH on the basis of new axioms. It is almost 100 years since Cantor first conjectured the Continuum Hypothesis, yet we seem to be no closer to determining its truth (or falsity). Nevertheless, it is a sound methodological principle that given any undecidable set-theoretical statement, we should search for “other (hitherto unknown) axioms of set theory which a more profound understanding of the concepts underlying logic and mathematics would enable us to recognize as implied by these concepts” (see Gödel [7, p. 265]).

We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example:

Theorem A. Det(-IND) ⇒ there exists an inner model with a strong cardinal.

Theorem B. Det(AQI) ⇒ there exist type-l mice and hence inner models with proper classes of strong cardinals.

where -IND(AQI) is the pointclass of boldface -inductive (respectively arithmetically quasi-inductive) sets of reals.

Le plus souvent, la logique reste une discipline à la périphérie des mathématiques, qu’elle observe de l’extérieur, sans y pénétrer vraiment. C’est un discours sur les mathematiques qui ne dit rien au mathématicien; il n’y reconnait pas son activité favorite, ni ne croit qu’elle puisse avoir une influence sur sa pratique.

L’illustration la plus extrême de cette tradition, ce sont les “reverse mathematics” de Harvey Friedman, qui connaissent le succès que l’on sait. Je veux parler ici d’une tendance toute opposée, secrétée par les développements contemporains de la théorie des modèles, qui promet des positions beaucoup plus directes.

Elle se cristalise autour de l’étude des groupes stables; l’apparition de groupes n’a rien d’inattendu dans un contexte mathématiquement signifiant: un groupe, c’est ce qui garantit une structure non-triviale (ceci n’est pas un simple argument terroriste: il y a des théoremes pour le soutenir); quant à la stabilité, c’est une hypothèse de controle structurel, au large champ d’application, et qu’on pourra dépasser quand seront résolus les problèmes posés dans le cadre stable.

In [S, pp. 77–88], Smullyan introduced the class of rudimentary relations, and showed that they form a basis for the recursively enumerable sets. He also asked [S, p. 81] if the addition and multiplication relations were rudimentary. In this note we answer one of these questions by showing that the addition relation is rudimentary. This result was communicated to Smullyan orally in 1960 and is announced in [S, p. 81, footnote 1]. However, the proof has not yet appeared in print. (Shortly after the publication of [S], James H. Bennett, using much more subtle methods than those of this note, showed that the multiplication relation is also rudimentary. That result appears in his doctoral dissertation [B], and is being prepared for publication.)

Let us begin by reviewing Smullyan's definition [S, p. 10] of dyadic notation for the positive integers. Each positive integer a is identified with the unique string anan−1…a1a0 of 1's and 2's such that a = Σin=0ai2i Because of this identification, we are able to speak of typographical properties of numbers.

Suppose that G is a group that is not finitely generated. Then the cofinality of G, written c(G), is denned to be the least cardinal λ such that G can be expressed as the union of a chain of λ proper subgroups. If κ is an infinite cardinal, then Sym(κ) denotes the group of all permutations of the set κ = {α∣α < κ}. In [1], Macpherson and Neumann proved that c(Sym(κ)) > κ for all infinite cardinals κ. In [4], we proved that it is consistent that c(Sym(ω)) and 2ω can be any two prescribed regular cardinals, subject only to the obvious requirement that c(Sym(ω)) ≤ 2ω. Our first result in this paper is the analogous result for regular uncountable cardinals κ.

Theorem 1.1. Let V ⊨ GCH. Let κ, θ, λ ∈ V be cardinals such that

(i) κ and θ are regular uncountable, and

(ii) κ < θ ≤ cf(λ).

Then there exists a notion of forcing ℙ, which preserves cofinalities and cardinalities, such that if G is ℙ-generic then V[G] ⊨ c(Sym(κ)) = θ ≤ λ = 2κ.

Theorem 1.1 will be proved in §2. Our proof is based on a very powerful uniformization principle, which was shown to be consistent for regular uncountable cardinals in [2].

By using finite support iteration of Suslin c.c.c forcing notions we construct several models which satisfy some ◊-like principles while other cardinal invariants are larger than ω1.