Cardinal transfer properties in extender models (Q932574): Difference between revisions

The authors construct a Gap-1 morass in \(L[E]\), where \(E\)~is an extender sequence, and deduce that \(L[E]\), like~\(L\), has the Gap-2 Cardinal Transfer Property.

0 references

zbMATH Keywords

Morass

0 references

Gap-2 Cardinal Transfer Property

0 references

Extender Model

0 references

reviewed by

Klaas Pieter Hart

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.apal.2008.01.008

0 references

cites work

The domestic levels of \(K^c\) are iterable

0 references

Aspects of constructibility

0 references

Q3329455

0 references

Fine structure and class forcing

0 references

The fine structure of the constructible hierarchy

0 references

Smooth categories and global \(\square\)

0 references

Q4291791

0 references

Inner models in the region of a Woodin limit of Woodin cardinals

0 references

A weak Dodd-Jensen lemma

0 references

Combinatorial principles in the core model for one Woodin cardinal

0 references

Square in Core Models

0 references

CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS

0 references

Deconstructing inner model theory

0 references

``Gap 1'' two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)

0 references

Q5690487

0 references

Morasses, diamond, and forcing

0 references

DODD PARAMETERS AND λ-INDEXING OF EXTENDERS

0 references

Identifiers

zbMATH Open document ID

1161.03032

0 references

DOI

10.1016/j.apal.2008.01.008

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:932574

@@ Property / cites work @@
+The domestic levels of \(K^c\) are iterable
@@ Property / cites work: The domestic levels of \(K^c\) are iterable / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of constructibility
@@ Property / cites work: Aspects of constructibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine structure and class forcing
@@ Property / cites work: Fine structure and class forcing / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Smooth categories and global \(\square\)
@@ Property / cites work: Smooth categories and global \(\square\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+Inner models in the region of a Woodin limit of Woodin cardinals
+Normal rank
@@ Property / cites work @@
+A weak Dodd-Jensen lemma
@@ Property / cites work: A weak Dodd-Jensen lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles in the core model for one Woodin cardinal
+Normal rank
@@ Property / cites work @@
+Square in Core Models
@@ Property / cites work: Square in Core Models / rank @@
+Normal rank
@@ Property / cites work @@
+CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS
+Normal rank
@@ Property / cites work @@
+Deconstructing inner model theory
@@ Property / cites work: Deconstructing inner model theory / rank @@
+Normal rank
@@ Property / cites work @@
+``Gap 1'' two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)
+Normal rank
@@ Property / cites work @@
+Q5690487
@@ Property / cites work: Q5690487 / rank @@
+Normal rank
@@ Property / cites work @@
+Morasses, diamond, and forcing
@@ Property / cites work: Morasses, diamond, and forcing / rank @@
+Normal rank
@@ Property / cites work @@
+DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
@@ Property / cites work: DODD PARAMETERS AND λ-INDEXING OF EXTENDERS / rank @@
+Normal rank