William Alvin Howard

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5236406	2019-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4365299	1997-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q3760542	1986-01-01	Paper
Ordinal analysis of simple cases of bar recursion	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912575	1981-01-01	Paper
Ordinal analysis of terms of finite type	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3887456	1980-01-01	Paper
A system of abstract constructive ordinals	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5606582	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5545953	1968-01-01	Paper
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis	1966-01-01	Paper
A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION	1964-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William Alvin Howard