On the Performance of Axiom Systems

DOI10.1007/978-3-030-77799-9_3MaRDI QIDQ5055280zbMATH OpenOpenAlexFDO

Authors Wolfram Pohlers

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

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Proofs, Programs and Abstract Complexity
• Proof theory and ordinal analysis
• scientific article; zbMATH DE number 432700
• Theories and ordinals in proof theory
• scientific article; zbMATH DE number 5057388

Cites work

• A simplification of the Bachmann method for generating large countable ordinals
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Applications of cut-free infinitary derivations to generalized recursion theory
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Elementary induction on abstract structures
• Feferman on foundations. Logic, mathematics, philosophy
• From subsystems of analysis to subsystems of set theory
• How to characterize provably total functions by local predicativity
• scientific article; zbMATH DE number 432702 (Why is no real title available?)
• scientific article; zbMATH DE number 4079410 (Why is no real title available?)
• scientific article; zbMATH DE number 1215496 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 922625 (Why is no real title available?)
• scientific article; zbMATH DE number 2204757 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• scientific article; zbMATH DE number 3346319 (Why is no real title available?)
• scientific article; zbMATH DE number 3397511 (Why is no real title available?)
• Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Iterated inductive definitions revisited
• Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
• On nonmonotone inductive definability
• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions
• Proof theory. The first step into impredicativity
• Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
• Semi-formal calculi and their applications
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(3)

• scientific article; zbMATH DE number 3941556 (Why is no real title available?)
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• Hilbert’s Axiomatisches Denken

This page was built for publication: On the Performance of Axiom Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055280)