Some models for intuitionistic finite type arithmetic with fan functional

DOI10.2307/2272120zbMath0385.03048OpenAlexW2038499438MaRDI QIDQ4165377

A. S. Troelstra

Publication date: 1977

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

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

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (4)

Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization ⋮ The FAN principle and weak König's lemma in Herbrandized second-order arithmetic ⋮ On uniform weak König's lemma ⋮ Pointwise hereditary majorization and some applications

This page was built for publication: Some models for intuitionistic finite type arithmetic with fan functional