Pages that link to "Item:Q1899146"
From MaRDI portal
The following pages link to Understanding uniformity in Feferman's explicit mathematics (Q1899146):
Displaying 6 items.
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- A theory of rules for enumerated classes of functions (Q1805407) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Uniform perfectness for interval exchange transformations with or without flips (Q2675330) (← links)
- (Q4650582) (← links)