Abstract In [3], Hjorth proved from $ZF + AD + DC$ that there is no sequence of distinct $\boldsymbol {\Sigma ^1_2}$ sets of length $\boldsymbol {\delta ^1_2}$ . Sargsyan [11] extends Hjorth’s technique to show there is no sequence of distinct $\boldsymbol {\Sigma ^1_{2n}}$ sets of length $\boldsymbol {\delta ^1_{2n}}$ . Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in $L(\mathbb {R})$ —i.e., if $\kappa $ is a regular Suslin cardinal in $L(\mathbb {R})$ , then there is no sequence of distinct $\kappa $ -Suslin sets of length $\kappa ^+$ in $L(\mathbb {R})$ . We prove this in the case that the pointclass $S(\kappa )$ is inductive-like.

Abstract We present an alternative proof that from large cardinals, we can force the tree property at $\kappa ^+$ and $\kappa ^{++}$ simultaneously for a singular strong limit cardinal $\kappa $ . The advantage of our method is that the proof of the tree property at the double successor is simpler than in the existing literature. This new approach also works to establish the result for $\kappa =\aleph _{\omega ^2}$ .

Abstract We prove that, in the choiceless Solovay model, every set of reals isH-Ramsey for every happy familyHthat also belongs to the Solovay model. This gives a new proof of Törnquist’s recent theorem that there are no infinite mad families in the Solovay model. We also investigate happy families and mad families under determinacy, applying a generic absoluteness result to prove that there are no infinite mad families under $A{D^ + }$ .

Abstract Assuming ω supercompact cardinals we force to obtain a model where the tree property holds both at אω+1, and at אn for all 2 ≤ n < ω. A model with the former was obtained by Magidor–Shelah from a large cardinal assumption above a huge cardinal, and recently by Sinapova from ω supercompact cardinals. A model with the latter was obtained by Cummings–Foreman from ω supercompact cardinals. Our model, where the two hold simultaneously, is another step toward the goal of obtaining the tree property on increasingly large intervals of successor cardinals.

Abstract Jullien's indecomposability theorem (INDEC) states that if a scattered countable linear order is indecomposable, then it is either indecomposable to the left, or indecomposable to the right. The theorem was shown by Montalbán to be a theorem of hyperarithmetic analysis, and then, in the base system RCA0 plus induction, it was shown by Neeman to have strength strictly between weak choice and comprehension. We prove in this paper that induction is needed for the reversal of INDEC. that is for the proof that INDEC implies weak choice. This is in contrast with the typical situation in reverse mathematics, where reversals can usually be refined to use only induction.

Infons are statements viewed as containers of information (rather then representations of truth values). The logic of infons turns out to be a conservative extension of logic known as constructive or intuitionistic. Distributed Knowledge Authorization Language uses additional unary connectives “ p said” and “ p implied” where p ranges over principals. Here we investigate infon logic and a narrow but useful primal fragment of it. In both cases, we develop model theory and analyze the derivability problem: Does the given query follow from the given hypotheses? Our more involved technical results are on primal infon logic. We construct an algorithm for the multiple derivability problem: Which of the given queries follow from the given hypotheses? Given a bound on the quotation depth of the hypotheses, the algorithm runs in linear time. We quickly discuss the significance of this result for access control.

DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authorization languages in the literature. Yet its query algorithm is within the same bounds of computational complexity as e.g. that of SecPAL. DKAL's communication is targeted which is beneficial for security and for liability protection. DKAL enables flexible use of functions; in particular principals can quote (to other principals) whatever has been said to them. DKAL strengthens the trust delegation mechanism of SecPAL. A novel information order contributes to succinctness. DKAL introduces a semantic safety condition that guarantees the termination of the query algorithm.

Abstract We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formula over the ordinals.

Abstract A truth for λ is a pair 〈Q, ψ〉 so that Q ⊆ Hλ, ψ is a first order formula with one free variable, and there exists B ⊆ Hλ+ such that (Hλ+; ∈, B) ⊨ ψ[Q]. A cardinal λ is , indescribable just in case that for every truth 〈Q, ψ〈 for λ, there exists < λ so that is a cardinal and 〈Q ∩ , ψ) is a truth for . More generally, an interval of cardinals [κ, λ] with κ ≤ λ is indescribable if for every truth 〈Q, ψ〈 for λ, there exists , and π: → Hλ so that is a cardinal, is a truth for , and π is elementary from ( ) into (H; ∈, κ, Q) with id. We prove that the restriction of the proper forcing axiom to ϲ-linked posets requires a indescribable cardinal in L, and that the restriction of the proper forcing axiom to ϲ+-linked posets, in a proper forcing extension of a fine structural model, requires a indescribable 1-gap [κ, κ+]. These results show that the respective forward directions obtained in Hierarchies of Forcing Axioms I by Neeman and Schimmerling are optimal.

Abstract We prove new upper bound theorems on the consistency strengths of SPFA(θ), SPFA(θ-linked) and SPFA(θ+ -cc). Our results are in terms of (θ, Γ)-subcompactness, which is a new large cardinal notion that combines the ideas behind subcompactness and Γ-indescribability. Our upper bound for SPFA(ϲ-linked) has a corresponding lower bound, which is due to Neeman and appears in his follow-up to this paper. As a corollary, SPFA(ϲ-linked) and PFA(ϲ-linked) are each equiconsistent with the existence of a -indescribable cardinal. Our upper bound for SPFA(ϲ-c.c) is a -indescribable cardinal, which is consistent with V = L. Our upper bound for SPFA(ϲ+-linked) is a cardinals κ that is (κ+, )-subcompact, which is strictly weaker than κ+-supercompact. The axiom MM(ϲ) is a consequence of SPFA(ϲ+-linked) by a slight refinement of a theorem of Shelah. Our upper bound for SPFA(ϲ++-c.c.) is a cardinal κ that is (κ+, )-subcompact, which is also strictly weaker than κ+-supercompact.

Abstract Let o(k) denote the Mitchell order of k. We show how to reduce long games which run to the first ordinal admissible in the play, to iteration games on models with a cardinal k so that (1) k is a limit of Woodin cardinals: and (2) o(k) = k++. We use the reduction to derive several optimal determinacy results on games which run to the first admissible in the play.

Abstract We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal.

Abstract. We show that Mitchell order on downward closed extenders below rank-to-rank type is wellfounded.

Abstract We show that Blackwell determinacy in L(ℝ) implies determinacy in L(ℝ).

Abstract We present two ways in which the model L(ℝ) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing: we show further that a set of ordinals in V cannot be added to L(ℝ) by small forcing. The large cardinal needed corresponds to the consistency strength of ADL(ℝ): roughly ω Woodin cardinals.

Abstract We show that every sufficiently iterable countable mouse has a unique iteration strategy whose associated iteration maps are lexicographically minimal. This enables us to extend the results of [3] on the good behavior of the standard parameter from tame mice to arbitrary mice.