Thoralf Skolem
#892
Most Influential Person Across History
Norwegian mathematician
Thoralf Skolem's AcademicInfluence.com Rankings
Download Badge
Mathematics
Why Is Thoralf Skolem Influential?
(Suggest an Edit or Addition)According to Wikipedia, Thoralf Albert Skolem was a Norwegian mathematician who worked in mathematical logic and set theory. Life Although Skolem's father was a primary school teacher, most of his extended family were farmers. Skolem attended secondary school in Kristiania , passing the university entrance examinations in 1905. He then entered Det Kongelige Frederiks Universitet to study mathematics, also taking courses in physics, chemistry, zoology and botany.
Thoralf Skolem's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen (1934) (199)
- On certain distributions of integers in pairs with given differences (1957) (186)
- Selected works in logic (1970) (105)
- Some Remarks on the Triple Systems of Steiner. (1958) (87)
- Einige Bemerkungen zu der Abhandlung von E. Zermelo: "Über die Definitheit in der Axiomatik" (70)
- Peano's Axioms and Models of Arithmetic (1955) (44)
- Über einige grundlagenfragen der mathematik (41)
- Studies on the axiom of comprehension (1963) (40)
- Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem (1933) (39)
- Mathematical Interpretation of Formal Systems (1957) (38)
- A Construction for Models of Consistent Systems. (1951) (32)
- A Set Theory Based on a Certain 3-Valued Logic. (1960) (29)
- Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet (1957) (25)
- Einige Sätze über gewisse Reihenentwicklungen und exponentiale Beziehungen mit Anwendung auf diophantische Gleichungen (1933) (20)
- Einige Sätze über π-adische Potenzreihen mit Anwendung auf gewisse exponentielle Gleichungen (1935) (17)
- The Diophantine equation 2 n+2 − 7 = x 2 and related problems (1959) (16)
- Two remarks on set theory (1957) (15)
- Proof of some theorems on recursively enumerable sets (1962) (14)
- Investigations on a comprehension axiom without negation in the defining propositional functions (1960) (14)
- Einige Bemerkungen über die Auffindung der rationalen Punkte auf gewissen algebraischen Gebilden (1955) (12)
- The diophantine equation 2ⁿ⁺²-7=² and related problems (1959) (12)
- Review: D. van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics (1948) (7)
- Abstract Set Theory (1962) (6)
- A New Version of Some Considerations of A. Thue. (1960) (5)
- Über die symmetrisch allgemeinen Lösungen im Klassenkalkul (1932) (5)
- Remarks on Proofs by Cyclotomic Formulas of Reciprocity Laws for Power Residues. (1961) (4)
- Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik (1957) (4)
- Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. (1958) (4)
- Uber Gewisse "Verbande" oder "Lattices." (1937) (4)
- Some considerations concerning recursive functions (1953) (4)
- Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie (1939) (4)
- Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen (1926) (3)
- Review: E. W. Beth, Observations Metamathematiques sur les Structures Simplement Ordonnees (1958) (3)
- Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory (1951) (2)
- Review: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory." (1951) (2)
- REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS (1958) (2)
- Ein allgemeines quadratisches Reziprozitätsgesetz in denjenigen algebraischen Zahlkörpern, worin 2 voll zerfällt (1933) (1)
- Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus (1958) (1)
- Mostowski Andrzej Correction to the paper “Some impredicative definitions in the axiomatic set-theory.” Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), p. 238. (1953) (1)
- Review: Laszlo Kalmar, Janos Suranyi, On the Decision Problem. Third Paper. Pepis Prefix, a Single Binary Predicate (1951) (1)
- Chapter XIII: The theory of Quine (1962) (0)
- Review: Irving M. Copilowish, Matrix Development of the Calculus of Relations (1949) (0)
- Review: Konrad Marc-Wogau, Modern Logic. An Elementary Text-Book (1952) (0)
- Andrzej Mostowski. Proofs of non-deducibility in intuitionistic functional calculus. The journal of symbolic logic , vol. 13 (1948), pp. 204–207. (1949) (0)
- Review: David Nelson, Constructible Falsity (1950) (0)
- Review: Andrzej Mostowski, Proofs of Non-Deducibility in Intuitionistic Functional Calculus (1949) (0)
- Turing Sara. Alan M. Turing . W. Heffer & Sons, Ltd., Cambridge 1959, xiv + 157 pp. (1960) (0)
- Rosser J. Barkley and Wang Hao. Non-standard models for formal logics. The journal of symbolic logic , vol. 15 (1950), pp. 113–129. See Errata, ibid., p. iv. (1951) (0)
- Chapter III: Axiomatic set theory; Axioms of Zermelo and Fraenkel (1962) (0)
- Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus . Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. (1958) (0)
- Review: John G. Kemeny, Undecidable Problems of Elementary Number Theory (1958) (0)
- Review: Alfred Tarski, A Problem Concerning the Notion of Definability (1948) (0)
- Title and Copyright Pages (1962) (0)
- Chapter X: The simple infinite sequence; Development of arithmetic (1962) (0)
- Van Dantzig D.. On the -principles of inluitionistic and affirmative mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences , vol. 50 (1947), pp. 918–929, 1092–1103; also Indagationes mathematicae, vol. 9 (1947), pp. 429–440, 506–517. (1948) (0)
- Review: Julia Robinson, Definability and Decision Problems in Arithmetic (1950) (0)
- Review: G. Kreisel, Some Remarks on the Foundations of Mathematics. An Expository Article (1954) (0)
- Copilowish Irving M.. Matrix development of the calculus of relations. The journal of symbolic logic, vol. 13 (1948), pp. 193–203. (1949) (0)
- Addendum to my article: "Proof of some theorems on recursively enumerable sets" (1963) (0)
- Chapter IV: The well-ordering theorem (1962) (0)
- Review: Karl Egil Aubert, An Exact Account and a Generalization of the Concept of Relation (1955) (0)
- Marc-Wogau. Konrad. Modern logik. Elementär lärobok. (Modern logic. An elementary text-book.) Ehlins Handböcker, Stockholm 1950, 211 pp. [With separate sheet of Rättelser (Corrections).] (1952) (0)
- Review: I. L. Novak, A Construction for Models of Consistent Systems (1951) (0)
- Chapter VII: On the exponentiation of alephs (1962) (0)
- Review: Laszlo Kalmar, On the Reduction of the Decision Problem. First Paper. Ackerman prefix, a single binary predicate (1939) (0)
- Chapter XVII: Mathematics without quantifiers (1962) (0)
- Mostowski Andrzej. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 111–124. (1951) (0)
- Chapter XVIII: The possibility of set theory based on many-valued logic (1962) (0)
- Review: Heinrich Behmann, Zu den Parallelreihentransformationen in Schroders "Algebra und Logik der Relative." (1955) (0)
- Chapter IX: The notions "finite" and "infinite" (1962) (0)
- Nagel Ernest and Newman James R.. Gödei's proof. New York University Press, New York 1958, ix + 118 pp. (1959) (0)
- Chapter XVI: Some remarks on intuitionist mathematics (1962) (0)
- Robinson Julia. Definability and decision problems in arithmetic. The journal of symbolic logic, Bd. 14 (1949) , pp. 98–114. (1950) (0)
- Chapter XIV: The ramified theory of types. Predicative set theory (1962) (0)
- Nelson David. Constructible falsity. The journal of symbolic logic, vol. 14 (1949), pp. 16–26. (1950) (0)
- Kreisel G.. Some remarks on the foundations of mathematics. An expository article. The mathematical gazette , vol. 35 (1951), pp. 23–28. (1954) (0)
- Chapter XV: Lorenzen's operative mathematics (1962) (0)
- Chapter VIII: Set representing ordinals (1962) (0)
- Review: Anders Wedberg, The New Logic (1948) (0)
- Chapter II: Ordered sets; A theorem of Hausdorff (1962) (0)
- Chapter VI: Some remarks on functions of ordinal numbers (1962) (0)
- Review: Ernest Nagel, James R. Newman, Godel's Proof (1959) (0)
- Chapter XII: The simple theory of types (1962) (0)
- Chapter 1: Historical remarks; Outlines of Cantor's theory (1962) (0)
- Chapter XI: Some remarks on the nature of the set-theoretic axioms; The set-theoretic relativism (1962) (0)
- Aubert Karl Egil. Om presisering og generalisering av relasjonsbegrepet (An exact account and a generalization of the concept of relation). Norsk matematisk tidsskrift, vol. 30 (1948), pp. 33–53. (1955) (0)
- Review: Jorgen Jorgensen, Introduction to Logic and Methodology (1947) (0)
- I. L. Novak. A construction for models of consistent systems. Fundamenta mathematicae , vol. 37 (for 1950, pub. 1951), pp. 87–110. (1951) (0)
- Reviews (1948) (0)
- Chapter V: Ordinals and alephs (1962) (0)
- Blanché Robert. L'axiomatique . Presses Universitaires de France, Paris 1955, title pages + 102 pp. (1958) (0)
This paper list is powered by the following services:
Other Resources About Thoralf Skolem
What Schools Are Affiliated With Thoralf Skolem?
Thoralf Skolem is affiliated with the following schools:
