Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen
- 1 March 1956
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 2 (2-4) , 78-86
- https://doi.org/10.1007/bf01969993
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von MünsterMathematische Nachrichten, 1950
- On definable sets of positive integersFundamenta Mathematicae, 1947
- Recursively enumerable sets of positive integers and their decision problemsBulletin of the American Mathematical Society, 1944
- Recursive predicates and quantifiersTransactions of the American Mathematical Society, 1943
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931