- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The additive structure of integers with the lower Wythoff sequence
Archive for Mathematical Logic 62 (1):225-237 (2023)
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.My notes
Similar books and articles
Euler's $\varphi$ -function in the context of ${\rm I}\Delta_0$.Marc Jumelet - 1995 - Archive for Mathematical Logic 34 (3):197-209.
The Bachmann-Howard Structure in Terms of Σ1-Elementarity.Gunnar Wilken - 2006 - Archive for Mathematical Logic 45 (7):807-829.
A computably stable structure with no Scott family of finitary formulas.Peter Cholak, Richard A. Shore & Reed Solomon - 2006 - Archive for Mathematical Logic 45 (5):519-538.
Pointwise complexity of the derivative of a computable function.Ethan McCarthy - 2021 - Archive for Mathematical Logic 60 (7):981-994.
An inner model theoretic proof of Becker’s theorem.Grigor Sargsyan - 2019 - Archive for Mathematical Logic 58 (7-8):999-1003.
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.
A note on da Costa-Doria “exotic formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
Linear orders with distinguished function symbol.Douglas Cenzer, Barbara F. Csima & Bakhadyr Khoussainov - 2009 - Archive for Mathematical Logic 48 (1):63-76.
On superstable generic structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5):591-600.
Analytics
Added to PP
2022-09-07
Downloads
20 (#792,731)
6 months
16 (#172,129)
2022-09-07
Downloads
20 (#792,731)
6 months
16 (#172,129)
Historical graph of downloads
References found in this work
There are no intermediate structures between the group of integers and Presburger arithmetic.Gabriel Conant - 2018 - Journal of Symbolic Logic 83 (1):187-207.
Expansions of the ordered additive group of real numbers by two discrete subgroups.Philipp Hieronymi - 2016 - Journal of Symbolic Logic 81 (3):1007-1027.
When is scalar multiplication decidable?Philipp Hieronymi - 2019 - Annals of Pure and Applied Logic 170 (10):1162-1175.
Decidability and classification of the theory of integers with primes.Itay Kaplan & Saharon Shelah - 2017 - Journal of Symbolic Logic 82 (3):1041-1050.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-hhxx8 uwo