Pages that link to "Item:Q481876"

The following pages link to The de Jongh property for basic arithmetic (Q481876):

Displayed 4 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)