Internal consistency for embedding complexity

DOI10.2178/JSL/1230396750zbMATH Open1179.03049OpenAlexW2081700717MaRDI QIDQ3617364FDOQ3617364

Authors: Katherine Thompson, Sy-David Friedman 

Publication date: 23 March 2009

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.574.5933

Recommendations

• Internal Consistency and the Inner Model Hypothesis
• On the consistency strength of the inner model hypothesis
• Perfect trees and elementary embeddings
• Internal consistency and global co-stationarity of the ground model
• An inner model for global domination

zbMATH Keywords

large cardinalsuniversal modelsinner modelembedding complexityinternal consistency program

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Powers of regular cardinals
• Internal Consistency and the Inner Model Hypothesis
• Title not available (Why is that?)
• Universal graphs without large cliques

Cited In (1)

• Internal Consistency and the Inner Model Hypothesis

This page was built for publication: Internal consistency for embedding complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617364)