The role of parameters in bar rule and bar induction
From MaRDI portal
(Redirected from Publication:3984445)
Recommendations
Cites work
- Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
- Countable algebra and set existence axioms
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 4039890 (Why is no real title available?)
- scientific article; zbMATH DE number 193575 (Why is no real title available?)
- scientific article; zbMATH DE number 3577197 (Why is no real title available?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Proof theory
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
Cited in
(11)- Reverse mathematics and well-ordering principles: a pilot study
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank
- Bar induction and model reflection
- The unfolding of non-finitist arithmetic
- Second order theories with ordinals and elementary comprehension
- An ordinal analysis for theories of self-referential truth
- The Veblen functions for computability theorists
- Relative Truth Definability of Axiomatic Truth Theories
- Unfolding schematic systems
- AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS
- A classification of incompleteness statements
This page was built for publication: The role of parameters in bar rule and bar induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3984445)
