-
Generalisations of Stationarity, Closed and Unboundedness, and of Jensen's $\Box$
Authors:
H. Brickhill,
P. D. Welch
Abstract:
The concepts of closed unbounded (club) and stationary sets are generalised to $γ$-club and $γ$-stationary sets, which are closely related to stationary reflection. We use these notions to define generalisations of Jensen's combinatorial principles {$\Box$} and $\diamondsuit$.
We define $Π^1_γ$-indescribability and use the new $\Box^γ$-sequences to extend the result of Jensen that in the constru…
▽ More
The concepts of closed unbounded (club) and stationary sets are generalised to $γ$-club and $γ$-stationary sets, which are closely related to stationary reflection. We use these notions to define generalisations of Jensen's combinatorial principles {$\Box$} and $\diamondsuit$.
We define $Π^1_γ$-indescribability and use the new $\Box^γ$-sequences to extend the result of Jensen that in the constructible universe a regular cardinal is stationary reflecting if and only if it is $Π^1_1$-indescribable: we show that in $L$ a cardinal is $Π^{1}_γ $-indescribable iff it reflects $γ$-stationary sets. More particularly (stating only the special case of $n$ finite):
Theorem $(V=L)$ Let $n<ω$ and $κ$ be $Π^{1}_{n}$-indescribable but not $Π^1_{n+1}$-indescribable, and let $A\subseteqκ$ be $n+1$-stationary. Then there are $E_{A}\subseteq A$ and a $\Box^{n}$-sequence $S$ on $κ$ such that $E_{A}$ is $n+1$-stationary in $κ$ and $S$ avoids $E_{A}$. Thus $κ$ is not $n+1$-reflecting.
Certain assumptions on the $γ$-club filter allow us to prove that $γ$-stationarity is downwards absolute to $L$, and allows for splitting of $γ$-stationary sets. We define $γ$-ineffability, and look into the relation between $γ$-ineffability and various $\diamondsuit$ principles; we show that $γ$-ineffability is downward absolute to $L$.
△ Less
Submitted 16 August, 2019;
originally announced August 2019.
-
Stably Measurable Cardinals
Authors:
P. D. Welch
Abstract:
We define a weak iterability notion that is sufficient for a number of arguments concerning $Σ_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of $κ$: $u_2(κ)$, and secondly to give the consistency strength of a property of Lücke's.
Theorem: The following are equiconsis…
▽ More
We define a weak iterability notion that is sufficient for a number of arguments concerning $Σ_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second uniform indiscernible for bounded subsets of $κ$: $u_2(κ)$, and secondly to give the consistency strength of a property of Lücke's.
Theorem: The following are equiconsistent:
(i) There exists $κ$ which is stably measurable;
(ii) for some cardinal $κ$, $u_2(κ)=σ(κ)$;
(iii) The {\boldmath $Σ_1$}-club property holds at a cardinal $κ$.
Here $σ(κ)$ is the height of the smallest $M \prec_{Σ_1} H(κ^+)$ containing $κ+1$ and all of $H(κ)$.
△ Less
Submitted 16 January, 2019;
originally announced January 2019.
-
G_{δσ}-games and generalized computation
Authors:
P. D. Welch
Abstract:
We show the equivalence between the existence of winning strategies for $G_{δσ}$ (also called $Σ^{0}_{3}$) games in Cantor or Baire space, and the existence of functions generalized-recursive in a higher type-2 functional. (Such recursions are associated with certain transfinite computational models.) We show, inter alia, that the set of indices of convergent recursions in this sense is a complete…
▽ More
We show the equivalence between the existence of winning strategies for $G_{δσ}$ (also called $Σ^{0}_{3}$) games in Cantor or Baire space, and the existence of functions generalized-recursive in a higher type-2 functional. (Such recursions are associated with certain transfinite computational models.) We show, inter alia, that the set of indices of convergent recursions in this sense is a complete $\Game Σ_{3}^{0}$ set: as paraphrase, the listing of those games at this level that are won by player I, essentially has the same information as the `halting problem' for this notion of recursion. Moreover the strategies for the first player in such games are recursive in this sense. We thereby establish the ordinal length of monotone $\Game Σ^{0}_{3}$-inductive operators, and characterise the first ordinal where such strategies are to be found in the constructible hierarchy.
In summary:
Theorem (a) The following sets are recursively isomorphic.
(i) The complete ittm-semi-recursive-in-${eJ}$ set, $H^{eJ}$;
(ii) the $Σ_{1}$-theory of $( L_{η_{0}} , \in ) $, where $η_{0}$ is the closure ordinal of $\Game Σ_{3}^{0}$-monotone induction;
(iii) the complete $\Game Σ_{3}^{0}$ set of integers.
(b) The ittm-recursive-in-${eJ}$ sets of integers are precisely those of $L_{η_{0}}$.
△ Less
Submitted 30 September, 2015;
originally announced September 2015.
-
Weak systems of determinacy and arithmetical quasi-inductive definitions
Authors:
P. D. Welch
Abstract:
We locate winning strategies for various Sigma^0_3-games in the L-hierarchy in order to prove that Sigma^0_3 Determinacy is intermediate between Pi^1_3-CA_0 (even Pi^1_2-CA_0 (lightface) with Pi^1_3-lightface definable parameters allowed) and Delta^1_3-CA_0 + AQI.
(Here "AQI" is the statement in second order number theory that every arithmeical quasi-inductive definition on any input stabilize…
▽ More
We locate winning strategies for various Sigma^0_3-games in the L-hierarchy in order to prove that Sigma^0_3 Determinacy is intermediate between Pi^1_3-CA_0 (even Pi^1_2-CA_0 (lightface) with Pi^1_3-lightface definable parameters allowed) and Delta^1_3-CA_0 + AQI.
(Here "AQI" is the statement in second order number theory that every arithmeical quasi-inductive definition on any input stabilizes).
△ Less
Submitted 26 May, 2009;
originally announced May 2009.
-
The strength of the Inner Model Hypothesis
Authors:
S-D. Friedman,
W. H. Woodin,
P. D. Welch
Abstract:
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bulletin of Symbolic Logic, December 2006.
In this article we establish some upper and lower bounds for their consistency strength.
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bulletin of Symbolic Logic, December 2006.
In this article we establish some upper and lower bounds for their consistency strength.
△ Less
Submitted 5 November, 2007;
originally announced November 2007.
-
P^f is not equal to NP^f for almost all f
Authors:
Joel David Hamkins,
Philip D. Welch
Abstract:
We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines P^f = NP^f can be true for any function f from the reals into omega_1. We show that ``almost everywhere'' the answer is negative.
We discuss the question of Ralf-Dieter Schindler whether for infinite time Turing machines P^f = NP^f can be true for any function f from the reals into omega_1. We show that ``almost everywhere'' the answer is negative.
△ Less
Submitted 3 December, 2002;
originally announced December 2002.
