×

zbMATH — the first resource for mathematics

Definability and decision problems in arithmetic. (English) Zbl 0034.00801

PDF BibTeX XML Cite
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.