| Publication | Date of Publication | Type |
|---|
A fixed point theory over stratified truth
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Reflecting and unfolding | 2022-10-28 | Paper |
| Truth and the philosophy of mathematics | 2022-10-09 | Paper |
About Truth and Types
Advances in Proof Theory | 2020-08-07 | Paper |
Feferman and the Truth
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| Conservativity of transitive closure over weak constructive operational set theory | 2014-06-24 | Paper |
Extending constructive operational set theory by impredicative principles
Mathematical Logic Quarterly | 2011-06-17 | Paper |
| Elementary constructive operational set theory | 2011-03-09 | Paper |
On Formal Proofs
Deduction, Computation, Experiment | 2010-01-11 | Paper |
| Fixed point constructions | 2009-02-24 | Paper |
| Constructive set theory with operations | 2008-04-14 | Paper |
| scientific article; zbMATH DE number 2222014 (Why is no real title available?) | 2005-11-02 | Paper |
Remarks on applicative theories
Annals of Pure and Applied Logic | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2152238 (Why is no real title available?) | 2005-04-04 | Paper |
The axiom of choice and combinatory logic
Journal of Symbolic Logic | 2005-02-09 | Paper |
Polytime, combinatory logic and positive safe induction
Archive for Mathematical Logic | 2003-09-16 | Paper |
The undecidability of Grišin's set theory
Studia Logica | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1870422 (Why is no real title available?) | 2003-02-18 | Paper |
| Feasible Operations and Applicative Theories Based on λη | 2001-07-04 | Paper |
| scientific article; zbMATH DE number 1163982 (Why is no real title available?) | 2000-09-20 | Paper |
Relating Quine's NF to Feferman's EM
Studia Logica | 1999-10-18 | Paper |
Uniform inseparability in explicit mathematics
Journal of Symbolic Logic | 1999-06-29 | Paper |
Asymmetric Interpretations for Bounded Theories
Mathematical Logic Quarterly | 1996-11-04 | Paper |
Logical frameworks for truth and abstraction. An axiomatic study
Studies in Logic and the Foundations of Mathematics | 1996-08-22 | Paper |
Levels of truth
Notre Dame Journal of Formal Logic | 1995-12-11 | Paper |
LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
Mathematical Logic Quarterly | 1994-08-21 | Paper |
Extending the first-order theory of combinators with self-referential truth
Journal of Symbolic Logic | 1993-10-24 | Paper |
A logic of abstraction related to finite constructive number classes
Archive for Mathematical Logic | 1991-01-01 | Paper |
A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
Journal of Symbolic Logic | 1990-01-01 | Paper |
Notes on Formal Theories of Truth
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4195909 (Why is no real title available?) | 1988-01-01 | Paper |
Two Impredicative Theories of Properties and Sets
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4021110 (Why is no real title available?) | 1987-01-01 | Paper |
On the relation between choice and comprehension principles in second order arithmetic
Journal of Symbolic Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3931004 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3983154 (Why is no real title available?) | 1985-01-01 | Paper |
Majorizing provably recursive functions in fragments of PA
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3889522 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3875271 (Why is no real title available?) | 1982-01-01 | Paper |
A note on three-valued logic and Tarski theorem on truth definitions
Studia Logica | 1980-01-01 | Paper |
On non-archimedean Structures of D. KLAUA
Mathematische Nachrichten | 1979-01-01 | Paper |
