The following pages link to (Q4198475):
Displaying 6 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- Notes on my scientific life (Q6612807) (← links)
