Premium
Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace
Author(s) -
ErdélyiSzabó Miklós
Publication year - 1997
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19970430307
Subject(s) - decidability , constructive , mathematics , discrete mathematics , algebra over a field , pure mathematics , computer science , programming language , process (computing)
We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom