Wolfgang Burr

From MaRDI portal
Person:1128181

Available identifiers

zbMath Open burr.wolfgangWikidataQ102191384 ScholiaQ102191384MaRDI QIDQ1128181

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q46642492005-04-05Paper
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory2003-04-27Paper
Fragments of Heyting arithmetic2001-07-24Paper
Functional interpretation of Aczel's constructive set theory2001-05-02Paper
A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)2001-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42437611999-05-24Paper
A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\)1998-10-25Paper

Research outcomes over time

This page was built for person: Wolfgang Burr

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1128181&oldid=5951401"
Powered by MediaWiki