AI & ChatGPT searches , social queries for THORALF SKOLEM
Search references for THORALF SKOLEM. Phrases containing THORALF SKOLEM
See searches and references containing THORALF SKOLEM!
Search references for THORALF SKOLEM. Phrases containing THORALF SKOLEM
See searches and references containing THORALF SKOLEM!THORALF SKOLEM
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
Existence and cardinality of models of logical theories
the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. The precise formulation
Löwenheim–Skolem_theorem
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
Skolem's_paradox
Formalism of first-order logic
Skolem normal form if it is in prenex normal form with only universal first-order quantifiers. Every first-order formula may be converted into Skolem
Skolem_normal_form
Mathematical logic
Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic
Skolem_arithmetic
The zeros of a linear recurrence relation mostly form a regularly repeating pattern
zero form a regularly repeating pattern. This result is named after Thoralf Skolem (who proved the theorem for sequences of rational numbers), Kurt Mahler
Skolem–Mahler–Lech_theorem
Name list
in Economic History Thoralf Sandaker (born 1923), Norwegian former rower who competed in the 1948 Summer Olympics Thoralf Skolem (1887–1963), Norwegian
Thoralf
Paradox in set theory
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
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 (German:
Skolem–Noether_theorem
Unsolved problem in mathematics
values F(0) = 0 and F(1) = 1. The Skolem problem is named after Thoralf Skolem, because of his 1933 paper proving the Skolem–Mahler–Lech theorem on the zeros
Skolem_problem
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
Formalization of the natural numbers
289–299. 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
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 incorporated
Axiom_schema_of_replacement
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 of
Ernst_Zermelo
Standard system of axiomatic set theory
property, whose operational meaning was not clear. In 1922, Fraenkel and Thoralf Skolem independently proposed operationalizing a "definite" property as one
Zermelo–Fraenkel_set_theory
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
System of mathematical set theory
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
German mathematician Leopold Löwenheim (1915) the Norwegian logician Thoralf Skolem showed in 1922 that every consistent theory of first-order predicate
Paradoxes_of_set_theory
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
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 of
Morse–Kelley_set_theory
Proposition in mathematical logic
generalized continuum hypothesis by Alfred Tarski in 1925. In 1923, Thoralf Skolem conjectured that CH could not be settled by the axioms of Zermelo set
Continuum_hypothesis
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. The
Axiom_schema_of_specification
Subfield of mathematics
independence results in set theory. Leopold Löwenheim and Thoralf Skolem obtained the Löwenheim–Skolem theorem, which says that first-order logic cannot control
Mathematical_logic
Axiom of set theory
Boolean prime ideal theorem; see the section "Weaker forms" below. Löwenheim–Skolem theorem: If a first-order theory has an infinite model, then it has an infinite
Axiom_of_choice
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)
Infinite set that is not countable
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Uncountable_set
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)
Area of mathematical logic
downward Löwenheim–Skolem theorem, published by Leopold Löwenheim in 1915. The compactness theorem was implicit in work by Thoralf Skolem, but it was first
Model_theory
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
Proof by Alan Turing
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Turing's_proof
Possible axiom of set theory
his proof of the well-ordering theorem. In 1922, Abraham Fraenkel and Thoralf Skolem pointed out that Zermelo's axioms cannot prove the existence of the
Axiom_of_limitation_of_size
Any one of the distinct objects that make up a set in 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
Element_of_a_set
Set with algorithmic membership test
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Computable_set
Mathematician (1845–1918)
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Georg_Cantor
Norwegian mathematician (1899–1968)
a thesis titled Zur Theorie der algebraischen Körper, supervised by Thoralf Skolem. Ore also studied at Göttingen University, where he learned Emmy Noether's
Øystein_Ore
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)
Mathematical set containing no elements
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Empty_set
Subfield of automated reasoning and mathematical logic
process to automation. In 1920, Thoralf Skolem simplified a previous result by Leopold Löwenheim, leading to the Löwenheim–Skolem theorem and, in 1930, to the
Automated_theorem_proving
Collection of mathematical objects
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Set_(mathematics)
Size of a set in mathematics
not a true contradiction in mathematics, was first given in 1922 by Thoralf Skolem, who asserted it as a reason against founding mathematics on first order
Cardinality
Generalization of "n-th" to infinite cases
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Ordinal_number
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)
Paradox in 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
Burali-Forti_paradox
Size of a possibly infinite set
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Cardinal_number
Collection of sets in mathematics that can be defined based on a property of its members
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Class_(set_theory)
Mathematical set of all subsets of a set
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Power_set
Extremely small quantity in calculus; thing so small that there is no way to measure it
Émile Borel and Thoralf Skolem. Borel explicitly linked du Bois-Reymond's work to Cauchy's work on rates of growth of infinitesimals. Skolem developed the
Infinitesimal
Proof of Herbrand's theorem
formula. Thoralf Skolem had considered the Skolemizations of formulas in prenex form as part of his proof of the Löwenheim–Skolem theorem (Skolem 1920).
Herbrandization
System of mathematical 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
Tarski–Grothendieck set theory
Tarski–Grothendieck_set_theory
Sequence of integers
"Perfect Skolem sets", Discrete Mathematics, 308 (9): 1653–1664, arXiv:math/0506155, doi:10.1016/j.disc.2006.12.003, MR 2392605. Skolem, Thoralf (1957)
Langford_pairing
American computer scientist
through his collaboration with Kenneth Kunen. Shostak received the Thoralf Skolem Award for "Deciding Combinations of Theories" Shostak is a brother of
Robert_Shostak
Mathematician and philosopher (1906–1978)
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Kurt_Gödel
Term in 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
Almost
Set theory concept
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Large_cardinal
Weak form of the axiom of choice
{\displaystyle \Rightarrow } Löwenheim–Skolem theorem" — that is, D C {\displaystyle {\mathsf {DC}}} implies the Löwenheim–Skolem theorem. See table Moore, Gregory
Axiom_of_dependent_choice
Class of mathematical set whose elements are all subsets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Transitive_set
Set whose elements all belong to another set
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Subset
Country in northern Europe
plane, laying the foundation for modern vector and complex analysis. Thoralf Skolem made revolutionary contributions to mathematical logic, while Øystein
Norway
Finite collection of distinct objects
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Finite_set
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, A
Axel_Thue
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
Informal set theories
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Naive_set_theory
Calendar year
(b. 1907) Mihály Székely, Hungarian bass singer (b. 1901) March 23 – Thoralf Skolem, Norwegian mathematician (b. 1887) March 25 – Felix Adler, American
1963
Axiom used in 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_extensionality
System of mathematical 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
General_set_theory
Mathematical set that can be enumerated
is a minimal standard model (see Constructible universe). The Löwenheim–Skolem theorem can be used to show that this minimal model is countable. The fact
Countable_set
Diagram that shows all possible logical relations between a collection of sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Venn_diagram
Theorem in 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
Schröder–Bernstein_theorem
intuitionistic propositional logic. Intermediate logic von Plato, Jan (2003). "Skolem's Discovery of Gödel-Dummett Logic". Studia Logica. 73 (1): 153–157. doi:10
Gödel_logic
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 different
List of Norwegian mathematicians
List_of_Norwegian_mathematicians
Origin and evolution of the symbols used to write equations and formulas
1921 in "Zum Unitätsproblem der Physik". In 1922, Abraham Fraenkel and Thoralf Skolem independently proposed replacing the axiom schema of specification with
History of mathematical notation
History_of_mathematical_notation
Sets whose elements have degrees of membership
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Fuzzy_set
Philosophy of mathematics that accepts only finite objects
meaningful. The mathematical theory often associated with finitism is Thoralf Skolem's primitive recursive arithmetic. The introduction of infinite mathematical
Finitism
Theory that allows sets to be elements of themselves
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Non-well-founded_set_theory
One-to-one correspondence
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Bijection
Particular class of sets which can be described entirely in terms of simpler sets
This set is called the minimal model of ZFC. Using the downward Löwenheim–Skolem theorem, one can show that the minimal model (if it exists) is a countable
Constructible_universe
Branch of mathematics that studies sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Set_theory
Use of braces for specifying sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Set-builder_notation
Type of cardinal number in mathematics
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Regular_cardinal
Study of the properties of logical systems
first-order theories with an infinite model, Löwenheim–Skolem theorem (Leopold Löwenheim 1915 and Thoralf Skolem 1919) Proof of the cut-elimination theorem for
Metalogic
Reasoning about equations with free variables
mathematics, and philosophy. Some writings by Leopold Löwenheim and Thoralf Skolem on algebraic logic appeared after the 1910–13 publication of Principia
Algebraic_logic
Siddiqui Carl Ludwig Siegel Waclaw Sierpinski Avadhesh Narayan Singh Thoralf Albert Skolem Virgil Snyder Andreas Speiser Otto Spiess [de] Carl Størmer Wolfgang
List of International Congresses of Mathematicians Plenary and Invited Speakers
List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers
Template that specifies one or more axioms
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Axiom_schema
First article on transfinite set theory
from 1899 to 1901. Countable models are used in set theory. In 1922, Thoralf Skolem proved that if conventional axioms of set theory are consistent, then
Cantor's first set theory article
Cantor's_first_set_theory_article
Pair of mathematical objects
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Ordered_pair
Concept in mathematics
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_countable_choice
Proof in 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
Cantor's_diagonal_argument
Mathematical concept
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Equivalence_class
Set theory concept
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Von_Neumann_universe
Paradox in 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
Cantor's_paradox
German mathematician (1831–1916)
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Richard_Dedekind
Mathematical set containing all objects
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Universal_set
Axioms for the natural numbers
Kaye 1991, pp. 16–18. Hermes 1973, VI.4.3, presenting a theorem of Thoralf Skolem Hermes 1973, VI.3.1. Kaye 1991, Section 11.3. Kaye 1991, pp. 70ff..
Peano_axioms
Concept in axiomatic 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_power_set
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
Set that is not a finite set
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Infinite_set
Axiom in 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_global_choice
Swiss mathematician (1888–1977)
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Paul_Bernays
Identities and relationships involving sets
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo
Algebra_of_sets
Basic framework of mathematics
excluded. 1920: Thoralf Skolem corrected Leopold Löwenheim's proof of what is now called the downward Löwenheim–Skolem theorem, leading to Skolem's paradox discussed
Foundations_of_mathematics
travel, tourism, insurance
THORALF SKOLEM
THORALF SKOLEM
Boy/Male
Norse
Bishop of Skalholt.
Boy/Male
Danish, German, Norwegian, Swedish
God of Thunder
Boy/Male
American, British, English
From the Thorny Meadow
Boy/Male
Norse
Son of Asvald.
Boy/Male
British, English, Norse
Follower of Thor
Surname or Lastname
English
English : status name from Old English þrǣl ‘thrall’, ‘serf’ (from Old Norse þræll).
Girl/Female
Muslim
Star
Female
Scandinavian
Variant spelling of Scandinavian Tora, THORA means "Thor" or "thunder."
Boy/Male
Norse
Son of Thorolf.
Girl/Female
Muslim/Islamic
Star
Boy/Male
Norse
Father of Thorvald.
Male
Swedish
Danish and Swedish form of Old Norse Þorvaldr, THORVALD means "Thor's ruler."Â
Boy/Male
Norse
Son of Thorolf.
Boy/Male
Australian, Danish, Dutch, German, Norse
Thor Ruler; Follower of Thor
Boy/Male
Norse
Thor's wolf.
Girl/Female
Arabic, Muslim
Star
Boy/Male
Danish, German, Norse, Norwegian, Swedish
Thunder; Son of Asvald
Boy/Male
Danish, French, German, Swedish
God of Thunder
Boy/Male
Norse
Thor ruler.
Girl/Female
Norse
Wife of Thrall.
THORALF SKOLEM
THORALF SKOLEM
THORALF SKOLEM
THORALF SKOLEM
THORALF SKOLEM
THORALF SKOLEM
THORALF SKOLEM
n.
A slave; a bondman.
a.
Choric; choral.
adv.
Hourly.
a.
Of or pertaining to a choir or chorus; singing, sung, or adapted to be sung, in chorus or harmony.
n.
Slavery; bondage; servitude; thraldom.
a.
Resembling a thrall, or his condition, feelings, or the like; slavish.
n.
The second, or middle, region of the body of a crustacean, arachnid, or other articulate animal. In the case of decapod Crustacea, some writers include under the term thorax only the three segments bearing the maxillipeds; others include also the five segments bearing the legs. See Illust. in Appendix.
a.
Within the thora/ or chest.
n.
A shelf; a stand for barrels, etc.
n.
The thorax of an insect.
a.
Of or pertaining to a thrall; in the condition of a thrall; bond; enslaved.
n.
The part of the trunk between the neck and the abdomen, containing that part of the body cavity the walls of which are supported by the dorsal vertebrae, the ribs, and the sternum, and which the heart and lungs are situated; the chest.
a.
Of or pertaining to a bed.
v. t.
To enslave.
n.
A singer or composer of chorals.
n.
A hymn tune; a simple sacred tune, sung in unison by the congregation; as, the Lutheran chorals.
n.
The thorax of Arthropods.
n.
A breastplate, cuirass, or corselet; especially, the breastplate worn by the ancient Greeks.
a.
In the thorax.
n.
The middle region of the body of an insect, or that region which bears the legs and wings. It is composed of three united somites, each of which is composed of several distinct parts. See Illust. in Appendix. and Illust. of Coleoptera.
travel, tourism, insurance