Constructive Logic Versus Algebraization I
- 1 January 1982
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- How to solve a quadratic equation in integersMathematical Proceedings of the Cambridge Philosophical Society, 1981
- The solubility of certain decision problems in arithmetic and algebraBulletin of the American Mathematical Society, 1979
- Integer points on curves of genus 1Mathematical Proceedings of the Cambridge Philosophical Society, 1970
- Diophantine Equations with Special Reference To Elliptic CurvesJournal of the London Mathematical Society, 1966
- The Role of Algebraic Topology in MathematicsJournal of the London Mathematical Society, 1966
- On Mahler's classification of transcendental numbersActa Mathematica, 1964
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)Proceedings of the National Academy of Sciences, 1957
- Rational approximations to algebraic numbersMathematika, 1955
- Axiomatic characterization of fields by the product formula for valuationsBulletin of the American Mathematical Society, 1945