The additive structure of integers with the lower Wythoff sequence

&
Archive for Mathematical Logic 62 (1):225-237 (2023)
  Copy   BIBTEX

Abstract

We have provided a model-theoretic proof for the decidability of the additive structure of integers together with the function f mapping x to $$\lfloor \varphi x\rfloor $$ where $$\varphi $$ is the golden ratio.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-022-00846-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Definability and decidability issues in extensions of the integers with the divisibility predicate.Patrick Cegielski, Yuri Matiyasevich & Denis Richard - 1996 - Journal of Symbolic Logic 61 (2):515-540.
On the Additive Group Structure of the Nonstandard Models of the Theory of Integers.Hasan Dalgin, Labib Haddad & Mehmet Terziler - 2002 - Mathematical Logic Quarterly 48 (3):403-412.
Uniform distribution and algorithmic randomness.Jeremy Avigad - 2013 - Journal of Symbolic Logic 78 (1):334-344.
The additive groups of and with predicates for being square-free.Neer Bhardwaj & Chieu-Minh Tran - 2021 - Journal of Symbolic Logic 86 (4):1324-1349.
Discounting Desirable Gambles.Gregory Wheeler - 2021 - Proceedings of Machine Learning Research 147:331-341.
An additive representation on the product of complete, continuous extensive structures.Yutaka Matsushita - 2010 - Theory and Decision 69 (1):1-16.
A General Setting for Dedekind's Axiomatization of the Positive Integers.George Weaver - 2011 - History and Philosophy of Logic 32 (4):375-398.
Dedekind's 1871 version of the theory of ideals.Jeremy Avigad - manuscript
The number of certain integral polynomials and nonrecursive sets of integers, part.Harvey Friedman - manuscript
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility.Denis Richard - 1985 - Journal of Symbolic Logic 50 (4):927-935.
Lecture notes on enormous integers.Harvey Friedman - manuscript
Applications of nonstandard analysis in additive number theory.Renling Jin - 2000 - Bulletin of Symbolic Logic 6 (3):331-341.
Effect of sequence structure on recall.Barry J. Schwartz, Daniel S. Lordahl & Blase Gambino - 1973 - Journal of Experimental Psychology 98 (1):212.
Filters with infinitely many components.Abner Shimony - 1971 - Foundations of Physics 1 (4):325-328.
Extension of relatively |sigma-additive probabilities on Boolean algebras of logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.

Analytics

Added to PP
2022-09-07

Downloads
17 (#811,313)

6 months
15 (#140,820)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

When is scalar multiplication decidable?Philipp Hieronymi - 2019 - Annals of Pure and Applied Logic 170 (10):1162-1175.

Add more references