Pages that link to "Item:Q638495"

The following pages link to \(\lambda\)-structures and \(s\)-structures: translating the models (Q638495):

Displaying 3 items.

• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies (Q639674) (← links)
• Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)