Decision problems for multiple successor arithmetics

DOI10.2307/2269809zbMath0144.00106OpenAlexW2009263768MaRDI QIDQ5519896

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

Related Items (3)

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

Cites Work

• Weak Second‐Order Arithmetic and Finite Automata

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