scientific article; zbMATH DE number 432700
From MaRDI portal
Publication:3138827
Recommendations
Cited in
(21)- Some results on cut-elimination, provable well-orderings, induction and reflection
- Dynamic ordinal analysis
- Proof theory. An introduction
- Mathematical proof theory in the light of ordinal analysis
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
- On lattices from combinatorial game theory: infinite case
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
- Theories and ordinals in proof theory
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- scientific article; zbMATH DE number 440486 (Why is no real title available?)
- Proofs, Programs and Abstract Complexity
- scientific article; zbMATH DE number 1870411 (Why is no real title available?)
- scientific article; zbMATH DE number 1390277 (Why is no real title available?)
- A Glimpse of $$ \sum_{3} $$-elementarity
- On the Performance of Axiom Systems
- Semi-formal calculi and their applications
- Theories and Ordinals: Ordinal Analysis
- scientific article; zbMATH DE number 5057388 (Why is no real title available?)
- A simplified ordinal analysis of first-order reflection
- Two applications of analytic functors
- The Art of Measuring the Strength of Theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138827)
