A weak first-order theory of sequences

DOI10.1007/978-3-031-64309-5_31MaRDI QIDQ7030890zbMATH OpenFDO

Authors Lars Kristiansen, Juvenal Murwanashyaka

Publication date 7 February 2025

Full work available at URL http://hdl.handle.net/10852/111658

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Cites work

• A lattice of chapters of mathematics (interpretations between theorems [theories])
• Growing commas. A study of sequentiality and concatenation
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
• MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
• On interpretability between some weak essentially undecidable theories
• Pairs, sets and sequences in first-order theories
• Undecidability without arithmetization
• Weak essentially undecidable theories of concatenation
• Weak sequential theories of finite full binary trees

Cited in

(1)

• On elementary theories of weighted and labelled trees

This page was built for publication: A weak first-order theory of sequences

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