Decorated linear order types and the theory of concatenation

zbMATH Open1244.03162MaRDI QIDQ3079690FDOQ3079690

Authors: Vedran Čačić, Pavel Pudlák, Greg Restall, Alasdair Urquhart, Albert Visser 

Publication date: 2 March 2011

Recommendations

• On interpretability in the theory of concatenation
• Weak theories of concatenation and arithmetic
• Growing commas. A study of sequentiality and concatenation
• Relatives of Robinson arithmetic
• Arithmetic on semigroups

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Relative consistency and interpretations (03F25)

Cited In (2)

• Weak theories of concatenation and arithmetic
• A Logical Autobiography

This page was built for publication: Decorated linear order types and the theory of concatenation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079690)