Pages that link to "Item:Q1204765"

The following pages link to Independent numerations of theories and recursive progressions (Q1204765):

Displaying 4 items.

• On bimodal logics of provability (Q1332858) (← links)
• The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
• A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
• The persistence principle over weak interpretability logic (Q6561649) (← links)