David Ballard
From MaRDI portal
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 |
|---|---|---|
| Definability and descent Journal of Symbolic Logic | 1999-03-10 | Paper |
| Foundational Aspects of “Non”standard Mathematics Contemporary Mathematics | 1994-12-08 | Paper |
| Standard foundations for nonstandard analysis Journal of Symbolic Logic | 1993-04-01 | Paper |
| Combinatory completeness without classical equality Journal of Philosophical Logic | 1988-01-01 | Paper |
| Independence in higher-order subclassical logic Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
| Coloring a Dodecahedron with Four Colors(1) Canadian Mathematical Bulletin | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: David Ballard
