Robinson, Julia Definability and decision problems in arithmetic. (English) Zbl 0034.00801 J. Symb. Log. 14, 98-114 (1949). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 8 ReviewsCited in 120 Documents Keywords:Philosophy and foundations of mathematics × Cite Format Result Cite Review PDF Full Text: DOI References: [1] Monatshefte für Mathematik und Physik 38 pp 173– (1931) [2] A note on the Entscheidungsproblem 1 pp 40– (1936) · JFM 62.1058.04 [3] DOI: 10.2307/2371045 · Zbl 0014.09802 · doi:10.2307/2371045 [4] DOI: 10.1215/S0012-7094-47-01439-7 · Zbl 0029.24901 · doi:10.1215/S0012-7094-47-01439-7 [5] Journal für die reine und angewandte Mathematik 152 pp 129– (1923) [6] Extensions of some theorems of Gödel and Church 1 pp 87– (1936) [7] Studia philosophica 1 pp 261– (1935) [8] Comptes rendus du I Congris des Pays Slaves (1929) [9] Comptes rendus du 2-e Congrès International des Mathématiciens pp 249– (1902) [10] New investigations on the completeness of deductive theories (abstract) 4 pp 176– (1939) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.