A characterization of the \Sigma_1-definable functions of KP\omega + (uniform\; AC) |
| |
| Authors: | Wolfgang Burr Volker Hartung |
| |
| Institution: | Institut für mathematische Logik und Grundlagenforschung der Westf?lischen Wilhelms-Universit?t Münster, Einsteinstrasse 62, D-48149 Münster, Germany (e-mail: Wolfgang.Burr@math.uni-muenster.de), DE
|
| |
| Abstract: | The subject of this paper is a characterization of the -definable set functions of Kripke-Platek set theory with infinity and a uniform version of axiom of choice: . This class of functions is shown to coincide with the collection of set functionals of type 1 primitive recursive in a
given choice functional and . This goal is achieved by a G?del Dialectica-style functional interpretation of and a computability proof for the involved functionals.
Received October 9, 1996 |
| |
| Keywords: | Mathematics Subject Classification (1991): 03F10 03F25 |
| 本文献已被 SpringerLink 等数据库收录！ |
