| Publication | Date of Publication | Type |
|---|
Short note: least fixed points versus least closed points
Archive for Mathematical Logic | 2021-10-29 | Paper |
From mathesis universalis to fixed points and related set-theoretic concepts
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Theories of proof-theoretic strength \(\psi(\Gamma_{\Omega+1})\)
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
| An infinitary treatment of full \(\mu\)-calculus | 2020-03-04 | Paper |
The operational penumbra: some ontological aspects
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| Operations, sets and classes | 2019-04-23 | Paper |
Truncation and semi-decidability notions in applicative theories
Journal of Symbolic Logic | 2018-10-26 | Paper |
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
Journal of Symbolic Logic | 2018-08-10 | Paper |
| scientific article; zbMATH DE number 6863657 (Why is no real title available?) | 2018-04-23 | Paper |
A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions
Gentzen's Centenary | 2017-09-27 | Paper |
Relativizing operational set theory
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Intuitionistic common knowledge or belief
Journal of Applied Logic | 2016-10-31 | Paper |
Explicit mathematics and operational set theory: some ontological comparisons
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
| About the strength of operational regularity | 2014-06-24 | Paper |
Operational closure and stability
Annals of Pure and Applied Logic | 2013-11-29 | Paper |
A Buchholz rule for modal fixed point logics
Logica Universalis | 2013-03-19 | Paper |
The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
| \(\Sigma^1_1\) choice in a theory of sets and classes | 2011-03-09 | Paper |
| Modal fixed point logics | 2010-12-13 | Paper |
Full operational set theory with unbounded existential quantification and power set
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
Canonical completeness of infinitary \(\mu \)
The Journal of Logic and Algebraic Programming | 2008-09-01 | Paper |
Cut-free common knowledge
Journal of Applied Logic | 2008-03-11 | Paper |
On Feferman's operational set theory \textsf{OST}
Annals of Pure and Applied Logic | 2007-12-12 | Paper |
Reflections on reflections in explicit mathematics
Annals of Pure and Applied Logic | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2204757 (Why is no real title available?) | 2005-09-12 | Paper |
About cut elimination for logics of common knowledge
Annals of Pure and Applied Logic | 2005-04-21 | Paper |
| scientific article; zbMATH DE number 2152230 (Why is no real title available?) | 2005-04-04 | Paper |
An intensional fixed point theory over first order arithmetic
Annals of Pure and Applied Logic | 2004-08-16 | Paper |
Variation on a theme of Schütte
Mathematical Logic Quarterly | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1870423 (Why is no real title available?) | 2003-02-18 | Paper |
Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
Annals of Pure and Applied Logic | 2003-01-07 | Paper |
Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
The Journal of Symbolic Logic | 2002-12-05 | Paper |
First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
The Journal of Symbolic Logic | 2002-07-14 | Paper |
Universes in explicit mathematics
Annals of Pure and Applied Logic | 2002-03-12 | Paper |
Fixed point theories and dependent choice
Archive for Mathematical Logic | 2001-03-13 | Paper |
| scientific article; zbMATH DE number 1418436 (Why is no real title available?) | 2000-12-26 | Paper |
Bar induction and model reflection
Annals of Pure and Applied Logic | 1999-09-22 | Paper |
The proof-theoretic analysis of transfinitely iterated fixed point theories
Journal of Symbolic Logic | 1999-09-16 | Paper |
| scientific article; zbMATH DE number 1215501 (Why is no real title available?) | 1998-10-26 | Paper |
Power types in explicit mathematics?
Journal of Symbolic Logic | 1998-07-20 | Paper |
| scientific article; zbMATH DE number 1070624 (Why is no real title available?) | 1997-10-07 | Paper |
Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
Annals of Pure and Applied Logic | 1997-08-19 | Paper |
Some theories with positive induction of ordinal strength <i>φω</i>0
Journal of Symbolic Logic | 1996-12-12 | Paper |
Second order theories with ordinals and elementary comprehension
Archive for Mathematical Logic | 1996-09-22 | Paper |
Totality in applicative theories
Annals of Pure and Applied Logic | 1996-03-05 | Paper |
| scientific article; zbMATH DE number 785048 (Why is no real title available?) | 1995-08-14 | Paper |
Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
Annals of Pure and Applied Logic | 1994-08-28 | Paper |
About some symmetries of negation
Journal of Symbolic Logic | 1994-08-15 | Paper |
Fixed points in Peano arithmetic with ordinals
Annals of Pure and Applied Logic | 1993-05-16 | Paper |
The defining power of stratified and hierarchical logic programs
The Journal of Logic Programming | 1993-05-16 | Paper |
About the proof-theoretic ordinals of weak fixed point theories
Journal of Symbolic Logic | 1993-04-01 | Paper |
Between constructive mathematics and PROLOG
Archive for Mathematical Logic | 1992-06-25 | Paper |
Annotations on the consistency of the closed world assumption
The Journal of Logic Programming | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4114596 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4134038 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4039890 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4026858 (Why is no real title available?) | 1986-01-01 | Paper |
Countable Admissible Ordinals and Dilators
Mathematical Logic Quarterly | 1986-01-01 | Paper |
A boundedness theorem in <b>ID</b><sub>1</sub>(<i>W</i>)
Journal of Symbolic Logic | 1986-01-01 | Paper |
A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
Mathematical Logic Quarterly | 1984-01-01 | Paper |
ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
Archiv für Mathematische Logik und Grundlagenforschung | 1984-01-01 | Paper |
The strength of admissibility without foundation
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3833954 (Why is no real title available?) | 1983-01-01 | Paper |
A well-ordering proof for Feferman's theoryT 0
Archiv für Mathematische Logik und Grundlagenforschung | 1983-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 3792154 (Why is no real title available?) | 1982-01-01 | Paper |
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
Archiv für Mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3702643 (Why is no real title available?) | 1980-01-01 | Paper |
Beweistheorie vonKPN
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3702644 (Why is no real title available?) | 1979-01-01 | Paper |
