Thoralf Skolem (544 bytes)
1: '''Albert Thoralf Skolem''' ([[May 23]], [[1887]] - [[March 23]], [[1963]]...
5: *[[Löwenheim-Skolem theorem]]
6: *[[Skolemization]], [[Skolem function]], [[Skolem normal form]]
7: *[[Skolem-Noether theorem]]
10: .../www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Skolem.html Short biography]

Skolem-Noether theorem (605 bytes)
1: In [[mathematics]], the '''Skolem-Noether theorem''' is a result on [[automorphism]...

Skolem normal form (1042 bytes)
2: ... only universal quantifiers. A formula can be '''Skolemized''', that is have its existential quantifiers ...
4: The essence of skolemization is the observation that if a formula in th...
28: The function ''f'' is called a [[Skolem function]].
31: [[de:Skolemform]]

Löwenheim-Skolem theorem (3350 bytes)
1: ... is named for [[Leopold Löwenheim]] and [[Thoralf Skolem]].
21: that is true in the model ''M'', there is a '''''Skolem function''''' ''g'', i.e., a function that maps t...
25: ...be invoked in order to infer the existence of the Skolem function.
31: ...el, and [[closure (mathematics)|close]] under all Skolem functions. The closure must be at most countably...
33: ===More general "Löwenheim-Skolem theorems"===

Skolem's paradox (1184 bytes)
1: ...dox''' is a direct result of the [[Löwenheim-Skolem Theorem]], which states that every [[infinite]] [...
3: ...ly from the [[axioms]]. Using the Löwenheim-Skolem Theorem, we can get a model of set theory which o...

Clausal normal form (1876 bytes)
6: ...|existential]] variables with Skolem constants or Skolem functions of [[Universal quantification|universal...

Set theory (1843 bytes)
7: ...r developed by [[Abraham Fraenkel]] and [[Thoralf Skolem]].

Nordic skiing at the 1924 Winter Olympics (2461 bytes)
18: <TR><TD>2</TD><TD>[[Thoralf Strømstad]] (NOR) 3:46.23</TD></TR>
39: <TR><TD>2</TD><TD>[[Thoralf Strømstad]] (NOR) 18.219</TD></TR>

Zermelo-Fraenkel set theory (3400 bytes)
3: The axioms are the result of work by [[Thoralf Skolem]] in [[1922]], based on earlier work by [[Abraham...

Leopold Löwenheim (429 bytes)
3: See: [[Skolem-Löwenheim theorem]].

Existential quantification (4298 bytes)
49: == Skolemization ==
51: ...ntroducing auxiliary function variables called '''Skolem functions''', like this:
59: ...e <math>f</math> is a [[Skolem function]]). See [[Skolem normal form]] for justification.

Nordic combined at the 1924 Winter Olympics (661 bytes)
11: | 2 || [[Thoralf Str&oslash;mstad]] (NOR)

Axiom schema of replacement (7640 bytes)
44: ...kolem]] later in the same year, and it is in fact Skolem's final version of the axiom list that we use tod...

Ernst Zermelo (3776 bytes)
13: ...at, in [[1922]], [[Adolf Fraenkel]] and [[Thoralf Skolem]] independently improved Zermelo's axiom system.

Cross country skiing at the 1924 Winter Olympics (771 bytes)
24: | 2 || [[Thoralf Str&oslash;mstad]] (NOR)

Model theory (5827 bytes)
20: ...essed in the [[Löwenheim-Skolem theorem|Löwenheim-Skolem theorems]] - which state that any theory with an ...
22: ...table]]) has a countable model - this is known as Skolem's Paradox, even though it's true (providing you a...

Zermelo set theory (6920 bytes)
18: ...ese were added as the result of work by [[Thoralf Skolem]] in [[1922]], based on earlier work by [[Adolf F...

List of topics in logic (5768 bytes)
115: *[[Thoralf Skolem]]

Ernst Schröder (6886 bytes)
25: ...rem (later reproved and strengthened by [[Thoralf Skolem]], whose name became attached to it together with...

First-order resolution (2951 bytes)
15: ...entially-quantified]] variables are replaced by [[Skolem function]]s.

<< Prev 20 Result Pages:   1  2  3  4  5  6  7  8  9  10  Next 20 >>