When is scalar multiplication decidable?
Logic
2019-03-25 v2
Authors:
Philipp Hieronymi
Abstract
Let K be a subfield of R. The theory of R viewed as an ordered K-vector space and expanded by a predicate for Z is decidable if and only if K is a real quadratic field.
Cite
@article{arxiv.1505.08055,
title = {When is scalar multiplication decidable?},
author = {Philipp Hieronymi},
journal= {arXiv preprint arXiv:1505.08055},
year = {2019}
}
Related papers
View all related →
Logic · Mathematics
A Cobham theorem for scalar multiplication
Philipp Hieronymi, Sven Manthe, Chris Schulz
2024-07-23
Logic · Mathematics
Linear theories of global fields with absolute values
Arno Fehm, Pierre Touchard
2026-03-27
Logic · Mathematics
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
Grant Olney Passmore
2015-06-17
Logic · Mathematics
The decision problem for normed spaces over any class of ordered fields
Rob Arthan
2011-05-03
Logic · Mathematics
Definability and Decidability in Infinite Algebraic Extensions
Alexandra Shlapentokh, Carlos Videla
2011-05-16
Logic · Mathematics
Computable Categoricity for Algebraic Fields with Splitting Algorithms
Russell Miller, Alexandra Shlapentokh
2018-02-12
Logic · Mathematics
Theory of square-like abelian groups is decidable
Oleg Belegradek
2007-05-23
Logic · Mathematics
Vector spaces with a union of independent subspaces
Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
2025-03-14
Logic · Mathematics
Characterizing decidability in a quasianalytic setting
Daniel J. Miller
2010-08-18
Logic · Mathematics
Decidability of theories of modules over tubular algebras
Lorna Gregory
2024-12-23
Logic · Mathematics
Definability and decidability in expansions by generalized Cantor sets
William Balderrama, Philipp Hieronymi
2017-01-31
Number Theory · Mathematics
On the Divisibility of Class Numbers of Cubic Number Fields with Discriminants in a Prescribed Rational Quadratic Class
Ivan Chipchakov, Kalin Kostadinov
2007-05-23
Logic · Mathematics
Characterizing relative decidability in terms of model completeness
Matthew Harrison-Trainor, Liam Tan
2026-04-21
Number Theory · Mathematics
On indefinite and potentially universal quadratic forms over number fields
Fei Xu, Yang Zhang
2021-11-02
Logic · Mathematics
Interpreting the projective hierarchy in expansions of the real line
Philipp Hieronymi, Michael Tychonievich
2015-10-13
Logic · Mathematics
Expansions of subfields of the real field by a discrete set
Philipp Hieronymi
2011-12-23
Number Theory · Mathematics
A collage of results on the divisibility and indivisibility of class numbers of quadratic fields
Srilakshmi Krishnamoorthy, Sunil Kumar Pasupulati, Muneeswaran R
2023-11-16
Number Theory · Mathematics
Universal Quadratic Forms and Indecomposables over Biquadratic Fields
Martin Čech, Dominik Lachman, Josef Svoboda, Magdaléna Tinková +1
2018-02-23
Combinatorics · Mathematics
Periodicity and decidability of tilings of $\mathbb{Z}^{2}$
Siddhartha Bhattacharya
2016-02-19
Number Theory · Mathematics
Sums of two units in number fields
Magdaléna Tinková, Robin Visser, Pavlo Yatsyna
2026-05-12
Logic · Mathematics
Decidability of definability issues in the theory of real addition
Alexis Bès, Christian Choffrut
2023-06-22
Logic · Mathematics
Interpretable fields in real closed valued fields and some expansions
Assaf Hasson, Ya'acov Peterzil
2021-05-11
Number Theory · Mathematics
Universality lifting from a general base field
Vitezslav Kala, Daejun Kim, Seok Hyeong Lee
2025-10-27
Logic · Mathematics
A strong version of Cobham's theorem
Philipp Hieronymi, Chris Schulz
2023-09-04
Commutative Algebra · Mathematics
Computing Constraint Sets for Differential Fields
Russell Miller, Alexey Ovchinnikov, Dmitry Trushin
2014-04-15