| Publication | Date of Publication | Type |
|---|
Parsons and I: sympathies and differences
Journal of Philosophy | 2022-01-08 | Paper |
Kurt Schütte’s Way
The Legacy of Kurt Schütte | 2021-12-03 | Paper |
The Operational Perspective: Three Routes
Advances in Proof Theory | 2020-08-07 | Paper |
Which quantifiers are logical? A combined semantical and inferential criterion
Synthese Library | 2020-07-23 | Paper |
Gödel, Nagel, minds, and machines
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| scientific article; zbMATH DE number 7117706 (Why is no real title available?) | 2019-10-15 | Paper |
Tarski's influence on computer science
Studies in Universal Logic | 2019-01-21 | Paper |
Theses for computation and recursion on concrete and abstract structures
Turing’s Revolution | 2018-04-18 | Paper |
In memoriam: Grigori E. Mints (1939--2014)
The Bulletin of Symbolic Logic | 2016-03-21 | Paper |
A fortuitous year with Leon Henkin
Studies in Universal Logic | 2015-11-27 | Paper |
Enriched stratified systems for the foundations of category theory
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
| scientific article; zbMATH DE number 6307932 (Why is no real title available?) | 2014-06-24 | Paper |
| scientific article; zbMATH DE number 6307931 (Why is no real title available?) | 2014-06-24 | Paper |
And so on \dots : reasoning with infinite diagrams
Synthese | 2013-10-29 | Paper |
| Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program | 2013-10-29 | Paper |
Foundations of unlimited category theory: what remains to be done
The Review of Symbolic Logic | 2013-04-24 | Paper |
On rereading van Heijenoort's selected essays
Logica Universalis | 2013-03-15 | Paper |
| scientific article; zbMATH DE number 5901619 (Why is no real title available?) | 2011-05-31 | Paper |
Logic and Methodology, Center Stage1
Philosophia Scientae | 2011-03-09 | Paper |
| The proof theory of classical and constructive inductive definitions. A forty year saga, 1968--2008 | 2011-03-09 | Paper |
| scientific article; zbMATH DE number 5859771 (Why is no real title available?) | 2011-03-02 | Paper |
Unfolding finitist arithmetic
The Review of Symbolic Logic | 2011-01-12 | Paper |
AXIOMS FOR DETERMINATENESS AND TRUTH
The Review of Symbolic Logic | 2010-08-13 | Paper |
Set-theoretical invariance criteria for logicality
Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
Operational set theory and small large cardinals
Information and Computation | 2009-10-09 | Paper |
Harmonious logic: Craig's interpolation theorem and its descendants
Synthese | 2009-06-16 | Paper |
| scientific article; zbMATH DE number 5545566 (Why is no real title available?) | 2009-04-21 | Paper |
| scientific article; zbMATH DE number 5347929 (Why is no real title available?) | 2008-09-29 | Paper |
| scientific article; zbMATH DE number 5295828 (Why is no real title available?) | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5285457 (Why is no real title available?) | 2008-06-06 | Paper |
| scientific article; zbMATH DE number 5251035 (Why is no real title available?) | 2008-03-19 | Paper |
Tarski's influence on computer science
Logical Methods in Computer Science | 2007-10-11 | Paper |
Are There Absolutely Unsolvable Problems? Godel's Dichotomy
Philosophia Mathematica | 2007-02-13 | Paper |
| scientific article; zbMATH DE number 5037243 (Why is no real title available?) | 2006-06-29 | Paper |
The Gödel Editorial Project: A Synopsis
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2152231 (Why is no real title available?) | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2149380 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2123604 (Why is no real title available?) | 2004-12-21 | Paper |
Tarski's conception of logic
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1867340 (Why is no real title available?) | 2003-06-25 | Paper |
| scientific article; zbMATH DE number 1867338 (Why is no real title available?) | 2003-06-13 | Paper |
| scientific article; zbMATH DE number 1867332 (Why is no real title available?) | 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?
American Mathematical Monthly | 2001-11-26 | Paper |
Does reductive proof theory have a viable rationale?
Erkenntnis | 2001-10-23 | Paper |
In memoriam: Kenneth Jon Barwise, 1942--2000
The Bulletin of Symbolic Logic | 2001-07-26 | Paper |
Does mathematics need new axioms?
The Bulletin of Symbolic Logic | 2001-07-26 | Paper |
Logic, logics, and logicism
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Mathematical intuition vs. mathematical monsters
Synthese | 2001-05-20 | Paper |
The unfolding of non-finitist arithmetic
Annals of Pure and Applied Logic | 2001-05-02 | Paper |
| scientific article; zbMATH DE number 1273299 (Why is no real title available?) | 1999-04-06 | Paper |
| scientific article; zbMATH DE number 1215497 (Why is no real title available?) | 1998-12-08 | Paper |
| scientific article; zbMATH DE number 1141703 (Why is no real title available?) | 1998-04-14 | Paper |
Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
Annals of Pure and Applied Logic | 1997-08-19 | Paper |
Computation on abstract data types. The extensional approach, with an application to streams
Annals of Pure and Applied Logic | 1997-03-19 | Paper |
| scientific article; zbMATH DE number 922612 (Why is no real title available?) | 1997-03-11 | Paper |
| scientific article; zbMATH DE number 895229 (Why is no real title available?) | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 753779 (Why is no real title available?) | 1995-10-31 | Paper |
Predicative foundations of arithmetic
Journal of Philosophical Logic | 1995-02-22 | Paper |
| scientific article; zbMATH DE number 517058 (Why is no real title available?) | 1994-09-19 | Paper |
Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
Annals of Pure and Applied Logic | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 432705 (Why is no real title available?) | 1993-11-18 | Paper |
| scientific article; zbMATH DE number 408790 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 194991 (Why is no real title available?) | 1993-06-05 | Paper |
A new approach to abstract data types, I Informal development
Mathematical Structures in Computer Science | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 88985 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 69309 (Why is no real title available?) | 1992-10-26 | Paper |
| scientific article; zbMATH DE number 65743 (Why is no real title available?) | 1992-09-27 | Paper |
Reflecting on incompleteness
Journal of Symbolic Logic | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4148057 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4116521 (Why is no real title available?) | 1989-01-01 | Paper |
Hilbert's program relativized; Proof-theoretical and foundational reductions
Journal of Symbolic Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4083572 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3995620 (Why is no real title available?) | 1987-01-01 | Paper |
Intensionality in mathematics
Journal of Philosophical Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3995669 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3952752 (Why is no real title available?) | 1985-01-01 | Paper |
Toward useful type-free theories. I
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3924774 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3920431 (Why is no real title available?) | 1984-01-01 | Paper |
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825796 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831930 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3815601 (Why is no real title available?) | 1982-01-01 | Paper |
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Lecture Notes in Mathematics | 1981-01-01 | Paper |
What does logic have to tell us about mathematical proofs?
The Mathematical Intelligencer | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3687373 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3685454 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621970 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3655923 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3697103 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3568670 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3568670 (Why is no real title available?) | 1977-01-01 | Paper |
Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
Fundamenta Mathematicae | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3556031 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3494405 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3506652 (Why is no real title available?) | 1975-01-01 | Paper |
Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
Fundamenta Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3485778 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3487445 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3472038 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3385609 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3456842 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3345433 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3349783 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3349797 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3346319 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3346320 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3337693 (Why is no real title available?) | 1969-01-01 | Paper |
Systems of predicative analysis, II: Representations of ordinals
Journal of Symbolic Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3392414 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3259043 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3259043 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3316033 (Why is no real title available?) | 1968-01-01 | Paper |
Persistent and invariant formulas relative to theories of higher order
Bulletin of the American Mathematical Society | 1966-01-01 | Paper |
Predicative provability in set theory
Bulletin of the American Mathematical Society | 1966-01-01 | Paper |
Some applications of the notions of forcing and generic sets
Fundamenta Mathematicae | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3316900 (Why is no real title available?) | 1965-01-01 | Paper |
Systems of predicative analysis
Journal of Symbolic Logic | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3191281 (Why is no real title available?) | 1964-01-01 | Paper |
Transfinite recursive progressions of axiomatic theories
Journal of Symbolic Logic | 1963-01-01 | Paper |
Incompleteness along paths in progressions of theories
Journal of Symbolic Logic | 1963-01-01 | Paper |
1 — Consistency and faithful interpretations
Archiv für Mathematische Logik und Grundlagenforschung | 1962-01-01 | Paper |
| Classifications of Recursive Functions by Means of Hierarchies | 1962-01-01 | Paper |
Representability op recursively enumerable sets in formal theories
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
Arithmetization of metamathematics in a general setting
Fundamenta Mathematicae | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3273148 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319511 (Why is no real title available?) | 1960-01-01 | Paper |
The first order properties of products of algebraic systems
Fundamenta Mathematicae | 1959-01-01 | Paper |
Degrees of unsolvability associated with classes of formalized theories
Journal of Symbolic Logic | 1957-01-01 | Paper |
