| Publication | Date of Publication | Type |
|---|
Restricted polynomial induction versus parameter free ordinary induction
Fundamenta Mathematicae | 2022-03-29 | Paper |
A few questions concerning consistency and conservativeness
| 2020-03-30 | Paper |
Restricted polynomial induction versus ordinary induction
Fundamenta Mathematicae | 2018-06-07 | Paper |
Existentially closed models in the framework of arithmetic
Journal of Symbolic Logic | 2016-08-19 | Paper |
Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics
Fundamenta Mathematicae | 2011-03-22 | Paper |
A note on the \(\Sigma_1\) collection scheme and fragments of bounded arithmetic
MLQ | 2010-04-15 | Paper |
Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Well-behaved principles alternative to bounded induction
Theoretical Computer Science | 2004-10-27 | Paper |
An application of a reflection principle
Fundamenta Mathematicae | 2004-08-19 | Paper |
On complexity reduction of \(\Sigma_1\) formulas
Archive for Mathematical Logic | 2003-09-16 | Paper |
Existentially closed structures and Gödel's second incompleteness theorem
The Journal of Symbolic Logic | 2002-03-11 | Paper |
Herbrand consistency and bounded arithmetic
Fundamenta Mathematicae | 2002-02-21 | Paper |
On Herbrand consistency in weak arithmetic
Archive for Mathematical Logic | 2001-12-13 | Paper |
Hilbert's Tenth Problem
| 2001-08-29 | Paper |
scientific article; zbMATH DE number 1303439 (Why is no real title available?)
| 1999-10-11 | Paper |
scientific article; zbMATH DE number 1016911 (Why is no real title available?)
| 1997-06-04 | Paper |
scientific article; zbMATH DE number 841118 (Why is no real title available?)
| 1996-05-13 | Paper |
scientific article; zbMATH DE number 727438 (Why is no real title available?)
| 1995-08-27 | Paper |
A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
A sharp version of the bounded Matijasevich conjecture and the end-extension problem
Journal of Symbolic Logic | 1993-04-01 | Paper |
On maximal theories
Journal of Symbolic Logic | 1992-06-27 | Paper |
End-extending models of $IΔ_0 + exp + ΒΣ_1$
Fundamenta Mathematicae | 1992-06-25 | Paper |
Functions provably total in $I^{-}Σ_{n}$
Fundamenta Mathematicae | 1989-01-01 | Paper |
A Note on BΣn and an Intermediate Induction Schema
Mathematical Logic Quarterly | 1988-01-01 | Paper |
A recursion-theoretic characterization of instances of $ΒΣ_n$ provable in $П_{n+1}(N)$
Fundamenta Mathematicae | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4075046 (Why is no real title available?)
| 1988-01-01 | Paper |
Open induction and the true theory of rationals
Journal of Symbolic Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4027447 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4035826 (Why is no real title available?)
| 1986-01-01 | Paper |
A recursive model for arithmetic with weak induction
Journal of Symbolic Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3961605 (Why is no real title available?)
| 1985-01-01 | Paper |
Continuous relations and generalized $G_δ$ sets
Fundamenta Mathematicae | 1984-01-01 | Paper |
A generalization of Shoenfield theorem on $(Σ^1)_2$ sets
Fundamenta Mathematicae | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3900711 (Why is no real title available?)
| 1984-01-01 | Paper |
Axiomatization of the forcing relation with an application to Peano Arithmetic
Fundamenta Mathematicae | 1984-01-01 | Paper |
Perfect set theorems for $Π^1_2$ in the universe without choice
Fundamenta Mathematicae | 1983-01-01 | Paper |
On finite lattices of degrees of constructibility
Journal of Symbolic Logic | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3575576 (Why is no real title available?)
| 1977-01-01 | Paper |
On finite lattices of degrees of constructibility of reals
Journal of Symbolic Logic | 1976-01-01 | Paper |
One more aspect of forcing and omitting types
Journal of Symbolic Logic | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3510297 (Why is no real title available?)
| 1975-01-01 | Paper |
