Pages that link to "Item:Q3295153"
From MaRDI portal
The following pages link to Well Quasi-orders and the Functional Interpretation (Q3295153):
Displaying 6 items.
- Dependent choice as a termination principle (Q2309508) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- (Q3496370) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)