| Publication | Date of Publication | Type |
|---|
| A reunion of Gödel, Tarski, Carnap and Rosser | 2024-11-12 | Paper |
| On a fallacy concerning I-am-unprovable sentences: what to take home from Goedel's introduction | 2023-11-11 | Paper |
| Soundness does not come for free (if at all) | 2023-10-20 | Paper |
| A Reunion of Godel, Tarski, Carnap, and Rosser | 2022-10-10 | Paper |
| Gödelian sentences, Rosserian sentences and truth | 2022-09-22 | Paper |
| On Godel's "Much Weaker" Assumption | 2022-09-15 | Paper |
| Gödel's second incompleteness theorem: how it is derived and what it delivers | 2021-04-21 | Paper |
| From intuitionism to many-valued logics through Kripke models | 2021-03-19 | Paper |
| On the diagonal lemma of Gödel and Carnap | 2021-01-05 | Paper |
| On rudimentarity, primitive recursivity and representability | 2020-09-22 | Paper |
| On the Truth of G\"odelian and Rosserian Sentences | 2020-09-01 | Paper |
| Axiomatic (and Non-Axiomatic) Mathematics | 2020-08-19 | Paper |
| First-order continuous induction and a logical study of real closed fields | 2020-01-23 | Paper |
| On decidability and axiomatizability of some ordered structures | 2019-08-14 | Paper |
| Diagonal arguments and fixed points | 2019-01-24 | Paper |
| Kripke semantics for fuzzy logics | 2018-10-22 | Paper |
| On constructivity and the Rosser property: a closer look at some Gödelean proofs | 2018-07-17 | Paper |
| On Axiomatizability of the Multiplicative Theory of Numbers | 2018-05-24 | Paper |
| Gödel-Rosser's incompleteness theorem, generalized and optimized for definable theories | 2018-02-13 | Paper |
| Axiomatizing Mathematical Theories: Multiplication | 2016-12-20 | Paper |
| Computation in Logic and Logic in Computation | 2016-12-20 | Paper |
| On Arithmetical Truth of the Self-Referential Sentences | 2016-07-14 | Paper |
| Theorems of Tarski's Undefinability and Godel's Second Incompleteness-Computationally | 2015-09-01 | Paper |
| Gödel's incompleteness phenomenon -- computationally | 2015-07-30 | Paper |
| Herbrand consistency of some finite fragments of bounded arithmetical theories | 2013-06-28 | Paper |
| Diagonalizing by Fixed-Points | 2013-03-04 | Paper |
| Herbrand consistency of some arithmetical theories | 2012-09-19 | Paper |
| Separating bounded arithmetical theories by Herbrand consistency | 2012-06-20 | Paper |
| Varieties of many-sorted recognizable sets | 2011-02-22 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Tree algebras and varieties of tree languages | 2007-06-06 | Paper |
| Polynomially bounded recursive realizability | 2006-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696196 | 2006-01-26 | Paper |
| Congruence preserving functions of Wilke's tree algebras | 2006-01-06 | Paper |
| Positive varieties of tree languages | 2005-12-29 | Paper |
| Intuitionistic axiomatizations for bounded extension Kripke models. | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807686 | 2003-05-26 | Paper |
| Provably total functions of Basic Arithmetic | 2003-05-22 | Paper |
| Theoremizing Yablo's Paradox | N/A | Paper |
| On Chaitin's Heuristic Principle and Halting Probability | N/A | Paper |
