Pages that link to "Item:Q3788005"
From MaRDI portal
The following pages link to Combinatorial principles concerning approximations of functions (Q3788005):
Displayed 6 items.
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- On principles between ∑1- and ∑2-induction, and monotone enumerations (Q3186059) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)