Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Cardinal transfer properties in extender models

From MaRDI portal
Publication:932574
Jump to:navigation, search

DOI10.1016/j.apal.2008.01.008zbMath1161.03032OpenAlexW1989756207MaRDI QIDQ932574

Martin Zeman, Ernest Schimmerling

Publication date: 11 July 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.01.008

zbMATH Keywords

Extender ModelGap-2 Cardinal Transfer PropertyMorass


Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)


Related Items

A characterization of \(\square(\kappa^{+})\) in extender models



Cites Work

  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Aspects of constructibility
  • Fine structure and class forcing
  • Inner models in the region of a Woodin limit of Woodin cardinals
  • ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)
  • Combinatorial principles in the core model for one Woodin cardinal
  • Smooth categories and global \(\square\)
  • Square in Core Models
  • Deconstructing inner model theory
  • Morasses, diamond, and forcing
  • A weak Dodd-Jensen lemma
  • The fine structure of the constructible hierarchy
  • CHARACTERIZATION OF □κ IN CORE MODELS
  • DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
  • The domestic levels of \(K^c\) are iterable
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:932574&oldid=12901232"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 18:41.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki