We prove that if holds for a singular cardinal μ, then any collection of fewer than cf(μ) stationary subsets of μ+ must reflect simultaneously.

We make certain notational conventions. These are referred to as CL (Computational Logic). The relation of interchangeability is introduced as the basic connection between logical formulas. This approach lends perspicuity to the results of sentential calculus. With its technical devices CL is able to rephrase logical theorems in rather succinct manner. Our exposition tries to steer a middle course between informality and strict rigor.

It is felt that the method of CL offers advantages for the teaching of logic. Proofs are algorithmic and resemble those of elementary algebra. All inferences are reversible and practically non-tentative.

Sign is a primitive term of CL. Its denning property is a capacity for entering into binary combination with other signs, or with itself, according to this convention:

x and y are signs if, and only if, (x y) is a sign. Bracketing is looked upon as an operation on signs in terms of which other operations are definable. The practice of some authors in classifying brackets under the heading of symbols, seems to us questionable; for unlike symbols or signs brackets are never used to denote anything. Brackets enter into the composition of signs, not to denote a grouping, but rather to exhibit it, in the manner of a diagram.

An unending list of letters, with or without subscripts,

serve to denote arbitrary signs. An arbitrary sign may or may not have other signs as parts. The numeral “2” is used as a constant. Bracketing abbreviation is as follows:

and so on. Outermost brackets will ordinarily be omitted. This kind of bracketing may be termed left-associative. For convenience, these bracketing conventions are crystallized into a rule.

Let λ be an ordinal less than or equal to an infinite cardinal κ. For S ⊂ κ, [S]λ denotes the collection of all order type λ subsets of S. A set X ⊂ [κ]λ will be called Ramsey iff there exists p ∈ [κ]κ such that either [p]λ ⊂ X or [p]λ ∩ X = ∅. The set p is called homogeneous for X.

The infinite Ramsey theorem implies that all subsets of [ω]n are Ramsey for n < ω. Using the axiom of choice, one can define a non-Ramsey subset of [ω]ω. In [GP], Galvin and Prikry showed that all Borel subsets of [ω]ω are Ramsey, where one topologizes [ω]ω as a subspace of Baire space. Silver [S] proved that analytic sets are Ramsey, and observed that this is best possible in ZFC.

When κ > ω, the assertion that all subsets of [κ]n are Ramsey is a large cardinal hypothesis equivalent to κ being weakly compact (and strongly inaccessible). Again, is not possible in ZFC to have all subsets of [κ]ω Ramsey. The analogy to the Galvin-Prikry theorem mentioned above was established by Kleinberg, extending work by Kleinberg and Shore in [KS]. The set [κ]ω is given a topology as a subspace of κω, which has the usual product topology, κ taken as discrete. It was shown that all open subsets of [κ]ω are Ramsey iff κ is a Ramsey cardinal (that is, κ → (κ)<ω).

In this note we examine the spaces [κ]λ for κ ≥ λ ≥ ω. We show that κ Ramsey implies all open subsets of [κ]λ are Ramsey for λ < κ, and that if κ is measurable, then all open subsets of [κ]κ are Ramsey. Let us remark here that we can with the same methods prove these results with “κ-Borel” in the place of “open”, where the κ-Borel sets are the smallest collection containing the opens and closed under complementation and intersections of length less than κ. Also, although here we consider just subsets of [κ]λ, it is no more difficult to show that partitions of [κ]λ into less than κ many κ-Borel sets have, under the appropriate hypothesis, size κ homogeneous sets.

We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid non-isomorphic Souslin trees whose isomorphism relation can be precisely controlled by forcing.

The purpose of this note is to demonstrate that a weak form of club guessing on ω1 implies the existence of an Aronszajn line with no Countryman suborders. An immediate consequence is that the existence of a five element basis for the uncountable linear orders does not follow from the forcing axiom for ω-proper forcings.

Lewis, in the presentation of his calculus of strict implication, contends that this calculus accords with the usual meaning of “implies” such that “p strictly implies q” is synonymous with “q is deducible from p” (pp. 126–127, 235–262). It is the purpose of this paper to present, in 1, certain considerations in the light of which this statement does not hold, and in 2, a new implicative relation upon which a calculus of propositions can be based such that it will accord with the relation of deducibility and from which it is possible to derive the calculi of strict and material implications.

1. Strict implication regarded as synonymous with deducibility. In the presentation of his calculus of strict implication Lewis observes that despite inclusion of both intensional and extensional propositions in this calculus, the meaning of its elements, p, q, r, etc., “remain fixed, whether it is their extensional or their intensional relations which are in question” (p. 120). But if the meaning or content of the elements of this calculus is irrelevant to the logical truth which it contains, then, as Weiss has already remarked, the propositions of this calculus “are really extensionally treated, involving multiple values,” e.g., possibility, on the analogy of truth and falsity. The importance of this fact is that, in consequence, the relation of strict implication is subject to certain paradoxes, such as (19.74) “a proposition which is impossible strictly implies any proposition” or (19.75) “a proposition which is necessarily true is strictly implied by any proposition” (p. 174) or (19.84) “any two necessarily true propositions are strictly equivalent” (p. 176).