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 |
|---|---|---|
| Context-dependence and descent theory | 2025-10-24 | Paper |
| Geometric modal logic Notre Dame Journal of Formal Logic | 2024-01-15 | Paper |
| A Categorical Aspect of the Analogy Between Quantifiers and Modalities Studies in Universal Logic | 2023-09-20 | Paper |
| HOMOTOPY MODEL THEORY Journal of Symbolic Logic | 2022-01-17 | Paper |
| Settings and misunderstandings in mathematics Synthese | 2021-11-26 | Paper |
| Tim Button and Sean Walsh* Philosophy and Model Theory. Philosophia Mathematica | 2021-02-09 | Paper |
| Sets and descent Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
| Structures and generality in combinatory theory: mathematics and letters | 2018-12-17 | Paper |
| Logical contextuality in Frege The Review of Symbolic Logic | 2018-05-03 | Paper |
| Models as universes Notre Dame Journal of Formal Logic | 2017-02-17 | Paper |
| A new semantics of modal iteration Philosophia Scientae | 2015-06-25 | Paper |
| Structured Variables Philosophia Mathematica | 2014-08-05 | Paper |
| On a possible application of the homotopy concept to model theory Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI | 2014-05-02 | Paper |
| Diagrams as sketches Synthese | 2013-10-29 | Paper |
| The versatility of universality in \textit{Principia mathematica} History and Philosophy of Logic | 2013-04-18 | Paper |
Research outcomes over time
This page was built for person: Brice Halimi
