A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
From MaRDI portal
Publication:556528
DOI10.1023/B:MATN.0000043461.68759.1dzbMath1080.03022OpenAlexW2069835691MaRDI QIDQ556528
Publication date: 21 June 2005
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:matn.0000043461.68759.1d
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Model theory of ordered structures; o-minimality (03C64)
Related Items (3)
On inflationary fix-point operators safety ⋮ Pseudofinite homogeneity, isolation, and reducibility ⋮ Sufficient conditions for effective translation of locally generic queries
This page was built for publication: A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
