AI & ChatGPT searches , social queries for THORALF
What is the name meaning of THORALF. Phrases containing THORALF
See name meanings and uses of THORALF!
What is the name meaning of THORALF. Phrases containing THORALF
See name meanings and uses of THORALF!THORALF
Name list
Thoralf is a given name. Notable people with the name include: Thoralf Arndt (born 1966), former professional German footballer Thoralf Glad (1878–1969)
Thoralf
Norwegian sailor
class. "Thoralf Glad". Olympedia. Retrieved 30 May 2021. Thoralf Glad at Olympics.com Thoralf Glad at databaseOlympics.com (archived) Thoralf Glad at
Thoralf_Glad
Norwegian coxswain
Thoralf Hagen (22 September 1887 – 7 January 1979) was a Norwegian rowing coxswain who competed in the 1920 Summer Olympics. In 1920 he won the bronze
Thoralf_Hagen
Norwegian mathematician
Thoralf Albert Skolem (Norwegian: [ˈtûːrɑɫf ˈskûːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic, set
Thoralf_Skolem
Norwegian footballer (1891-1951)
1912. "Thoralf Grubbe". Olympedia. Retrieved 1 September 2020. "Thoralf Grubbe". National Football Teams. Retrieved 1 September 2020. Thoralf Grubbe at
Thoralf_Grubbe
German painter
Thoralf Knobloch (born 1962 in Bautzen) is a German contemporary painter based in Dresden. In 1994 he completed his studies at the Hochschule für Bildende
Thoralf_Knobloch
Norwegian rower (1923–2020)
Thoralf William Sandaker (4 May 1923 – August 2020) was a Norwegian rower who competed in the 1948 Summer Olympics. He represented the club Christiania
Thoralf_Sandaker
Danish engineer
Thoralf Kyrre (28 December 1913 – 27 November 1960 in Copenhagen, Denmark) was a Danish engineer who was involved in the pro-German resistance movement
Thoralf_Kyrre
Norwegian male curler and coach
Thoralf Nettelhorst Hognestad (born 2 October 1962 in Stavanger) is a former Norwegian curler and curling coach. He is a 1989 European silver medallist
Thoralf_Hognestad
Norwegian satirical illustrator and actor
Thoralf Klouman (26 April 1890 – 17 May 1940) was a Norwegian satirical illustrator and actor. Thoralf Klouman was born in the village of Innvik in the
Thoralf_Klouman
Norwegian folklorist and archivist
Reidar Thoralf Christiansen (27 January 1886 – 22 July 1971) was a Norwegian folklorist, archivist of the Norwegian Folklore Collection (NFS) and professor
Reidar_Thoralf_Christiansen
Norwegian Nordic skier
Thoralf Strømstad (13 January 1897 – 10 January 1984) was a Norwegian Nordic skier who was awarded the Holmenkollen medal in 1923. Strømstad also earned
Thoralf_Strømstad
German rower (born 1968)
Thoralf Peters (born 13 January 1968 in Güstrow) is a German rower. Thoralf Peters at World Rowing Evans, Hilary; Gjerde, Arild; Heijmans, Jeroen; Mallon
Thoralf_Peters
Norwegian newspaper editor
Thoralf Pryser (10 August 1885 – 8 July 1970) was a Norwegian journalist and newspaper editor. Pryser was born in Drammen, a son of Gustav Fredrik Pryser
Thoralf_Pryser
Swedish politician
Ola Thoralf Alfsson (born 13 October 1957) is a Swedish blogger and former politician of the Sweden Democrats party who served as a member of the Riksdag
Thoralf_Alfsson
Norwegian human rights activist (1922–1986)
Thorolf Rafto (July 6, 1922 – November 4, 1986) was a human rights activist and professor of Economic History at the Norwegian School of Economics in Bergen
Thorolf_Rafto
Existence and cardinality of models of logical theories
existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. The precise formulation is given below. It implies that if a countable
Löwenheim–Skolem_theorem
Cardiac surgeon
Thoralf “Thor” Mauritz Sundt, III is an American cardiac surgeon who was the 97th president of the American Association for Thoracic Surgery (AATS), succeeding
Thoralf_M._Sundt,_III
Norwegian judge, civil servant and politician
Thoralf Johannes Irgens Evje (8 December 1902 – 4 September 1976) was a Norwegian judge, civil servant and politician for the Labour Party. He was born
Thoralf_Evje
Paradox in set theory
modified the logical language itself. The language of ZFC, with the help of Thoralf Skolem, turned out to be that of first-order logic. The paradox had already
Russell's_paradox
Norwegian politician
Reidar Thoralf Larsen (8 October 1923 – 16 February 2012) was a Norwegian politician. He was chairman of the Communist Party of Norway from 1965 to 1975
Reidar_T._Larsen
Norwegian alpine skier (1909–2005)
Winter Olympics. She was the younger sister of 1924 Winter Olympics skier Thoralf Strømstad. In 1936 she finished eleventh in the alpine skiing combined
Nora_Strømstad
Island of Antarctica
It was charted by Captain Petter Sørlle in 1912–13, and named after M. Thoralf Moe of Sandefjord, Norway, a contemporary whaling captain who worked in
Moe_Island
Mathematical logic
first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic contains only the multiplication
Skolem_arithmetic
Concept in set theory
theory (ZFC). The axiom was independently discovered and announced by Thoralf Skolem later in the same year (and published in 1923). Zermelo himself
Axiom_schema_of_replacement
pentathlon and fencing) Thorleif Haug (NOR) Johan Grøttumsbråten (NOR) Thoralf Strømstad (NOR) Oddbjørn Hagen (NOR) Heikki Hasu (FIN) Anfisa Reztsova (URS)
List of multiple Olympic medalists
List_of_multiple_Olympic_medalists
German wildlife filmmaker, director and film producer (born 1964)
breaks. While studying biology, Jens Westphalen met his fellow student Thoralf Grospitz. He began making his first nature films with him before he finished
Jens_Westphalen
US guided missile cruiser class
1" United States Naval Institute Proceedings July 1981 p.119 Doehring, Thoralf. "The TRUXTUN – class". Unofficial US Navy Site. Retrieved 13 January 2007
Belknap-class_cruiser
Finite ordered list of elements
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Tuple
called S3. 1920 - Thoralf Skolem proves the (downward) Löwenheim-Skolem theorem using the axiom of choice explicitly. 1922 - Thoralf Skolem proves a weaker
Timeline of mathematical logic
Timeline_of_mathematical_logic
CS1 maint: archived copy as title (link)[pages needed] Thomas Jansen; Thoralf Klein; Christian Meyer (21 March 2014). Globalization and the Making of
Family tree of Confucius in the main line of descent
Family_tree_of_Confucius_in_the_main_line_of_descent
Theorem characterizing the automorphisms of simple rings
theory of central simple algebras. The theorem was first published by Thoralf Skolem in 1927 in his paper Zur Theorie der assoziativen Zahlensysteme
Skolem–Noether_theorem
Theorem in formal logic
Mathematicians such as Gottlob Frege, Ernst Zermelo, Abraham Fraenkel, and Thoralf Skolem put much effort into revising set theory to eliminate these contradictions
Principle_of_explosion
Norwegian mathematician (1863–1922)
closely related to the halting problem. His only known PhD student was Thoralf Skolem. The esoteric programming language Thue is named after him. Thue
Axel_Thue
German footballer
Toralf Arndt, also known as Thoralf Arndt (born 8 November 1966) is a former professional German footballer. Arndt made 23 appearances in the 2. Bundesliga
Toralf_Arndt
Norwegian marine geologist
a volunteer in the Winter War on the Finnish side. Walløe, Lars. "Ivan Thoralf Rosenqvist". In Helle, Knut (ed.). Norsk biografisk leksikon (in Norwegian)
Ivan_Rosenqvist
German logician and mathematician (1871–1953)
original axioms, and the original numbering. In 1922, Abraham Fraenkel and Thoralf Skolem independently expanded Zermelo's axiom system, adding the axioms
Ernst_Zermelo
The zeros of a linear recurrence relation mostly form a regularly repeating pattern
is zero form a regularly repeating pattern. This result is named after Thoralf Skolem (who proved the theorem for sequences of rational numbers), Kurt
Skolem–Mahler–Lech_theorem
Norwegian folk tale
accurately rendered "The Hen is Tripping in the Mountain", as given in Reidar Thoralf Christiansen's translation. The tale is categorized as Aarne-Thompson type
The_Old_Dame_and_her_Hen
Country in northern Europe
complex plane, laying the foundation for modern vector and complex analysis. Thoralf Skolem made revolutionary contributions to mathematical logic, while Øystein
Norway
Mathematical logic concept
uncountable set. The paradox arises from part of the Löwenheim–Skolem theorem; Thoralf Skolem was the first to discuss the seemingly contradictory aspects of
Skolem's_paradox
Multi-sport event in Chamonix, France
Norway Thorleif Haug Thoralf Strømstad Johan Grøttumsbråten 4 February Nordic combined Normal hill Norway Thorleif Haug Thoralf Strømstad Johan Grøttumsbråten
1924_Winter_Olympics
Norwegian actor
1980: Life and Death 1981: Martin 1981: The Witch Hunt 1992: Lakki Berg, Thoralf. "Bjørn Skagestad". Norsk biografisk leksikon (in Norwegian). Retrieved
Bjørn_Skagestad
Concept in axiomatic set theory
itself a set. The preceding form of separation was introduced in 1930 by Thoralf Skolem as a refinement of a previous, non-first-order form by Zermelo.
Axiom_schema_of_specification
Norwegian actress, singer and dancer (1884–1972)
Svanhild Johannessen. On November 29, 1915, she married actor and illustrator Thoralf Klouman, whom she worked with at the Trondheim National Theater. They were
Borghild_Johannessen
Model of (first-order) Peano arithmetic that contains non-standard numbers
outside this initial segment. The construction of such models is due to Thoralf Skolem (1934). Non-standard models of arithmetic exist only for the first-order
Non-standard model of arithmetic
Non-standard_model_of_arithmetic
Norwegian curler
Dagfinn Loen ECC 1988 1989–90 Eigil Ramsfjell Dagfinn Loen Espen de Lange Thoralf Hognestad Bent Ånund Ramsfjell ECC 1989 1990–91 Eigil Ramsfjell Sjur Loen
Dagfinn_Loen
Norwegian mathematician (1899–1968)
for a thesis titled Zur Theorie der algebraischen Körper, supervised by Thoralf Skolem. Ore also studied at Göttingen University, where he learned Emmy
Øystein_Ore
American cardiothoracic surgeon
for Thoracic Surgery (AATS), succeeding Pedro J. del Nido and preceding Thoralf M. Sundt, III. Coselli is a Professor and Executive Vice Chair in the Department
Joseph_S._Coselli
Proof of Herbrand's theorem
Herbrand) is a construction that is dual to the Skolemization of a formula. Thoralf Skolem had considered the Skolemizations of formulas in prenex form as
Herbrandization
Swedish folk ballad
forntiden (in Swedish). Stockholm: Zacharias Hæggström. p. 178. Reidar Thoralf Christiansen, The Migratory Legends: A Proposed List of Types with a Systematic
Herr_Mannelig
King of Norway since 1991
Jørgen Hansen (NOR) 1919: Thorleif Haug (NOR), Otto Aasen (NOR) 1923: Thoralf Strømstad (NOR) 1924: Harald Økern (NOR), Johan Grøttumsbråten (NOR) 1925:
Harald_V
System of mathematical set theory
Kelley said the system in his book was a variant of the systems due to Thoralf Skolem and Morse. Morse's own version appeared later in his book A Theory
Morse–Kelley_set_theory
System of mathematical set theory
axiom of replacement was first published in 1922 by Abraham Fraenkel and Thoralf Skolem, who had independently discovered that Zermelo's axioms cannot prove
Zermelo_set_theory
American mathematician (1934–2007)
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Paul_Cohen
Chinese philosopher (c. 551 – c. 479 BCE)
University Press. doi:10.1093/OBO/9780195396577-0290. Jansen, Thomas; Klein, Thoralf; Meyer, Christian (2014). Globalization and the Making of Religious Modernity
Confucius
Formalization of the natural numbers
MR 0124194. Archived from the original (PDF) on 10 May 2017. Skolem, Thoralf (1923). "Begründung der elementaren Arithmetik durch die rekurrierende
Primitive recursive arithmetic
Primitive_recursive_arithmetic
Place
Stromness operated as a whaling station, the first manager of which was Thoralf Sørlle, who was manager every season (except 1917/18 and 1918/19) through
Stromness,_South_Georgia
Possible axiom for set theory
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Axiom_of_determinacy
were handed out by the Royal Swedish Yacht Club to the owners of: Taifun: Thoralf Glad Sans Atout: Bengt Heyman Lucky Girl: Bertil Tallberg & Gunnar Tallberg
Sailing at the 1912 Summer Olympics – 8 Metre
Sailing_at_the_1912_Summer_Olympics_–_8_Metre
American pianist and orchestrator (Van Beuren Studios), (d. 1934). April 26: Thoralf Klouman, Norwegian satirical illustrator and actor (produced the animated
1890_in_animation
Pair of logical equivalences
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
De_Morgan's_laws
Axiom of Zermelo-Fraenkel set theory
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Axiom_of_infinity
Prefecture-level city in Zhejiang, People's Republic of China
from the original on 2016-03-04. Retrieved 2016-05-03. Thomas Jansen; Thoralf Klein; Christian Meyer (21 March 2014). Globalization and the Making of
Quzhou
Norwegian civil servant (1894–1985)
Statens Personaldirektorat 1945–1948 Succeeded by Bjarne Døhlen Preceded by Paal Berg State Conciliator of Norway 1948–1954 Succeeded by Thoralf Evje
Henrik_Lundh
1925 ship
May 1935 as MS Aakre by another Norwegian line, Rederi A/S Henneseid (Thoralf Holta). In 1939, it was purchased by the Latvian United Shipping Company
MV_Sovetskaya_Latviya
Surname list
Czech cyclist Richard A. Knobloch (1918–2001), American brigadier general Thoralf Knobloch (born 1962), German artist Valentin Knobloch (born 1980), German
Knobloch
1899–1901 anti-foreign uprising in China
and legal implications of the terminology involved, the German scholar Thoralf Klein notes that all of the terms, including the Chinese terms, are "posthumous
Boxer_Rebellion
Norwegian curler and coach (born 1968)
de Lange Thoralf Hognestad Bent Ånund Ramsfjell ECC 1989 1993–94 Eigil Ramsfjell Sjur Loen Dagfinn Loen Niclas Järund Espen de Lange Thoralf Hognestad
Espen_de_Lange
King of Norway from 1905 to 1957
Jørgen Hansen (NOR) 1919: Thorleif Haug (NOR), Otto Aasen (NOR) 1923: Thoralf Strømstad (NOR) 1924: Harald Økern (NOR), Johan Grøttumsbråten (NOR) 1925:
Haakon_VII
Elements in exactly one of two sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Symmetric_difference
Topics referred to by the same term
Church, a church in Evje og Hornnes Municipality in Agder county, Norway Thoralf Evje (1902-1976), a Norwegian judge, civil servant, and politician for
Evje
Set of the elements not in a given subset
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Complement_(set_theory)
King of Norway from 1957 to 1991
Jørgen Hansen (NOR) 1919: Thorleif Haug (NOR), Otto Aasen (NOR) 1923: Thoralf Strømstad (NOR) 1924: Harald Økern (NOR), Johan Grøttumsbråten (NOR) 1925:
Olav_V
Australian neurosurgeon (born 1956)
Neurosurgery at the Mayo Clinic in Rochester, Minnesota, under the mentorship of Thoralf M. Sundt, Jr. Morgan was appointed Professor of Neurosurgery at the University
Michael_K._Morgan
Set of elements common to all of some sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Intersection_(set_theory)
1900 speech by German Emperor Wilhelm II
by Hermann Knackfuß. In today's academic interpretation of the speech, Thoralf Klein [de] argues that the scandalous effect of the Hun speech consists
Hun_speech
1959 Norwegian film
Norwegian). Oslo: Kunnskapsforlaget. Retrieved 15 December 2013. Berg, Thoralf. "Sverre Hansen". In Helle, Knut (ed.). Norsk biografisk leksikon (in Norwegian)
Ugler_i_mosen
February 2019. "Vibeke Lunde". Olympedia. Retrieved 11 January 2024. Berg, Thoralf. "Kjell Stormoen". In Helle, Knut (ed.). Norsk biografisk leksikon (in
1921_in_Norway
being Abel's teacher and tutor, Sophus Lie, Idun Reiten, Atle Selberg, Thoralf Skolem and Carl Størmer. "Aa" appears under "å" as they are considered
List of Norwegian mathematicians
List_of_Norwegian_mathematicians
Huopalahti, Hämeenlinna, Tampere, Turku, Vaasa, the Raahe region and Närpes. Thoralf Kyrre, a Danish engineer, was recruited as a technical expert. The most
Pro-German resistance movement in Finland
Pro-German_resistance_movement_in_Finland
Set of elements in any of some sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Union_(set_theory)
Set with exactly one element
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Singleton_(mathematics)
Family of subsets representing "large" sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Filter_on_a_set
Sequence of integers
arXiv:math/0506155, doi:10.1016/j.disc.2006.12.003, MR 2392605. Skolem, Thoralf (1957), "On certain distributions of integers in pairs with given differences"
Langford_pairing
American computer scientist
number 2 through his collaboration with Kenneth Kunen. Shostak received the Thoralf Skolem Award for "Deciding Combinations of Theories" Shostak is a brother
Robert_Shostak
Norwegian actress (1860–1935)
Steenstrup, Bjørn (1955). Hvem er hvem?. Oslo: Aschehoug. p. 704. Berg, Thoralf (2009). "Thoralf Klouman". Norsk biografisk leksikon (in Norwegian). Retrieved June
Laura_Elvig
Academic journal
editors-in-chief of the journal: James Rutka (2013–present) John A. Jane (1992–2013) Thoralf Sundt Jr. (1989–1992) William Collins Jr. (1985–1989) Henry Schwartz (1975–1985)
Journal_of_Neurosurgery
Hermann Göring's Hunting Lodge
Against Hitler. Rowman and Littlefield. p. 3. ISBN 0-8154-1179-0. Plath, Thoralf (30 August 2013). "Reichsjägerhof vor Wiederaufbau?" [Reichsjägerhof for
Reichsjägerhof_Rominten
Mythical female creature
Daughter", cf. § Helper). In that regard, Norwegian folklorist Reidar Thoralf Christiansen suggested that the presence of the Swan maiden character in
Swan_maiden
Ticonderoga-class cruiser
Reporters, Holds Trial Out of Public View". The Virginian-Pilot. Doehring, Thoralf (2015). "USS Cape St. George (CG 71)". navysite.de. Retrieved 31 July 2016
USS_Cape_St._George
French literary fairytale
work of Svend Grundtvig. In this light, according to folklorist Reidar Thoralf Christiansen, of the 31 Danish versions known, they are "curiously uniform":
The_White_Cat_(fairy_tale)
1977 studio album by Klaus Schulze
music. Klaus Schulze – electronics Brenholts, Jim. Mirage at AllMusic Koß, Thoralf (2 May 2017). "Klaus Schulze: Mirage - 40th Anniversary Edition (Review)"
Mirage_(Klaus_Schulze_album)
German mathematician
detailed exegesis of the proof in Löwenheim (1915), and discusses how Thoralf Skolem simplified that proof and extended the scope and generality of the
Leopold_Löwenheim
Norwegian actress (1918–2009)
May 11, 1918, in Kristiania, the daughter of the actor and illustrator Thoralf Klouman and the actress Borghild Johannessen. She was the sister of the
Wenche_Klouman
1934 film by Helge Lunde
Erik, Greta's brother Ole Grepp as Petter Theodor Hald as The Hello-man Thoralf Klouman as The doctor Dagmar Myhrvold as Kari, Knut's mother Gerd-Lise
Song_of_Rondane
Bertrand Russell Dana Scott Saharon Shelah Wacław Sierpiński Jack Silver Thoralf Skolem Robert M. Solovay Mikhail Yakovlevich Suslin John R. Steel Gaisi
List_of_set_theory_topics
Norwegian newspaper editor
Association 1916–1919 Succeeded by Carl Jeppesen Preceded by Carl Jeppesen Chairman of the Norwegian Press Association 1921–1923 Succeeded by Thoralf Pryser
Per_Wendelbo
Surname list
Pryser is a Norwegian surname. Notable people with the surname include: Thoralf Pryser (1885–1970), Norwegian journalist and newspaper editor Tore Pryser
Pryser
Topics referred to by the same term
soccer player Karl Glad (born 1937), Norwegian jurist and industrialist Thoralf Glad (1878–1969), Norwegian sailor who competed in the 1912 Summer Olympics
Glad
THORALF
THORALF
THORALF
THORALF
THORALF
THORALF
THORALF
THORALF
THORALF