Coherent sequences versus Radin sequences (Q1344628): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q127097962, #quickstatements; #temporary_batch_1722355380754 |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Iteration Trees / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Sets constructible from sequences of ultrafilters / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3960838 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3880840 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Adding closed cofinal sequences to large cardinals / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q127097962 / rank | |||
Normal rank | |||
Latest revision as of 17:03, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coherent sequences versus Radin sequences |
scientific article |
Statements
Coherent sequences versus Radin sequences (English)
0 references
30 January 1996
0 references
The author investigates the connection between the sequences of measures [\textit{L. B. Radin}, Ann. Math. Logic 22, 243-261 (1982; Zbl 0502.03028)] and the corresponding coherent sequences of extenders [\textit{W. Mitchell}, Logic Colloquium '80, Stud. Logic Found. Math. 108, 209-230 (1982; Zbl 0496.03031)] both determining a Radin forcing. As a result he obtains a generalisation of Mitchell's construction of Radin forcing from a coherent sequence of measures.
0 references
sequences of measures
0 references
coherent sequences of extenders
0 references
Radin forcing
0 references
