Pages that link to "Item:Q3984445"
From MaRDI portal
The following pages link to The role of parameters in bar rule and bar induction (Q3984445):
Displaying 9 items.
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- The Veblen functions for computability theorists (Q3011121) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS (Q6123580) (← links)
