The following pages link to (Q3338239):
Displaying 11 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- One-variable logic meets Presburger arithmetic (Q2007734) (← links)
- Explicating logical independence (Q2301324) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- From arithmetic expressions to propositional formulae (Q5040699) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Deciding dependence in logic and algebra (Q6612812) (← links)