Pages that link to "Item:Q1006608"

The following pages link to Injecting uniformities into Peano arithmetic (Q1006608):

Displaying 14 items.

• A functional interpretation for nonstandard arithmetic (Q714729) (← links)
• A note on non-classical nonstandard arithmetic (Q1715475) (← links)
• Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
• Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• The abstract type of the real numbers (Q2238151) (← links)
• On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
• Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
• A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω (Q2921035) (← links)
• BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
• A Rate of Metastability for the Halpern Type Proximal Point Algorithm (Q4985187) (← links)
• (Q5026396) (← links)
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
• Hardwiring truth in functional interpretations (Q6041142) (← links)