The following pages link to (Q3483288):
Displaying 14 items.
- A constructive proof of Kirszbraun's theorem (Q635637) (← links)
- A constructive proof of the Gohberg-Semencul formula (Q1123946) (← links)
- A natural proof system for Herbrand's theorem (Q1709711) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
- Herbrand's theorem and non-Euclidean geometry (Q2795294) (← links)
- Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942) (← links)
- A strong version of Herbrand's theorem for introvert sentences (Q4212920) (← links)
- Herbrand's Theorem for Nonstandard Inference Operations (Q4291037) (← links)
- (Q4332417) (← links)
- On two classical results in the first order logic (Q4899838) (← links)
- A constructive proof of Masser’s Theorem (Q4965256) (← links)
- A constructive proof of the Chang-Marshall theorem (Q5916432) (← links)
