Pages that link to "Item:Q3039341"

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

Displayed 5 items.

• 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)
• Reflecting on incompleteness (Q3981446) ‎ (← links)
• The role of parameters in bar rule and bar induction (Q3984445) ‎ (← links)