The following pages link to Th. Skolem (Q766512):
Displayed 50 items.
- Über eine Eigenschaft der Menge aller größten gemeinsamen Teiler von Polynomen für ganze Werte der Variablen. (Q2598742) (← links)
- Über die Zurückführbarkeit einiger durch Rekursionen definierter Relationen auf ``arithmetische''. (Q2601634) (← links)
- Eine Bemerkung zum Entscheidungsproblem. (Q2601661) (← links)
- Über die Lösbarkeit gewisser linearer Gleichungen im Bereiche der ganzwertigen Polynome. (Q2601699) (← links)
- Forklaring til foranstående avhandling av L.~Kalmár. (Q2603367) (← links)
- Sätze über ganzwertige Polynome. (Q2604351) (← links)
- Zwei Sätze über kubische Kongruenzen. (Q2604478) (← links)
- Anwendung exponentieller Kongruenzen zum Beweis der Unlösbarkeit gewisser diophantischer Gleichungen. (Q2604479) (← links)
- Über die ganzzahlige Lösbarkeit einiger inhomogener quadratischer Gleichungen mit mehreren Unbekannten. (Q2604499) (← links)
- Linear indeterminate equations and systems of such equations. (Q2604506) (← links)
- Ein Satz über die Erfüllbarkeit von einigen Zählausdrücken der Form \newline \((x) (Ey_1, \dots, y_n) K_1 (x, y_1, \dots, y_n) \;\& \;(x_1, x_2, x_3) K_2 (x_1, x_2, x_3)\). (Q2605694) (← links)
- Einige Reduktionen des Entscheidungsproblems. (Q2608911) (← links)
- Ein Satz über ganzwertige Polynome. (Q2608993) (← links)
- Über gewisse Verbände oder ``lattices''. (Q2609056) (← links)
- Utvalgte kapitler av den matematiske logikk. Deutsche Zusammenfassung: Auserwählte Kapitel der mathematischen Logik. (Q2610715) (← links)
- Lösung gewisser Gleichungen in ganzen algebraischen Zahlen. (Q2611700) (← links)
- Einige Sätze über \(p\)-adische Potenzreihen mit Anwendung auf gewisse exponentielle Gleichungen. (Q2611701) (← links)
- Ein Satz über Zählausdrücke. (Q2614108) (← links)
- Nogen additiv-tallteoretiske betraktninger. (Q2614452) (← links)
- Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen. (Q2614491) (← links)
- Om heltallig løsbarhet av visse ligninger og ligningssystemer. (Q2614492) (← links)
- Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. (Q2616511) (← links)
- Den matematiske grunnlagforskning. (Q2619854) (← links)
- Über die ganzzahlige Lösbarkeit einiger diophantischer Gleichungen. (Q2620124) (← links)
- Lösung gewöhnlicher Gleichungen in ganzen algebraischen Zahlen, insbesondere in Einheiten. (Q2620160) (← links)
- En methode til behandling av ubestemte ligninger. (Q2620161) (← links)
- Ludvig Sylow und seine wissenschaftlichen Arbeiten. (Q2621299) (← links)
- Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems. (Q2621426) (← links)
- Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem. (Q2621427) (← links)
- Opgave 17. (Q2622646) (← links)
- Ein allgemeines quadratisches Reziprozitätsgesetz in denjenigen algebraischen Zahlkörpern, worin \(2\) voll zerfällt. (Q2622844) (← links)
- Einige Sätze über gewisse Reihenentwicklungen und exponentiale Beziehungen mit Anwendung auf diophantische Gleichungen. (Q2624418) (← links)
- Undersøkelser over potensrester og over logisk karakterisering av tallrekken. (Q2624431) (← links)
- Investigations on a comprehesnion axiom without negation in the defining propositional functions (Q2625695) (← links)
- (Q3226735) (← links)
- (Q3230362) (← links)
- (Q3233257) (← links)
- (Q3237144) (← links)
- (Q3241196) (← links)
- Two remarks on set theory (Q3246550) (← links)
- On certain distributions of integers in pairs with given differences (Q3253888) (← links)
- (Q3253890) (← links)
- (Q3257759) (← links)
- The Diophantine Equation 2 n+2 - 7 = x 2 and Related Problems (Q3264284) (← links)
- Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. (Q3267399) (← links)
- REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS (Q3269133) (← links)
- Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet (Q3272471) (← links)
- A Set Theory Based on a Certain 3-Valued Logic. (Q3274969) (← links)
- (Q3274972) (← links)
- (Q3279364) (← links)