Pages that link to "Item:Q5278425"

The following pages link to The Logical Strength of Büchi's Decidability Theorem (Q5278425):

Displaying 2 items.

• A weak variant of Hindman's theorem stronger than Hilbert's theorem (Q1745357) (← links)
• Cyclic Arithmetic Is Equivalent to Peano Arithmetic (Q2988374) (← links)