| Publication | Date of Publication | Type |
|---|
| The Tarski-Lindenbaum algebra of the class of prime models with infinite algorithmic dimensions having omega-stable theories | 2024-11-26 | Paper |
| Virtual algebraic isomorphisms between predicate calculi of finite rich signatures | 2022-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3379809 | 2021-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3379824 | 2021-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3379859 | 2021-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3380146 | 2021-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3380190 | 2021-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3380231 | 2021-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3380263 | 2021-09-27 | Paper |
| The property of being a model complete theory is preserved by Cartesian extensions | 2020-11-24 | Paper |
| The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one | 2020-07-21 | Paper |
| First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories | 2017-02-09 | Paper |
| A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic | 2016-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5177697 | 2015-03-05 | Paper |
| The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models | 2013-08-05 | Paper |
| On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models | 2012-08-14 | Paper |
| THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS | 2003-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513975 | 2001-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249364 | 2001-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4700614 | 1999-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362314 | 1997-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895324 | 1996-10-14 | Paper |
| Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs | 1996-08-28 | Paper |
| Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession | 1996-08-28 | Paper |
| Expressive power of finitely axiomatizable theories. III: The main construction | 1996-08-27 | Paper |
| Semantically universal classes of models | 1993-06-29 | Paper |
| Analogues of Rice's theorem for semantic classes of propositions | 1993-06-29 | Paper |
| Semantic universality of theories over a superlist | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026932 | 1993-02-21 | Paper |
| Uncountably categorical quasisuccession of Morley rank 3 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4000001 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3362611 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481683 | 1990-01-01 | Paper |
| Finitely axiomatizable theories | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813801 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3755440 | 1985-01-01 | Paper |
| Turing machine computations in finitely axiomatizable theories | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037396 | 1982-01-01 | Paper |
| Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory | 1981-01-01 | Paper |
| Theories with three countable models | 1981-01-01 | Paper |
| Criterion for strong constructivizability of a homogeneous model | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867812 | 1978-01-01 | Paper |
| On complete theories with a finite number of denumerable models | 1975-01-01 | Paper |
| Every recursive enumerable extension of a theory of linear order has a constructive model | 1974-01-01 | Paper |
| Strongly constructive model without elementary submodels and extensions | 1974-01-01 | Paper |
| Definability in structures of finite valency | 1974-01-01 | Paper |
| Strongly constructive models and numerations of the Boolean algebra of recursive sets | 1973-01-01 | Paper |
