| Publication | Date of Publication | Type |
|---|
| Weil diffeology I: Classical differential geometry | 2018-03-29 | Paper |
| Higher-dimensional general Jacobi identities I | 2017-10-06 | Paper |
| Book review of: F. Paugam, Towards the mathematics of quantum field theory | 2016-08-09 | Paper |
| Synthetic differential geometry within homotopy type theory I | 2016-06-21 | Paper |
| Synthetic differential geometry of Chen's iterated integrals | 2016-01-20 | Paper |
| Book review of: B. C. Hall, Quantum theory for mathematicians | 2015-07-06 | Paper |
| Erratum to: Book review of: Brian C. Hall, Quantum theory for mathematicians | 2015-07-06 | Paper |
| Book review of: Akira Fujiki, Kuranishi sūgaku eno izanai (Japanese). | 2015-07-06 | Paper |
| Differential Geometry of Microlinear Frölicher Spaces IV-1 | 2015-06-24 | Paper |
| From the Biot-Savart Law to Ampere's Magnetic Circuital Law via Synthetic Differential Geometry | 2015-02-11 | Paper |
| FROM LIE ALGEBRAS TO LIE GROUPS WITHIN SYNTHETIC DIFFERENTIAL GEOMETRY: WEIL SPROUTS OF LIE'S THIRD FUNDAMENTAL THEOREM | 2014-07-03 | Paper |
| Axiomatic differential geometry II-2 - differential forms | 2014-05-19 | Paper |
| The Baker-Campbell-Hausdorff formula and the Zassenhaus formula in synthetic differential geometry | 2014-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851799 | 2013-10-04 | Paper |
| Axiomatic Differential Geometry III-2 | 2013-08-28 | Paper |
| AXIOMATIC DIFFERENTIAL GEOMETRY II-4 - ITS DEVELOPMENTS - CHAPTER 4: THE FROLICHER-NIJENHUIS ALGEBRA | 2013-05-02 | Paper |
| AXIOMATIC DIFFERENTIAL GEOMETRY II-4 - ITS DEVELOPMENTS - CHAPTER 4: THE FROLICHER-NIJENHUIS ALGEBRA | 2013-05-02 | Paper |
| Axiomatic Differential Geometry I-1 | 2013-04-15 | Paper |
| Axiomatic Differential Geometry II-1 Vector Fields | 2013-04-15 | Paper |
| Axiomatic Differential Geometry II-4 | 2012-11-22 | Paper |
| Axiomatic Differential Geometry III-3 | 2012-10-11 | Paper |
| Axiomatic Differential Geometry II-3 | 2012-08-09 | Paper |
| Differential Geometry of Microlinear Frolicher Spaces III | 2011-06-03 | Paper |
| Differential Geometry of Microlinear Frolicher Spaces I | 2011-05-18 | Paper |
| Differential Geometry of Microlinear Frolicher Spaces II | 2011-05-18 | Paper |
| Relative Microlinearity -Towards the general theory of fiber bundles for Frolicher spaces | 2010-09-11 | Paper |
| Beyond the Regnant Philosophy of Manifolds | 2010-06-07 | Paper |
| The Jacobi Identity beyond Lie Algebras | 2009-12-09 | Paper |
| A much larger class of Frolicher spaces than that of convenient vector spaces may embed into the Cahier topos | 2009-12-09 | Paper |
| From Vector Analysis to Differential Forms | 2009-06-25 | Paper |
| The Frolicher-Nijenhuis Calculus in Synthetic Differential Geometry | 2008-10-30 | Paper |
| Curvature in synthetic differential geometry of groupoids | 2008-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3519159 | 2008-08-13 | Paper |
| General Jacobi identity revisited again | 2007-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5427138 | 2007-11-19 | Paper |
| A Functorial Approach to the Infinitesimal Theory of Groupoids | 2007-09-23 | Paper |
| The affine bundle theorem in synthetic differential geometry of jet bundles | 2007-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3429781 | 2007-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3410766 | 2006-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700175 | 2005-10-27 | Paper |
| Synthetic vector analysis. II | 2005-01-19 | Paper |
| Higher-order preconnections in synthetic differential geometry of jet bundles | 2004-09-10 | Paper |
| Synthetic differential geometry of jet bundles | 2004-02-24 | Paper |
| Holonomicity in synthetic differential geometry of jet bundles | 2003-09-02 | Paper |
| Synthetic vector analysis | 2002-08-26 | Paper |
| The first Bianchi identity in synthetic differential geometry | 2002-07-21 | Paper |
| Synthetic braided geometry. II | 2002-06-27 | Paper |
| Nonlinear connections in synthetic differential geometry | 2001-05-20 | Paper |
| Synthetic theory of superconnections | 2001-03-26 | Paper |
| Synthetic braided geometry. I | 2001-02-08 | Paper |
| Supersmooth topoi | 2001-01-01 | Paper |
| Another curvature in synthetic differential geometry | 2000-09-28 | Paper |
| Synthetic differential supergeometry | 2000-08-21 | Paper |
| Differential forms in synthetic differential geometry | 2000-08-21 | Paper |
| Differential forms in synthetic differential supergeometry | 1999-11-18 | Paper |
| Infinitesimal calculus of variations | 1999-11-18 | Paper |
| General Jacobi identity revisited | 1999-11-18 | Paper |
| Theory of microcubes | 1998-04-01 | Paper |
| Synthetic Hamiltonian mechanics | 1998-01-08 | Paper |
| Logical quantizations of first-order structures | 1997-08-04 | Paper |
| Empirical quantum mechanics | 1997-08-04 | Paper |
| Logical quantization of topos theory | 1997-08-04 | Paper |
| The logical quantization of algebraic groups | 1996-09-22 | Paper |
| Logical quantization of differential geometry | 1996-09-22 | Paper |
| Manuals in orthogonal categories | 1996-01-28 | Paper |
| Empirical sets | 1996-01-28 | Paper |
| Empirical algebraic geometry | 1996-01-28 | Paper |
| A Boolean-valued approach to Gleason's theorem | 1995-05-30 | Paper |
| On a duality between Boolean valued analysis and topological Reduction Theory | 1995-02-21 | Paper |
| Boolean Valued and Stone Algebra Valued Measure Theories | 1995-01-29 | Paper |
| Proof theory for minimal quantum logic. II | 1994-12-11 | Paper |
| Proof theory for minimal quantum logic. I | 1994-11-03 | Paper |
| A boolean transfer principle from L*‐Algebras to AL*‐Algebras | 1994-09-08 | Paper |
| Representations of empirical set theories | 1994-08-15 | Paper |
| On the duality between Boolean-valued analysis and reduction theory under the assumption of separability | 1994-01-12 | Paper |
| Empirical set theory | 1993-11-30 | Paper |
| Foundations of Boolean Valued Algebraic Geometry | 1993-04-01 | Paper |
| Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules | 1993-01-16 | Paper |
| Some Boolean Valued Commutative Algebra | 1992-06-28 | Paper |
| Boolean valued Lie algebras | 1992-06-27 | Paper |
| Boolean Valued Dedekind Domains | 1991-01-01 | Paper |
| Some connections between boolean valued analysis and topological reduction theory for C*-algebras | 1991-01-01 | Paper |
| Some corrections on my paper ``Some connections between Heyting valued set theory and algebraic geometry: Prolegomena to intuitionistic algebraic geometry | 1990-01-01 | Paper |
| On the absoluteness of types in boolean valued lattices | 1990-01-01 | Paper |
| Heyting valued set theory and fibre bundles | 1988-01-01 | Paper |
| Heyting valued considerations on some fundamental existence theorems in modern analysis | 1988-01-01 | Paper |
| Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry | 1987-01-01 | Paper |
| Heyting valued set theory and Sato hyperfunctions | 1986-01-01 | Paper |
| Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups | 1985-01-01 | Paper |
| Boolean valued decomposition theory of states | 1985-01-01 | Paper |
| An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis | 1984-01-01 | Paper |
| A cut-free sequential system for the propositional modal logic of finite chains | 1983-01-01 | Paper |
| Hauptsatz for higher-order modal logic | 1983-01-01 | Paper |
| Semantical analysis of constructive PDL | 1982-01-01 | Paper |
| Propositional dynamic logic for concurrent programs | 1982-01-01 | Paper |
| Arithmetical completeness in first-order dynamic logic for concurrent programs | 1981-01-01 | Paper |
| Model theory for tense logic: Saturated and special models with applications to the tense hierarchy | 1981-01-01 | Paper |
| The Semantical Characterization of de Dicto in Continuous Modal Model Theory | 1981-01-01 | Paper |
| Descriptively complete process logic | 1980-01-01 | Paper |
| Interval logics with applications to study of tense and aspect in English | 1980-01-01 | Paper |
| A study of some tense logics by Gentzen's sequential method | 1980-01-01 | Paper |
| Sequential method in quantum logic | 1980-01-01 | Paper |
| Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies | 1980-01-01 | Paper |
| A Preservation Theorem for Tense Logic | 1980-01-01 | Paper |
| Is the semantics of branching structures adequate for chronological modal logics? | 1979-01-01 | Paper |
| Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? | 1979-01-01 | Paper |
| Sequential method in propositional dynamic logic | 1979-01-01 | Paper |
| On the Completeness of Chronological Logics with Modal Operators | 1979-01-01 | Paper |
| Realization of dependency structures | 1977-01-01 | Paper |
