Next:
The birth of a P
Up:
Towards the Interpretability Logic
Previous:
Some remarks on decidability
A new principle
The birth of a new principle:
P
0
The enclosure of
Independence results concerning
P
0
A relation between
M
0
and
W
The arithmetical validity of
P
0
Joost Joosten
2000-02-07