Graham Leach-Krouse
From MaRDI portal
Person:484178
Available identifiers
zbMath Open leach-krouse.grahamMaRDI QIDQ484178
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 |
|---|---|---|
| Hyperdoctrine semantics: an invitation | 2024-11-20 | Paper |
| On not saying what we shouldn't have to say | 2021-12-29 | Paper |
| Coalgebra and abstraction | 2021-09-07 | Paper |
| Provability, mechanism, and the diagonal problem | 2020-04-02 | Paper |
| Burali-Forti as a purely logical paradox | 2019-12-19 | Paper |
| Structural-Abstraction Principles | 2019-02-26 | Paper |
| What Russell should have said to Burali-Forti | 2018-01-17 | Paper |
| Generalizing Boolos' theorem | 2017-05-31 | Paper |
| Yablifying the Rosser sentence | 2014-12-18 | Paper |
| Yablo's Paradox And Arithmetical Incompleteness | 2011-10-10 | Paper |
Research outcomes over time
This page was built for person: Graham Leach-Krouse