On the derivability of instantiation properties

DOI10.2307/2271871zbMath0436.03051OpenAlexW1970175027MaRDI QIDQ3875927

Harvey M. Friedman

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

proof-theorydisjunction-propertyextensions of intuitionistic second order arithmeticnumerical existence propertyrecursively enumerable extensions of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Extensional realizability

Cites Work

• The disjunction property implies the numerical existence property
• Formal systems for some branches of intuitionistic analysis
• Unnamed Item