Pages that link to "Item:Q5404169"

The following pages link to Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169):

Displayed 7 items.

• Transductions in arithmetic (Q904144) ‎ (← links)
• Friedman-reflexivity (Q2159935) ‎ (← links)
• Algebraic combinatorics in bounded induction (Q2216029) ‎ (← links)
• Uniform density in Lindenbaum algebras (Q2258545) ‎ (← links)
• The arithmetics of a theory (Q2345393) ‎ (← links)
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) ‎ (← links)
• ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) ‎ (← links)