Skolem, Th. 1887-1963
Skolem, Thoralf, 1887-1963
Skolem, Th. (Thoralf), 1887-1963
Thoralf Albert Skolem
Skolem, Thoralf (Thoralf Albert), 1887-1963
Skolem, Thoralf
Skolem, Th. (Thoralf)
VIAF ID: 59868919 ( Personal )
Permalink: http://viaf.org/viaf/59868919
Preferred Forms
-
- 100 1 _ ‡a Skolem, Th ‡d 1887-1963
-
-
- 100 1 _ ‡a Skolem, Th. ‡d 1887-1963
- 100 1 _ ‡a Skolem, Th. ‡q (Thoralf)
- 100 1 _ ‡a Skolem, Th. ‡q (Thoralf), ‡d 1887-1963
-
-
-
-
-
- 100 1 _ ‡a Skolem, Thoralf, ‡d 1887-1963
- 100 1 _ ‡a Skolem, Thoralf, ‡d 1887-1963
- 100 0 _ ‡a Thoralf Albert Skolem
4xx's: Alternate Name Forms (43)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Abstract set theory. | |
Anzahl der Wurzeln der Kongruenz x3+ax+b=o [mod p] für die verschiedenen Paare a, b | |
Begründung der elementaren arithmetik : durch die rekurrierende denkwe ise ohne anwendung scheinbarer veränderichen mit unendlichem ausdehnungsbereich | |
Bericht über die nachgelassenen Schriften L. Sylows | |
Consideraciones sobre los fundamentos de la matematica | |
En del kombinatoriske undersøkelser samt en enkel bevismetode for kvadratiske resiprositetssatser | |
Diophantische Gleichungen | |
einfacher Beweis der sogenannten Zählertransformationsformel der Jacobischen Symbole | |
Einige Reduktionen des Entscheidungsproblems | |
Einige Sätze über Polynome | |
elementares Verfahren zur Herleitung der quadratischen Reziprozitätsgesetze in algebraischen Zahlkörpern | |
Una exposición de la teoría de los numeros algebraicos | |
Forelesninger i mengdelære | |
Geschlechter und Reziprozitätssätze | |
Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem | |
Lehrbuch der Combinatorik | |
Lösung gewisser Gleichungen in ganzen algebraischen Zahlen insbesondere in Einheiten | |
Ludvig Sylow og hans betydning for matematikken | |
Ludvig Sylow und seine wissenschaftlichen Arbeiten | |
Den matematiske logikk og aritmetikken | |
Mathematical interpretation of formal systems | |
Une méthode énumérative de la géométrie | |
Nogen additiv-tallteoretiscke betragtninger | |
On some combinatorial Problems | |
Proof of the quadratic law of reciprocity with proofs of two so-called "Ergänzungssätze" | |
Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique] | |
Recursive Enumeration of some classes of primitive recursive functions and a majorisation theorem | |
A remark on the equation z<gresk>²-d<gresk>r<gresk>'²=1,d<gresk>]0,d<gresk>',d<gresk>'', ..[O, where d<gresk>,z<gresk>,h<gresk> belong to a total real number field | |
Særtrykk | |
Selected works in logic. | |
simple Proof of a theorem concerning diophantine approximations | |
Solutions of the equation axy + bx + cy + d = 0 in algebraic integers | |
A theorem on some semi-groups | |
A theorem on the equation zêta2 - delta éta2 = 1 : where delta, zêta, êta are integers in an imaginary quadratic field | |
The theory of models : proceedings of the 1963 International symposium at Berkeley | |
Über die Erfüllbarkeit gewisser Zählausdrücke | |
Über die Ganzen x, für welche ein Polynom P (ux, ux+1, ..., u^x+h)=O ist, wenn u eine gegebene lineare rekurrente Gleichung befriedigt | |
Über die ganzzahlige Lösbarkeit einiger inhomogener quadratischer Gleichungen mit mehreren Unbekannten | |
Über die Lösbarkeit gewisser linearen Gleichungen im Bereiche der ganzwertigen Polynome | |
Über die symmetrisch allgemeinen Lösungen im identischen Kalkul | |
Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystem | |
Über die Zurückführbarkeit einiger durch Rekursionen definierter Relationen auf "arithmetische" | |
Über dinige besondere Tripelsystems mit Anwendung auf die Reproduktion gewisser Quadratsummen bei Multiplikation | |
Über eine Eigenschafte der Menge aller grössten gemeinsamen Teiler von Polynomen für ganze Werte der Variablen | |
Über einige Grundlagenfragen der Mathematik | |
Über einige Satzfunktionen in der Arithmetik | |
Über gewisse "Verbände" oder "Lattices" | |
Über Nebenkörper und Nebenringe | |
Ubestemte lineære ligninger og ligningssystemer | |
Undersøkelser over potensrester og over logisk karak-terisering av tallrekken | |
Unløsbarkeit von Gleichungen, deren entsprechende Kongruenz fyr jeden Modul løsbar ist | |
Untersuchungen über einige Klassen kombinatorischer Probleme | |
Utvalg | |
Utvalgte kapitler av den matematiske logikk : (efter forelesninger ved Universitetet i Oslo i månedene januar, februar og mai 1936) | |
Verallgemeinerungen der Betti-Guidiceschen Formel | |
Verfahren zu beliebig angenäherter Bestimmung einer Wurzel einer beliebigen algebraischen Gleichung | |
Zur Theorie der assoziativen Zahlensysteme | |
Zwei Sätze über kubische Kongruenzen |