Pages that link to "Item:Q1813063"
From MaRDI portal
The following pages link to Remarks on Herbrand normal forms and Herbrand realizations (Q1813063):
Displaying 6 items.
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Arithmetical conservation results (Q1688961) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
