| Publication | Date of Publication | Type |
|---|
| Parsons and I: Sympathies and Differences | 2022-01-08 | Paper |
| Kurt Schütte’s Way | 2021-12-03 | Paper |
| The Operational Perspective: Three Routes | 2020-08-07 | Paper |
| Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion | 2020-07-23 | Paper |
| Gödel, Nagel, Minds, and Machines | 2020-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5236405 | 2019-10-15 | Paper |
| Tarski’s Influence on Computer Science | 2019-01-21 | Paper |
| Theses for Computation and Recursion on Concrete and Abstract Structures | 2018-04-18 | Paper |
| In memoriam: Grigori E. Mints (1939--2014) | 2016-03-21 | Paper |
| A Fortuitous Year with Leon Henkin | 2015-11-27 | Paper |
| Enriched Stratified Systems for the Foundations of Category Theory | 2015-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981447 | 2014-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981446 | 2014-06-24 | Paper |
| Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program | 2013-10-29 | Paper |
| And so on \dots : reasoning with infinite diagrams | 2013-10-29 | Paper |
| FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE | 2013-04-24 | Paper |
| On rereading van Heijenoort's selected essays | 2013-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001097 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081636 | 2011-03-09 | Paper |
| Logic and Methodology, Center Stage1 | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079613 | 2011-03-02 | Paper |
| UNFOLDING FINITIST ARITHMETIC | 2011-01-12 | Paper |
| AXIOMS FOR DETERMINATENESS AND TRUTH | 2010-08-13 | Paper |
| Set-theoretical invariance criteria for logicality | 2010-06-11 | Paper |
| Operational set theory and small large cardinals | 2009-10-09 | Paper |
| Harmonious logic: Craig's interpolation theorem and its descendants | 2009-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621604 | 2009-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3527486 | 2008-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509181 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3503674 | 2008-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5450053 | 2008-03-19 | Paper |
| Tarski's influence on computer science | 2007-10-11 | Paper |
| Are There Absolutely Unsolvable Problems? Godel's Dichotomy | 2007-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5478000 | 2006-06-29 | Paper |
| The Gödel Editorial Project: A Synopsis | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663833 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661905 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4831099 | 2004-12-21 | Paper |
| Tarski's conception of logic | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793434 | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793432 | 2003-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793426 | 2003-02-11 | Paper |
| Challenges to predicative foundations of arithmetic | 2002-08-29 | Paper |
| Tarski and Gödel: Between the lines | 2001-11-29 | Paper |
| Does Mathematics Need New Axioms? | 2001-11-26 | Paper |
| Does reductive proof theory have a viable rationale? | 2001-10-23 | Paper |
| In memoriam: Kenneth Jon Barwise, 1942--2000 | 2001-07-26 | Paper |
| Does mathematics need new axioms? | 2001-07-26 | Paper |
| Logic, logics, and logicism | 2001-07-17 | Paper |
| Mathematical intuition vs. mathematical monsters | 2001-05-20 | Paper |
| The unfolding of non-finitist arithmetic | 2001-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237309 | 1999-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215634 | 1998-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385479 | 1998-04-14 | Paper |
| Systems of explicit mathematics with non-constructive \(\mu\)-operator. II | 1997-08-19 | Paper |
| Computation on abstract data types. The extensional approach, with an application to streams | 1997-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893132 | 1997-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883239 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698612 | 1995-10-31 | Paper |
| Predicative foundations of arithmetic | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282586 | 1994-09-19 | Paper |
| Systems of explicit mathematics with non-constructive \(\mu\)-operator. I | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138832 | 1993-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202934 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692958 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016542 | 1993-01-16 | Paper |
| A new approach to abstract data types, I Informal development | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4014776 | 1992-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010354 | 1992-09-27 | Paper |
| Reflecting on incompleteness | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478384 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4731182 | 1989-01-01 | Paper |
| Hilbert's program relativized; Proof-theoretical and foundational reductions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813782 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723698 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3722499 | 1985-01-01 | Paper |
| Intensionality in mathematics | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723729 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695245 | 1984-01-01 | Paper |
| Toward useful type-free theories. I | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3699688 | 1984-01-01 | Paper |
| Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671968 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039340 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663255 | 1982-01-01 | Paper |
| Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3882452 | 1979-01-01 | Paper |
| What does logic have to tell us about mathematical proofs? | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880813 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141228 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4185007 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855168 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890680 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128540 | 1975-01-01 | Paper |
| Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075459 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087148 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068717 | 1974-01-01 | Paper |
| Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071232 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055632 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5655348 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4043018 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621360 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625132 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625145 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622162 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622163 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5614681 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661851 | 1968-01-01 | Paper |
| Systems of predicative analysis, II: Representations of ordinals | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5544276 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5595153 | 1968-01-01 | Paper |
| Predicative provability in set theory | 1966-01-01 | Paper |
| Persistent and invariant formulas relative to theories of higher order | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596760 | 1965-01-01 | Paper |
| Some applications of the notions of forcing and generic sets | 1965-01-01 | Paper |
| Systems of predicative analysis | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5727665 | 1964-01-01 | Paper |
| Transfinite recursive progressions of axiomatic theories | 1963-01-01 | Paper |
| Incompleteness along paths in progressions of theories | 1963-01-01 | Paper |
| 1 — Consistency and faithful interpretations | 1962-01-01 | Paper |
| Classifications of Recursive Functions by Means of Hierarchies | 1962-01-01 | Paper |
| Representability op recursively enumerable sets in formal theories | 1961-01-01 | Paper |
| Arithmetization of metamathematics in a general setting | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557888 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599137 | 1960-01-01 | Paper |
| The first order properties of products of algebraic systems | 1959-01-01 | Paper |
| Degrees of unsolvability associated with classes of formalized theories | 1957-01-01 | Paper |
