A Note on Indicator-Functions

DOI10.2307/2039014MaRDI QIDQ5677462zbMATH OpenOpenAlexFDO

Authors

Publication date 1973

Full work available at URL https://doi.org/10.2307/2039014

Mathematics Subject Classification ID

Intermediate logics (03B55) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cited in

(7)

• Theory of proofs (arithmetic and analysis)
• On partial disjunction properties of theories containing Peano arithmetic
• Hard provability logics
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\)
• The \(\Sigma_1\)-provability logic of HA revisited
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Strictly positive fragments of the provability logic of Heyting arithmetic

This page was built for publication: A Note on Indicator-Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5677462)