Pages that link to "Item:Q2655140"
From MaRDI portal
The following pages link to Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140):
Displaying 1 item.
The following pages link to Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140):
Displaying 1 item.