| Publication | Date of Publication | Type |
|---|
Logicism and Second-Order Logic
Logic, Language, and Mathematics | 2020-12-02 | Paper |
Zooming Down the Slippery Slope
Nôus | 2017-07-14 | Paper |
| scientific article; zbMATH DE number 6696408 (Why is no real title available?) | 2017-03-22 | Paper |
| scientific article; zbMATH DE number 5520283 (Why is no real title available?) | 2009-02-27 | Paper |
| Computability and Logic | 2008-09-12 | Paper |
| scientific article; zbMATH DE number 1805574 (Why is no real title available?) | 2002-09-24 | Paper |
| Must we believe in set theory? | 2002-03-17 | Paper |
| scientific article; zbMATH DE number 1550341 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550347 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550362 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550337 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550358 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550345 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550339 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550348 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550338 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550344 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550350 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550342 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550349 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550360 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550366 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550340 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550346 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550353 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550354 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550356 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550355 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550359 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550361 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550363 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550364 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550343 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550351 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550352 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550357 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1550365 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1439713 (Why is no real title available?) | 2000-05-07 | Paper |
| scientific article; zbMATH DE number 1344508 (Why is no real title available?) | 1999-10-04 | Paper |
| scientific article; zbMATH DE number 1335689 (Why is no real title available?) | 1999-09-13 | Paper |
| scientific article; zbMATH DE number 1254493 (Why is no real title available?) | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1195917 (Why is no real title available?) | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1195918 (Why is no real title available?) | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1195924 (Why is no real title available?) | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1195915 (Why is no real title available?) | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1170091 (Why is no real title available?) | 1998-06-30 | Paper |
Constructing Cantorian counterexamples
Journal of Philosophical Logic | 1997-08-05 | Paper |
Frege's Theorem and the Peano Postulates
The Bulletin of Symbolic Logic | 1995-12-19 | Paper |
The analytical completeness of Dzhaparidze's polymodal logics
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
| scientific article; zbMATH DE number 47306 (Why is no real title available?) | 1992-09-17 | Paper |
Provability: The emergence of a mathematical modality
Studia Logica | 1992-06-25 | Paper |
Alphabetical order
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
The degree of the set of sentences of predicate provability logic that are true under every interpretation
Journal of Symbolic Logic | 1987-01-01 | Paper |
A curious inference
Journal of Philosophical Logic | 1987-01-01 | Paper |
An incomplete system of modal logic
Journal of Philosophical Logic | 1985-01-01 | Paper |
1-consistency and the diamond
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Don't eliminate cut
Journal of Philosophical Logic | 1984-01-01 | Paper |
The Logic of Provability
The American Mathematical Monthly | 1984-01-01 | Paper |
Trees and finite satisfiability: proof of a conjecture of Burgess
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
Extremely undecidable sentences
Journal of Symbolic Logic | 1982-01-01 | Paper |
On the nonexistence of certain normal forms in the logic of provability
Journal of Symbolic Logic | 1982-01-01 | Paper |
On systems of modal logic with provability interpretations
Theoria | 1981-01-01 | Paper |
Provability in arithmetic and a schema of Grzegorczyk
Fundamenta Mathematicae | 1980-01-01 | Paper |
Omega-consistency and the diamond
Studia Logica | 1980-01-01 | Paper |
Provability, truth, and modal logic
Journal of Philosophical Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3663091 (Why is no real title available?) | 1980-01-01 | Paper |
Reflection principles and iterated consistency assertions
Journal of Symbolic Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3635994 (Why is no real title available?) | 1979-01-01 | Paper |
On deciding the truth of certain statements involving the notion of consistency
Journal of Symbolic Logic | 1977-01-01 | Paper |
On deciding the provability of certain fixed point statements
Journal of Symbolic Logic | 1977-01-01 | Paper |
On Kalmar's consistency proof and a generalization of the notion of ω-consistency
Archiv für Mathematische Logik und Grundlagenforschung | 1975-01-01 | Paper |
Arithmetical Functions and Minimalization
Mathematical Logic Quarterly | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3467029 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3402614 (Why is no real title available?) | 1973-01-01 | Paper |
On the Semantics of the Constructible Levels
Mathematical Logic Quarterly | 1970-01-01 | Paper |
A proof of the Löwenheim-Skolem theorem
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
Degrees of unsolvability of constructible sets of integers
Journal of Symbolic Logic | 1968-01-01 | Paper |
