Pages that link to "Item:Q781515"

The following pages link to Completeness of the primitive recursive \(\omega \)-rule (Q781515):

Displaying 1 item.

• Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)