Skolem

A corollary of the Upward Lowenheim-Skolem theorem provides an answer to this.

Mathematical logic and multiverses Gordon McCabe 2009

A corollary of the Upward Lowenheim-Skolem theorem provides an answer to this.

Archive 2009-06-01 Gordon McCabe 2009

This is the result which typically goes under the name the Löwenheim-Skolem Theorem.

Skolem's Paradox Bays, Timothy 2009

The first results about predicate logic are from 1915, when Leopold Löwenheim gave his version of what later became the Löwenheim-Skolem theorem for predicate logic (see the entry on classical logic).

Chores 2009

First, from a purely mathematical standpoint, there's no conflict between Cantor's Theorem and the Löwenheim-Skolem Theorems.

Skolem's Paradox Bays, Timothy 2009

Skolem, T. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze, nebst einem T.eoreme über dichte Mengen, (original 1920).

Chores 2009

Skolem found out about Frege's logic through Principia mathematica only after having worked out the theorem in his paper of 1920.

Chores 2009

It is clear that there was a good understanding of the principles of predicate logic in this tradition, for how could there have been a Löwenheim-Skolem theorem otherwise?

Chores 2009

Skolem considered the axioms of a mathematical theory from a purely combinatorial and formal point of view, as means for producing derivations of a formula from given formulas used as assumptions.

Chores 2009

Skolem: The papers in logic are found in Selected Works in Logic, ed. Fenstad 1970.

Chores 2009