The following pages link to The Shoenfield absoluteness lemma (Q2542514):
Displayed 5 items.
- Robinson forcing is not absolute (Q1245825) (← links)
- Locally countable models of <i>Σ</i><sub>1</sub>-separation (Q3937378) (← links)
- The Theory of Countable Analytical Sets (Q4078033) (← links)
- HC of an admissible set (Q4192044) (← links)
- Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)