Forcing Axioms and the Definabilty of the Nonstationary Ideal on $\omega_1$ RTW3GDYPND

URI	`m2://res/RTW3GDYPND`
Kind	preprint
Creators	Stefan Hoffelner, Paul Larson, Ralf Schindler, Liuzhen Wu
Date	2022-08-10
MSC	03-XX
Subjects	arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1H9HNET5B1	problem	problem 2	arxiv
205FGS5X02	statement	theorem 3.22	arxiv
45ZVNA8GVD	statement	lemma 3.6	arxiv
4WK7AT4BDK	problem	problem 3	arxiv
5HA9T7H4Z6	statement	theorem 3.11	arxiv
5VW3HH3C3K	definition	definition 3.5	arxiv
6GAC7XCFSZ	definition	definition 3.3	arxiv
8XSHAFQ07F	statement	lemma 3.4	arxiv
A7BH0H5HR1	statement	fact 3.16	arxiv
AW1CY26JAH	statement	theorem 3.21	arxiv
Foreman-Magidor	statement	theorem 3.2	arxiv
D7NVC6C3TB	statement	lemma 3.10	arxiv
DMW4HRBMP3	statement	lemma 3.7	arxiv
DPT1NBV4ED	definition	definition 3.15	arxiv
DSC24BJ8TY	statement	fact 3.18	arxiv
FVF3JGGD4V	definition	definition 3.1	arxiv
GB48XSC4FP	statement	theorem 2.1	arxiv
GVSD0S0A1Z	statement	lemma 3.19	arxiv
HJ7SGQR7JF	problem	problem 1	arxiv
KM0DV0MZ2N	definition	definition 3.17	arxiv
N4PBX4B8E0	statement	theorem 1.3	arxiv
NX7DD1Q6FF	statement	lemma 3.9	arxiv
P05YM7AQEM	statement	theorem 2.3	arxiv
Q69WP1796C	statement	theorem 1.4	arxiv
QDZS68MNC2	definition	definition 3.8	arxiv
QSK1RY2DJB	statement	theorem 1.1	arxiv
RYEVKCCY0H	statement	theorem 1.2	arxiv
T5QRCM793P	statement	lemma 3.20	arxiv