| Publication | Date of Publication | Type |
|---|
Homage to Francis William Lawvere (1937--2023)
\(M\times\Phi\). Annals of Mathematics and Philosophy | 2026-03-11 | Paper |
Topos Theory in Montréal in the 1970s: My Personal Involvement
History and Philosophy of Logic | 2020-01-15 | Paper |
A mathematical analysis of Masaccio's \textit{Trinity}
Lecture Notes in Computer Science | 2014-05-08 | Paper |
| Generic figures and their glueings. A constructive approach to functor categories | 2014-04-23 | Paper |
The History of Categorical Logic: 1963–1977
Handbook of the History of Logic | 2012-10-12 | Paper |
| A derivation of Einstein's vacuum field equations | 2011-10-19 | Paper |
| scientific article; zbMATH DE number 5202596 (Why is no real title available?) | 2007-10-22 | Paper |
Ordinary differential equations and their exponentials
Central European Journal of Mathematics | 2006-09-04 | Paper |
| Distributions and heat equation in SDG | 2006-05-26 | Paper |
| Distributions and heat equation in SDG | 2006-05-26 | Paper |
| Categorical distribution theory; heat equation | 2004-07-14 | Paper |
| scientific article; zbMATH DE number 1985404 (Why is no real title available?) | 2003-09-24 | Paper |
scientific article; zbMATH DE number 1985404 (Why is no real title available?)
(available as arXiv preprint) | 2003-09-24 | Paper |
| scientific article; zbMATH DE number 1985404 (Why is no real title available?) | 2003-09-24 | Paper |
Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
Fuzzy Sets and Systems | 2003-09-07 | Paper |
| Models for non-Boolean negations in natural languages based on aspect analysis | 2001-06-20 | Paper |
| Some differential equations in synthetic differential geometry | 2001-04-17 | Paper |
Completeness theorems via the double dual functor
Studia Logica | 2000-11-14 | Paper |
| scientific article; zbMATH DE number 1333339 (Why is no real title available?) | 2000-04-17 | Paper |
| scientific article; zbMATH DE number 1333339 (Why is no real title available?) | 2000-04-17 | Paper |
| scientific article; zbMATH DE number 1351114 (Why is no real title available?) | 1999-10-20 | Paper |
| scientific article; zbMATH DE number 1351114 (Why is no real title available?) | 1999-10-20 | Paper |
Bi-Heyting algebras, toposes and modalities
Journal of Philosophical Logic | 1996-11-04 | Paper |
Completeness results for intuitionistic and modal logic in a categorical setting
Annals of Pure and Applied Logic | 1995-03-22 | Paper |
Functoriality and grammatical role in syllogisms
Notre Dame Journal of Formal Logic | 1994-12-05 | Paper |
| scientific article; zbMATH DE number 672108 (Why is no real title available?) | 1994-11-08 | Paper |
| scientific article; zbMATH DE number 672108 (Why is no real title available?) | 1994-11-08 | Paper |
Formal systems for modal operators on locales
Studia Logica | 1994-04-12 | Paper |
The Non-Boolean Logic of Natural Language Negation
Philosophia Mathematica | 1994-04-10 | Paper |
| scientific article; zbMATH DE number 221556 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 221553 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 48990 (Why is no real title available?) | 1992-09-17 | Paper |
A topos-theoretic approach to reference and modality
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 19500 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4121997 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4181959 (Why is no real title available?) | 1988-01-01 | Paper |
A smooth version of the Zariski topos
Advances in Mathematics | 1987-01-01 | Paper |
Forcing smooth square roots and integration
Fundamenta Mathematicae | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031937 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031937 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4087895 (Why is no real title available?) | 1987-01-01 | Paper |
Separably real closed local rings
Journal of Pure and Applied Algebra | 1986-01-01 | Paper |
Rings of smooth functions and their localizations. I
Journal of Algebra | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3947051 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4063926 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4011463 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4088434 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3893904 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4000187 (Why is no real title available?) | 1985-01-01 | Paper |
Smooth spaces versus continuous spaces in models for synthetic differential geometry
Journal of Pure and Applied Algebra | 1984-01-01 | Paper |
De Rham's theorem in a smooth topos
Mathematical Proceedings of the Cambridge Philosophical Society | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3845810 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3866080 (Why is no real title available?) | 1982-01-01 | Paper |
Boolean spectra and model completions
Fundamenta Mathematicae | 1981-01-01 | Paper |
Models for synthetic integration theory.
MATHEMATICA SCANDINAVICA | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3764143 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3764143 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3728981 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3656099 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650789 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3645865 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3663296 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3625610 (Why is no real title available?) | 1979-01-01 | Paper |
Théorie des modeles et faisceaux
Advances in Mathematics | 1978-01-01 | Paper |
A note on tangent bundles in a category with a ring object.
MATHEMATICA SCANDINAVICA | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3577910 (Why is no real title available?) | 1978-01-01 | Paper |
First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
Lecture Notes in Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3614984 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3614984 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3559737 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3526910 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3526911 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3532944 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3580720 (Why is no real title available?) | 1976-01-01 | Paper |
Espaces de Baire et espaces de probabilité de structures rélationnelles
Advances in Mathematics | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3536075 (Why is no real title available?) | 1974-01-01 | Paper |
<i>L</i><sub><i>ω</i>1<i>ω</i></sub> is enough: a reduction theorem for some infinitary languages
Journal of Symbolic Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3436301 (Why is no real title available?) | 1973-01-01 | Paper |
Local definability theory
Annals of Mathematical Logic | 1970-01-01 | Paper |
