| Publication | Date of Publication | Type |
|---|
| Restricted polynomial induction versus parameter free ordinary induction | 2022-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5222072 | 2020-03-30 | Paper |
| Restricted polynomial induction versus ordinary induction | 2018-06-07 | Paper |
| EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC | 2016-08-19 | Paper |
| Truth definitions without exponentiation and the Σ1 collection scheme | 2012-06-19 | Paper |
| Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics | 2011-03-22 | Paper |
| A note on the Σ1collection scheme and fragments of bounded arithmetic | 2010-04-15 | Paper |
| Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic | 2007-02-14 | Paper |
| Well-behaved principles alternative to bounded induction | 2004-10-27 | Paper |
| An application of a reflection principle | 2004-08-19 | Paper |
| On complexity reduction of \(\Sigma_1\) formulas | 2003-09-16 | Paper |
| Existentially closed structures and Gödel's second incompleteness theorem | 2002-03-11 | Paper |
| Herbrand consistency and bounded arithmetic | 2002-02-21 | Paper |
| On Herbrand consistency in weak arithmetic | 2001-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736254 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250048 | 1999-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4339021 | 1997-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863274 | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4324357 | 1995-08-27 | Paper |
| A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem | 1993-09-22 | Paper |
| A sharp version of the bounded Matijasevich conjecture and the end-extension problem | 1993-04-01 | Paper |
| On maximal theories | 1992-06-27 | Paper |
| End-extending models of $IΔ_0 + exp + ΒΣ_1$ | 1992-06-25 | Paper |
| Functions provably total in $I^{-}Σ_{n}$ | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807194 | 1988-01-01 | Paper |
| A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$ | 1988-01-01 | Paper |
| A Note on BΣn and an Intermediate Induction Schema | 1988-01-01 | Paper |
| Open induction and the true theory of rationals | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768889 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775554 | 1986-01-01 | Paper |
| A recursive model for arithmetic with weak induction | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728897 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679142 | 1984-01-01 | Paper |
| Axiomatization of the forcing relation with an application to Peano Arithmetic | 1984-01-01 | Paper |
| Continuous relations and generalized $G_δ$ sets | 1984-01-01 | Paper |
| A generalization of Shoenfield theorem on $(Σ^1)_2$ sets | 1984-01-01 | Paper |
| Perfect set theorems for $Π^1_2$ in the universe without choice | 1983-01-01 | Paper |
| On finite lattices of degrees of constructibility | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147977 | 1977-01-01 | Paper |
| On finite lattices of degrees of constructibility of reals | 1976-01-01 | Paper |
| One more aspect of forcing and omitting types | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4090327 | 1975-01-01 | Paper |
