A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\)

DOI10.1007/S001530050092zbMath0913.03051OpenAlexW227809201MaRDI QIDQ1128184

Volker Hartung, Wolfgang Burr

Publication date: 25 October 1998

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050092

zbMATH Keywords

Kripke-Platek set theoryfunctional interpretationChurch-Rosser theoremprimitive-recursive set functionals

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Functionals in proof theory (03F10) Axiom of choice and related propositions (03E25) Relative consistency and interpretations (03F25)

Related Items (2)

Logical problems of functional interpretations ⋮ Functional interpretation of Aczel's constructive set theory

This page was built for publication: A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\)