| Publication | Date of Publication | Type |
|---|
| Frege proof system and TNC° | 2023-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700821 | 2005-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409845 | 2003-07-01 | Paper |
| Frege proof system and TNC° | 2001-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266170 | 2000-01-13 | Paper |
| Gödel sentences of bounded arithmetic | 2000-01-01 | Paper |
| Forcing on bounded arithmetic II | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218532 | 1998-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397036 | 1998-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893139 | 1997-06-15 | Paper |
| On induction-free provability | 1997-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850548 | 1996-06-06 | Paper |
| Separations of theories in weak bounded arithmetic | 1995-07-20 | Paper |
| Grzegorcyk's hierarchy and IepΣ1 | 1995-07-20 | Paper |
| The critical number of a variable in a function | 1995-07-20 | Paper |
| RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) | 1995-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140644 | 1994-07-26 | Paper |
| Fuzzy logic and fuzzy set theory | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140634 | 1993-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694224 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035314 | 1993-05-18 | Paper |
| Bounded arithmetic for NC, ALogTIME, L and NL | 1992-09-27 | Paper |
| A second order version of S2i and U21 | 1992-06-27 | Paper |
| Bounded arithmetic and the polynomial hierarchy | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3487339 | 1990-01-01 | Paper |
| \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816072 | 1989-01-01 | Paper |
| Bounded arithmetic and truth definition | 1988-01-01 | Paper |
| Boolean simple groups and boolean simple rings | 1988-01-01 | Paper |
| Proof theory. 2nd ed | 1987-01-01 | Paper |
| Globalization of intuitionistic set theory | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786478 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729781 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789557 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757904 | 1986-01-01 | Paper |
| Global intuitionistic analysis | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3722491 | 1986-01-01 | Paper |
| Intuitionistic fuzzy logic and intuitionistic fuzzy set theory | 1984-01-01 | Paper |
| Von Neumann algebras and Boolean valued analysis | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3324490 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950553 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3934383 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966100 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939796 | 1981-01-01 | Paper |
| An accessibility proof of ordinal diagrams | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863881 | 1979-01-01 | Paper |
| A transfer principle in harmonic analysis | 1979-01-01 | Paper |
| Two Applications of Logic to Mathematics | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182741 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182482 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133654 | 1977-01-01 | Paper |
| Weaves | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128538 | 1976-01-01 | Paper |
| Proof theory | 1975-01-01 | Paper |
| Proof theory | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088795 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103079 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5676214 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773683 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631109 | 1971-01-01 | Paper |
| Two interpolation theorems for a predicate calculus | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631102 | 1971-01-01 | Paper |
| A Determinate Logic | 1970-01-01 | Paper |
| A Relativization of Axioms of Strong Infinity to ^|^omega;1 | 1970-01-01 | Paper |
| The Universe of Set Theory | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5591507 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572321 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579487 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572326 | 1968-01-01 | Paper |
| Consistency proofs of subsystems of classical analysis | 1967-01-01 | Paper |
| Transcendence of cardinals | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596781 | 1965-01-01 | Paper |
| A formalization of the theory of ordinal numbers | 1965-01-01 | Paper |
| A generalization of König's lemma | 1963-01-01 | Paper |
| A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I | 1963-01-01 | Paper |
| On predicates with constructive infinitely long expressions | 1963-01-01 | Paper |
| A formal system of first-order predicate calculus with infinitely long expressions | 1962-01-01 | Paper |
| Dirac space | 1962-01-01 | Paper |
| On the inductive definition with quantifiers of second order | 1962-01-01 | Paper |
| On the weak definability in set theory | 1962-01-01 | Paper |
| A note on predicates of ordinal numbers | 1962-01-01 | Paper |
| On hierarchies of predicates of ordinal numbers | 1962-01-01 | Paper |
| Axioms of infinity of set theory | 1961-01-01 | Paper |
| Remarks on the truth definition | 1961-01-01 | Paper |
| Remarks on Cantor's Absolute | 1961-01-01 | Paper |
| On the fundamental conjecture of GLC, VI | 1961-01-01 | Paper |
| Remarks on Cantor's absolute, II | 1961-01-01 | Paper |
| An example on the fundamental conjecture of \(GLC\) | 1960-01-01 | Paper |
| On the recursive functions of ordinal numbers | 1960-01-01 | Paper |
| Ordinal diagrams. II | 1960-01-01 | Paper |
| On the fundamental conjecture of \(GLC\). V | 1958-01-01 | Paper |
| Remark on the fundamental conjecture of \(GLC\) | 1958-01-01 | Paper |
| On the theory of ordinal numbers. II | 1958-01-01 | Paper |
| On the Formal Theory of the Ordinal Diagrams | 1958-01-01 | Paper |
| Ordinal diagrams | 1957-01-01 | Paper |
| On the theory of ordinal numbers | 1957-01-01 | Paper |
| On Skolem's theorem | 1957-01-01 | Paper |
| Remark on my paper: On Skolem's theorem | 1957-01-01 | Paper |
| On the fundamental conjecture of \(GLC\). III | 1956-01-01 | Paper |
| On the fundamental conjecture of \(GLC\). IV | 1956-01-01 | Paper |
| A meta-mathematical theorem on functions | 1956-01-01 | Paper |
| Construction of Ramified Real Numbers | 1956-01-01 | Paper |
| On the fundamental conjecture of \(GLC\). I, II | 1955-01-01 | Paper |
| Construction of the set theory from the theory of ordinal numbers | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822069 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822068 | 1953-01-01 | Paper |
| A metamathematical theorem on the theory of ordinal numbers | 1952-01-01 | Paper |
