Pages that link to "Item:Q1345481"
From MaRDI portal
The following pages link to Logical methods. In honor of Anil Nerode's 60th birthday (Q1345481):
Displayed 6 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Computability of countable subshifts in one dimension (Q693067) (← links)
- Foundations of BQO Theory (Q4316958) (← links)
- The forth part of the back and forth map in countable homogeneous structures (Q4372911) (← links)
- A General Framework for Priority Arguments (Q4847389) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)