Pages that link to "Item:Q481876"
From MaRDI portal
The following pages link to The de Jongh property for basic arithmetic (Q481876):
Displaying 6 items.
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Hard provability logics (Q2658282) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Notes on my scientific life (Q6612807) (← links)
- The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)
