Edward R. Griffor
From MaRDI portal
Person:1295395
Available identifiers
zbMath Open griffor.edward-rMaRDI QIDQ1295395
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q3510919 | 2008-07-03 | Paper |
| Inaccessibility in constructive set theory and type theory | 1999-11-23 | Paper |
| The strength of some Martin-Löf type theories | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023580 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754611 | 1985-01-01 | Paper |
| Definability and forcing in E-recursion. | 1985-01-01 | Paper |
| The definability of E(α) | 1984-01-01 | Paper |
| Effective cofinalities and admissibility in E-recursion | 1984-01-01 | Paper |
| SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN3E | 1983-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: Edward R. Griffor
