The following pages link to (Q3837730):
Displayed 9 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)