Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khani, Mohsen, Valizadeh, Ali N., Zarei, Afshin
Format:	Preprint
Published:	2021
Subjects:	Logic Primary 03B25, Secondary 03C10, 11U09, 11U05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2110.01673