When is scalar multiplication decidable?

DOI10.1016/j.apal.2019.05.001zbMath1446.03029arXiv1505.08055OpenAlexW2963357655WikidataQ127945116 ScholiaQ127945116MaRDI QIDQ2311210

Philipp Hieronymi

Publication date: 10 July 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.08055

zbMATH Keywords

decidabilitydefinabilityscalar multiplicationexpansions of real ordered additive groups

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Other number representations (11A67) Model theory of ordered structures; o-minimality (03C64)

Related Items (7)

Decidability of Definability Issues in the Theory of Real Addition ⋮ Unnamed Item ⋮ The additive structure of integers with the lower Wythoff sequence ⋮ Pairs of theories satisfying a Mordell–Lang condition ⋮ How to avoid a compact set ⋮ A tetrachotomy for expansions of the real ordered additive group ⋮ Unnamed Item

Cites Work

• Logical number theory I. An introduction
• EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
• Interpreting the projective hierarchy in expansions of the real line
• Defining the set of integers in expansions of the real field by a closed discrete set
• The Büchi Complementation Saga
• Expansions of dense linear orders with the intermediate value property
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Pairs of theories satisfying a Mordell–Lang condition
• An effective decision procedure for linear arithmetic over the integers and reals
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: When is scalar multiplication decidable?