Pages that link to "Item:Q3039341"

The following pages link to Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis (Q3039341):

Displaying 7 items.

• From hierarchies to well-foundedness (Q481873) (← links)
• Fragments of arithmetic (Q762484) (← links)
• The machinery of consistency proofs (Q1124588) (← links)
• The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• Reflecting on incompleteness (Q3981446) (← links)
• The role of parameters in bar rule and bar induction (Q3984445) (← links)