Pages that link to "Item:Q1204765"
From MaRDI portal
The following pages link to Independent numerations of theories and recursive progressions (Q1204765):
Displaying 7 items.
- On bimodal logics of provability (Q1332858) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Sequential theories and infinite distributivity in the lattice of chapters (Q3829549) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- A system of completely independent axioms for the sequence of natural numbers (Q5846787) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- The persistence principle over weak interpretability logic (Q6561649) (← links)