William Alvin Howard

MaRDI QIDQ3760541zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Conversations with Bill about functionals and terms	2019-10-15	Paper
scientific article; zbMATH DE number 1082909 (Why is no real title available?)	1997-11-04	Paper
scientific article; zbMATH DE number 4010517 (Why is no real title available?)	1986-01-01	Paper
Ordinal analysis of simple cases of bar recursion Journal of Symbolic Logic	1981-01-01	Paper
scientific article; zbMATH DE number 3724438 (Why is no real title available?)	1981-01-01	Paper
Ordinal analysis of terms of finite type Journal of Symbolic Logic	1980-01-01	Paper
scientific article; zbMATH DE number 3693265 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3693265 (Why is no real title available?)	1980-01-01	Paper
A system of abstract constructive ordinals Journal of Symbolic Logic	1972-01-01	Paper
scientific article; zbMATH DE number 3328152 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3259893 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3259893 (Why is no real title available?)	1968-01-01	Paper
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis Journal of Symbolic Logic	1966-01-01	Paper
A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION Mathematical Logic Quarterly	1964-01-01	Paper

Research outcomes over time

This page was built for person: William Alvin Howard