Decision problems for multiple successor arithmetics

DOI10.2307/2269809MaRDI QIDQ5519896zbMATH OpenOpenAlexFDO

Authors James W. Thatcher

Publication date 1966

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2269809

zbMATH Keywords

mathematical logic

Cites work

• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(4)

• Presburgerness of predicates regular in two number systems
• Joining k- and l-recognizable sets of natural numbers
• Quantifier-free induction for lists
• The decision problem for some logics for finite words on infinite alphabets

This page was built for publication: Decision problems for multiple successor arithmetics

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