The following pages link to (Q4553278):
Displaying 10 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- (Q4786539) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)