Pages that link to "Item:Q5677462"

The following pages link to A Note on Indicator-Functions (Q5677462):

Displaying 6 items.

• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
• On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
• Hard provability logics (Q2658282) (← links)
• THE -PROVABILITY LOGIC OF (Q5195060) (← links)
• The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)