| Publication | Date of Publication | Type |
|---|
Extreme types and extremal models
Annals of Pure and Applied Logic | 2024-05-14 | Paper |
Consistency and interpolation in linear continuous logic
Archive for Mathematical Logic | 2023-09-27 | Paper |
The isomorphism theorem for linear fragments of continuous logic
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Linear Formulas in Continuous Logic
Iranian Journal of Mathematical Sciences and Informatics | 2022-12-08 | Paper |
The logic of linear propositions
Logic Journal of the IGPL | 2022-06-09 | Paper |
Maximality of linear continuous logic
Mathematical Logic Quarterly | 2020-05-11 | Paper |
| Continuous integration logic | 2019-09-30 | Paper |
Completeness for linear continuous logic
Journal Of Logic And Computation | 2018-02-13 | Paper |
| Preservation theorems in Łukasiewicz model theory | 2016-02-18 | Paper |
| Eberlein-Smulian compactness and Kolmogorov extension theorems; a model theoretic approach | 2015-09-10 | Paper |
Linear model theory for Lipschitz structures
Archive for Mathematical Logic | 2014-12-15 | Paper |
Preservation theorems in linear continuous logic
Mathematical Logic Quarterly | 2014-06-06 | Paper |
Quantified universes and ultraproducts
Mathematical Logic Quarterly | 2012-02-29 | Paper |
Random variables and integral logic
Mathematical Logic Quarterly | 2011-11-07 | Paper |
An arithmetical view to first-order logic
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Omitting types in an intermediate logic
Studia Logica | 2011-05-27 | Paper |
A Łoś type theorem for linear metric formulas
MLQ | 2010-02-16 | Paper |
The logic of integration
Archive for Mathematical Logic | 2009-07-24 | Paper |
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics
Logic Journal of the IGPL | 2009-01-21 | Paper |
Diagram Construction in Intuitionistic Logic
Logic Journal of the IGPL | 2007-02-15 | Paper |
| Categoricity and quantifier elimination for intuitionistic theories | 2006-10-23 | Paper |
Some preservation theorems in an intermediate logic
MLQ | 2006-05-16 | Paper |
| scientific article; zbMATH DE number 2242908 (Why is no real title available?) | 2006-01-03 | Paper |
Some results on Kripke models over an arbitrary fixed frame
MLQ | 2003-11-10 | Paper |
On translations of complete first order theories
Mathematical Logic Quarterly | 2003-03-19 | Paper |
Ordre fondamental d'une théorie 1-basée
Journal of Symbolic Logic | 2000-10-22 | Paper |
Definability in affine continuous logic
(available as arXiv preprint) | N/A | Paper |
Extreme types and extremal models
(available as arXiv preprint) | N/A | Paper |
