Edit Profile (opens in new tab) Hartung, Volker Co-Author Distance Author ID: hartung.volker Published as: Hartung, Volker Documents Indexed: 1 Publication since 1998 Co-Authors: 1 Co-Author with 1 Joint Publication Co-Authors 0 single-authored 1 Burr, Wolfgang Serials 1 Archive for Mathematical Logic Fields 1 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\). Zbl 0913.03051 Burr, Wolfgang; Hartung, Volker 1 1998 A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\). Zbl 0913.03051 Burr, Wolfgang; Hartung, Volker 1 1998 Cited by 1 Author 1 Burr, Wolfgang Cited in 1 Serial 1 Annals of Pure and Applied Logic Cited in 1 Field 1 Mathematical logic and foundations (03-XX) Citations by Year