\(\lambda\)-structures and \(s\)-structures: translating the models (Q638495): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.apal.2010.08.003 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.apal.2010.08.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1975137889 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4075450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Successor levels of the Jensen hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fine structure of the constructible hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: SUBCOMPLETE FORCING AND <i>ℒ</i>-FORCING / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4315890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3880840 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4291791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deconstructing inner model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Outline of Inner Model Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inner models and large cardinals / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.APAL.2010.08.003 / rank
 
Normal rank

Latest revision as of 23:22, 9 December 2024

scientific article
Language Label Description Also known as
English
\(\lambda\)-structures and \(s\)-structures: translating the models
scientific article

    Statements

    \(\lambda\)-structures and \(s\)-structures: translating the models (English)
    0 references
    0 references
    12 September 2011
    0 references
    inner model theory
    0 references
    mice
    0 references
    extenders
    0 references
    indexing
    0 references

    Identifiers