On the Performance of Axiom Systems
From MaRDI portal
Publication:5055280
DOI10.1007/978-3-030-77799-9_3OpenAlexW4296129466MaRDI QIDQ5055280
Publication date: 13 December 2022
Published in: Axiomatic Thinking II (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-77799-9_3
Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory. The first step into impredicativity
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Elementary induction on abstract structures
- Applications of cut-free infinitary derivations to generalized recursion theory
- Feferman on foundations. Logic, mathematics, philosophy
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
- From Subsystems of Analysis to Subsystems of Set Theory
- On nonmonotone inductive definability
- A simplification of the Bachmann method for generating large countable ordinals
- A Uniform Approach to Fundamental Sequences and Hierarchies
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- How to characterize provably total functions by local predicativity
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
- Iterated Inductive Definitions Revisited
- Semi-Formal Calculi and Their Applications
This page was built for publication: On the Performance of Axiom Systems
