Pages that link to "Item:Q435240"

The following pages link to Weak theories of concatenation and arithmetic (Q435240):

Displaying 6 items.

• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
• Growing commas. A study of sequentiality and concatenation (Q1038605) (← links)
• On interpretability in the theory of concatenation (Q1038606) (← links)
• Weak essentially undecidable theories of concatenation (Q2085573) (← links)
• First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
• The strength of replacement in weak arithmetic (Q5277762) (← links)