William Alvin Howard

From MaRDI portal
Person:3760541

Available identifiers

zbMath Open howard.william-aDBLP65/254WikidataQ2577855 ScholiaQ2577855MaRDI QIDQ3760541

List of research outcomes





PublicationDate of PublicationType
Conversations with Bill about functionals and terms2019-10-15Paper
https://portal.mardi4nfdi.de/entity/Q43652991997-11-04Paper
https://portal.mardi4nfdi.de/entity/Q37605421986-01-01Paper
Ordinal analysis of simple cases of bar recursion1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39125751981-01-01Paper
Ordinal analysis of terms of finite type1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38874561980-01-01Paper
A system of abstract constructive ordinals1972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56065821970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55459531968-01-01Paper
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis1966-01-01Paper
A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION1964-01-01Paper

Research outcomes over time

This page was built for person: William Alvin Howard

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