WebApr 2, 2010 · Suppose α is an uncountable weakly compact cardinal, and let A = 〈α, <, R 1 … R n 〉. Prove that there exists an ordinal β > α and a model B = 〈β, <, S 1 … S n 〉 such that A ≺ B and every Σ 1 1 sentence which holds in A holds in B. 4.2.9*. Prove that if α > ω is an inaccessible weakly compact cardinal, then α is the αth ... WebApr 2, 2010 · Regular k is strongly inaccessible if λ < k implies 2 λ < k. GCH implies that weakly inaccessible cardi-nals (winc) and strongly inaccessible cardinals (sine) …
Summary of the William Lane Craig vs Christopher Hitchens …
WebModels and consistency. Zermelo–Fraenkel set theory with Choice (ZFC) implies that the th level of the Von Neumann universe is a model of ZFC whenever is strongly … WebThe following theorem shows that by accepting (H) we do not have to distinguish between weakly inaccessible and strongly inaccessible cardinals. 'THEOREM The hypothesis (H) implies that every weakly inaccessi5: ble cardinal is strongly inaccessible. PROOF. conditions (i) and (ii) from p. 310 are satisfied, then m = K, If where a is a limit ... buyers home
(PDF) The Landscape of Large Cardinals - ResearchGate
WebApr 30, 2024 · Specifically: (a) It is proved in [13] that if ω 2 is not weakly compact in L, then either ω 1 holds or there is a non-special ℵ 2 -Aronszajn tree; in particular, GCH+SATP ℵ 2 implies that ... WebDec 22, 2000 · In particular, for a strongly inaccessible cardinalκ and a stationary setS⊆κ with fat complement we can have uniformization for every (A δ :δ ∈S′),A δ ⊆δ = supA δ , cf (δ) = otp(A ... WebJan 1, 1974 · [Note that the GCH implies that weakly inaccessible cardinals are strongly inaccessible, since it implies that all limit cardinals are strong limit cardinals. Then note that " K is regular" and " K is a limit cardinal" are preserved in passing from V to L, using ch. 3 §$2.9(4) and 3.14.1 (3) Show that if K > w is a cardinal in L, then L, is a ... buyershop