Decorated linear order types and the theory of concatenation

MaRDI QIDQ3079690zbMATH OpenFDO

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

Publication date 2 March 2011

Mathematics Subject Classification ID

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

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

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)