Mathematical Logic as Based on the Theory of Types

Russell, B. (1908). Mathematical Logic as Based on the Theory of Types. American Journal of Mathematics, 30(3), 222-262.

Type

Journal article

Intellectual base

Primary research

Year

1908

DOI

10.2307/2369948

Link

https://doi.org/10.2307/2369948

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Diagonal Impossibility
  • In definability, Berry's and Richard's paradoxes use the same self-referential definability flip.

    This sourceStates Russell's paradox and the type-theoretic hierarchy that resolves the self-membership flip.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:906cee449a60 · see in the full table