The role of parameters in bar rule and bar induction

DOI10.2307/2274713zbMATH Open0736.03024OpenAlexW1976927494MaRDI QIDQ3984445FDOQ3984445

Authors: Michael Rathjen 

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274713

Recommendations

• On parameter free induction schemas
• scientific article; zbMATH DE number 1088194
• Bar induction and \(\omega\) model reflection
• Well-ordering principles and bar induction
• Bar induction. The good, the bad, and the ugly

zbMATH Keywords

parameterscomprehensionbar inductiontransfinite inductionbar ruleprimitive recursive relation

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Title not available (Why is that?)
• Proof theory
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Countable algebra and set existence axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Title not available (Why is that?)

Cited In (9)

• Relative Truth Definability of Axiomatic Truth Theories
• The Veblen functions for computability theorists
• An ordinal analysis for theories of self-referential truth
• Unfolding Schematic Systems
• Reverse mathematics and well-ordering principles: a pilot study
• On Fraïssé's conjecture for linear orders of finite Hausdorff rank
• The unfolding of non-finitist arithmetic
• AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS
• Second order theories with ordinals and elementary comprehension

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)