Pages that link to "Item:Q5081870"
From MaRDI portal
The following pages link to A Uniform Characterization of Σ<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic (Q5081870):
Displayed 1 item.
The following pages link to A Uniform Characterization of Σ<sub>1</sub>-Reflection Over the Fragments of Peano Arithmetic (Q5081870):
Displayed 1 item.